Abstract is missing.
- On Generating *-Sound Nets with SubstitutionJacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders. 3-12 [doi]
- Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri NetsNikola Trcka, Marc Voorhoeve, Twan Basten. 13-18 [doi]
- Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-SolversFlorent Avellaneda, Rémi Morin. 19-28 [doi]
- Bounds: From Parameterised to Finite-State VerificationAntti Siirtola. 31-35 [doi]
- Compositional Analysis for Weak Stubborn SetsHenri Hansen, Xu Wang. 36-43 [doi]
- Building Tight Occurrence Nets from Reveals RelationsSandie Balaguer, Thomas Chatain, Stefan Haar. 44-53 [doi]
- Cost-Based Fitness in Conformance CheckingArya Adriansyah, N. Sidorova, Boudewijn F. van Dongen. 57-66 [doi]
- Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting SystemsYu Zhou, Terrence S. T. Mak, Alex Yakovlev. 67-76 [doi]
- Runtime Programming through Model-Preserving, Scalable Runtime PatchesChristoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova. 77-86 [doi]
- Bounded Fairness for Probabilistic Distributed AlgorithmsPepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker. 89-97 [doi]
- A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor NetworksLuz Judith R. Esparza, Kebin Zeng, Bo Friis Nielsen. 98-107 [doi]
- Towards Supervisory Control of Interactive Markov Chains: ControllabilityJasen Markovski. 108-117 [doi]
- New Results on Abstract Probabilistic AutomataBenoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski. 118-127 [doi]
- Improved Parallel Composition of Labelled Petri NetsArseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev. 131-140 [doi]
- STG Decomposition: Partitioning HeuristicsDominic Wist, Walter Vogler, Ralf Wollowski. 141-150 [doi]
- Semantic Adaptation for Models of ComputationFrédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet. 153-162 [doi]
- Data-Flow Analysis of Extended Finite State MachinesYu Bai, Jens Brandt, Klaus Schneider. 163-172 [doi]
- A GALS Language for Dynamic Distributed and Reactive ProgramsAvinash Malik, Alain Girault, Zoran Salcic. 173-182 [doi]
- Modeling for Symbolic Analysis of Safety Instrumented Systems with ClocksRoland Kindermann, Tommi A. Junttila, Ilkka Niemelä. 185-194 [doi]
- Timed Games for Computing WCET for Pipelined Processors with CachesFranck Cassez. 195-204 [doi]