Abstract is missing.
- ACTL for Modal Interface AutomataFerenc Bujtor, Walter Vogler. 1-10 [doi]
- From Petri Nets with Shared Variables to ITLHanna Klaudel, Maciej Koutny, Ben C. Moszkowski. 11-18 [doi]
- Checking Metric Temporal Logic with TRACEMartijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami. 19-24 [doi]
- The Congruences below Fair Testing with Initial StabilityAntti Valmari. 25-34 [doi]
- Weaving True-Concurrent Aspects Using Constraint SolversJuliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain. 35-44 [doi]
- Controlling Actions and Time in Parametric Timed AutomataÉtienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci. 45-54 [doi]
- An Approach to Verification of MPI Applications Defined in a High-Level ModelOndrej Meca, Stanislav Böhm, Marek Behalek, Petr Jancar. 55-64 [doi]
- Products of Transition Systems and Additions of Petri NetsRaymond R. Devillers. 65-73 [doi]
- Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software EngineeringDennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann. 74-83 [doi]
- Power and Energy Normalized Speedup Models for Heterogeneous Many Core ComputingMohammed A. N. Al-Hayanni, Ashur Rafiev, Rishad A. Shafik, Fei Xia. 84-93 [doi]
- Power-Normalized Performance Optimization of Concurrent Many-Core ApplicationsMatthew Travers, Rishad A. Shafik, Fei Xia. 94-103 [doi]
- Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous SynthesisMahdi Jelodari Mamaghani, Danil Sokolov, Jim D. Garside. 104-113 [doi]
- Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid AutomataWaheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol. 114-123 [doi]