default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th FACS 2019: Amsterdam, The Netherlands
- Farhad Arbab, Sung-Shik Jongmans:
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. Lecture Notes in Computer Science 12018, Springer 2020, ISBN 978-3-030-40913-5
Invited Papers
- Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda:
Modeling Guidelines for Component-Based Supervisory Control Synthesis. 3-24 - Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse:
Modelling and Analysing Software in mCRL2. 25-48
Regular Papers
- Achim D. Brucker, Michael Herzberg:
A Formally Verified Model of Web Components. 51-71 - Kadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker:
Minimizing Characterizing Sets. 72-86 - Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan F. Broenink:
A Bond-Graph Metamodel. 87-105 - Kasper Dokter:
Multilabeled Petri Nets. 106-126 - Timm Liebrenz, Paula Herber, Sabine Glesner:
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. 127-146 - Lars Luthmann, Hendrik Göttmann, Malte Lochau:
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. 147-169 - Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe:
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. 170-190 - Petra van den Bos, Frits W. Vaandrager:
State Identification for Labeled Transition Systems with Inputs and Outputs. 191-212 - Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter:
Combining State- and Event-Based Semantics to Verify Highly Available Programs. 213-232
Short Papers
- Christopher A. Esterhuyse, Hans-Dieter A. Hiep:
Reowolf: Synchronous Multi-party Communication over the Internet. 235-242 - Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler:
Modeling and Verifying Dynamic Architectures with FACTum Studio. 243-251 - Arpit Sharma:
Revisiting Trace Equivalences for Markov Automata. 252-260
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 11:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
