Abstract is missing.
- Modeling Guidelines for Component-Based Supervisory Control SynthesisMartijn Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan Fokkink, Jacobus E. Rooda. 3-24 [doi]
- Modelling and Analysing Software in mCRL2Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse. 25-48 [doi]
- A Formally Verified Model of Web ComponentsAchim D. Brucker, Michael Herzberg. 51-71 [doi]
- Minimizing Characterizing SetsKadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker. 72-86 [doi]
- A Bond-Graph MetamodelReynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan F. Broenink. 87-105 [doi]
- Multilabeled Petri NetsKasper Dokter. 106-126 [doi]
- A Service-Oriented Approach for Decomposing and Verifying Hybrid System ModelsTimm Liebrenz, Paula Herber, Sabine Glesner. 127-146 [doi]
- Compositional Liveness-Preserving Conformance Testing of Timed I/O AutomataLars Luthmann, Hendrik Göttmann, Malte Lochau. 147-169 [doi]
- RecordFlux: Formal Message Specification and Generation of Verifiable Binary ParsersTobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe. 170-190 [doi]
- State Identification for Labeled Transition Systems with Inputs and OutputsPetra van den Bos, Frits W. Vaandrager. 191-212 [doi]
- Combining State- and Event-Based Semantics to Verify Highly Available ProgramsPeter Zeller 0001, Annette Bieniusa, Arnd Poetzsch-Heffter. 213-232 [doi]
- Reowolf: Synchronous Multi-party Communication over the InternetChristopher A. Esterhuyse, Hans-Dieter A. Hiep. 235-242 [doi]
- Modeling and Verifying Dynamic Architectures with FACTum StudioHabtom Kahsay Gidey, Alexander Collins, Diego Marmsoler. 243-251 [doi]
- Revisiting Trace Equivalences for Markov AutomataArpit Sharma 0002. 252-260 [doi]