Abstract is missing.
- Finding Structure in Unstructured Processes: The Case for Process MiningWil M. P. van der Aalst, Christian W. Günther. 3-12 [doi]
- Synthesis and Control of Asynchronous and Distributed SystemsPhilippe Darondeau. 13-22 [doi]
- Composable Guarded Atomic Actions: a Bridging Model for SoC DesignRishiyur S. Nikhil. 23-28 [doi]
- Mapping Applications to Tiled Multiprocessor Embedded SystemsLothar Thiele, Iuliana Bacivarov, Wolfgang Haid, Kai Huang. 29-40 [doi]
- Emptiness Check of Powerset Buchi Automata using Inclusion TestsSouheib Baarir, Alexandre Duret-Lutz. 41-50 [doi]
- Hazard Checking of Timed Asynchronous Circuits RevisitedFrédéric Béal, Tomohiro Yoneda, Chris J. Myers. 51-60 [doi]
- A more efficient time Petri net state space abstraction preserving linear propertiesHanifa Boucheneb, Hind Rakkay. 61-70 [doi]
- A Formal Model for Integrating Multiple ViewsJuliana Küster Filipe Bowles, Behzad Bordbar. 71-79 [doi]
- Using CTL formulae as component abstraction in a design and verification flowCécile Braunstein, Emmanuelle Encrenaz. 80-89 [doi]
- Sensor Minimization Problems with Static or Dynamic Observers for Fault DiagnosisFranck Cassez, Stavros Tripakis, Karine Altisen. 90-99 [doi]
- The Design of Virtual Self-timed Block for Activity Communication in SOCYuan Chen, Fei Xia, Delong Shang, Alexandre Yakovlev. 100-109 [doi]
- Modelling Mobility in High-level Petri NetsRaymond R. Devillers, Hanna Klaudel, Maciej Koutny. 110-119 [doi]
- Platform-scalable Task Partition and Multilevel Buffering in Multi-processor Plessey Corner DetectorGuan Yu, Gauthier Lafruit, Peter Schelkens. 120-126 [doi]
- A model-driven design approach for mechatronic systemsJinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal. 127-136 [doi]
- Efficient Automatic Resolution of Encoding Conflicts Using STG UnfoldingsVictor Khomenko. 137-146 [doi]
- Output-Determinacy and Asynchronous Circuit SynthesisVictor Khomenko, Mark Schäfer, Walter Vogler. 147-156 [doi]
- Synthesis of Petri Nets from Finite Partial LanguagesRobert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser. 157-166 [doi]
- Testing the executability of scenarios in general inhibitor netsRobert Lorenz, Sebastian Mauser, Robin Bergenthum. 167-176 [doi]
- Real-Time Process Algebra with Stochastic DelaysJasen Markovski, Erik P. de Vink. 177-186 [doi]
- Structural Conditions for Model-checking of Parameterized NetworksSiamak Nazari, John Thistle. 187-196 [doi]
- Asynchronous Data Path ModelsDanil Sokolov, Ivan Poliakov, Alexandre Yakovlev. 197-210 [doi]
- RAPORT - a knowledge support system for administrative workflow processesIvana Budinska, V. Oravec, Emil Gatial, Michal Laclavik, Martin Seleng, Zoltan Balogh, Baltazár Frankovic, R. Forgác, I. Mokris, Ladislav Hluchý. 211-215 [doi]
- Sarir: A Rebeca to mCRL2 TranslatorHossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote. 216-222 [doi]
- Sensor and Ad HocWireless NetworksMartin Drozda. 223-230 [doi]
- Modelling Latency-Insensitive Systems in CSPHemangee K. Kapoor. 231-232 [doi]
- Multicomponent Compatibility and its VerificationDonald C. Craig, Wlodek M. Zuberek. 233-235 [doi]
- SAT-based Unbounded Model Checking of Timed AutomataWojciech Penczek, Maciej Szreter. 236-237 [doi]
- An Algebraic Approach to Multi-Valued Model CheckingJinzhao Wu, Lin Zhao. 238-239 [doi]
- Towards Hilbertian Formal MethodsMarius C. Bujorianu, Manuela L. Bujorianu. 240-241 [doi]