Linked e-resources
Details
Table of Contents
[I]. Invited papers: Modeling guidelines for component-based supervisory control synthesis / Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, and Jacobus Rooda
Modelling and analysing software in mCRL2 / Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, and Tim A. C. Willemse.
[II]. Regular papers: A formally verified model of web components / Achim D. Brucker and Michael Herzberg
Minimizing characterizing sets / Kadir Bulut, Guy Vincent Jourdan, and Uraz Cengiz Türker
A bond-graph metamodel : physics-based interconnection of software components / Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, and Jan Broenink
Multilabeled Petri nets / Kasper Dokter
A service-oriented approach for decomposing and verifying hybrid system models / Timm Liebrenz, Paula Herber, and Sabine Glesner
Compositional liveness-preserving conformance testing of timed I/O automata / Lars Luthmann, Hendrik Göttmann, and Malte Lochau
RecordFlux : formal message specification and generation of verifiable binary parsers / Tobias Reiher, Alexander Senier, Jeronimo Castrillon, and Thorsten Strufe
State identification for labeled transition systems with inputs and outputs / Petra van den Bos and Frits Vaandrager
Combining state- and event-based semantics to verify highly available programs / Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter .
[III]. Short papers: Reowolf : synchronous multi-party communication over the internet / Christopher A. Esterhuyse and Hans-Dieter A. Hiep
Modeling and verifying dynamic architectures with FACTUM studio / Habtom Kahsay Gidey, Alexander Collins, and Diego Marmsoler
Revisiting trace equivalences for Markov automata / Arpit Sharma.
Modelling and analysing software in mCRL2 / Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, and Tim A. C. Willemse.
[II]. Regular papers: A formally verified model of web components / Achim D. Brucker and Michael Herzberg
Minimizing characterizing sets / Kadir Bulut, Guy Vincent Jourdan, and Uraz Cengiz Türker
A bond-graph metamodel : physics-based interconnection of software components / Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, and Jan Broenink
Multilabeled Petri nets / Kasper Dokter
A service-oriented approach for decomposing and verifying hybrid system models / Timm Liebrenz, Paula Herber, and Sabine Glesner
Compositional liveness-preserving conformance testing of timed I/O automata / Lars Luthmann, Hendrik Göttmann, and Malte Lochau
RecordFlux : formal message specification and generation of verifiable binary parsers / Tobias Reiher, Alexander Senier, Jeronimo Castrillon, and Thorsten Strufe
State identification for labeled transition systems with inputs and outputs / Petra van den Bos and Frits Vaandrager
Combining state- and event-based semantics to verify highly available programs / Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter .
[III]. Short papers: Reowolf : synchronous multi-party communication over the internet / Christopher A. Esterhuyse and Hans-Dieter A. Hiep
Modeling and verifying dynamic architectures with FACTUM studio / Habtom Kahsay Gidey, Alexander Collins, and Diego Marmsoler
Revisiting trace equivalences for Markov automata / Arpit Sharma.