23-25 Oct 2019
Amsterdam, The Netherlands
** ** Call for Participation: FACS 2019 ** ** 16th International Conference on ** Formal Aspects of Component Software ** ** 23-25 October 2019, Amsterdam ** ** http://facs2019.org ** ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## PROGRAM > http://facs2019.org/program < Invited Speakers: * Carlo Ghezzi (Polytechnic University of Milan) * Kim Larsen (Aalborg University) * Wan Fokkink (Vrije Universiteit Amsterdam) Tutorial: * Jan Friso Groote & Tim Willemse: mCRL2 (Eindhoven University of Technology) Accepted papers: * Reynaldo Cobos Mendez, Julio de Oliveira Filho, Douwe Dresscher and Jan Broenink. A Bond-graph Metamodel: Physics-based Interconnection of Software Components * Arpit Sharma. Revisiting Trace Equivalences For Markov Automata * Lars Luthmann, Hendrik Göttmann and Malte Lochau. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata * Timm Liebrenz, Paula Herber and Sabine Glesner. A Service-oriented Approach for Decomposing and Verifying Hybrid System Models * Achim D. Brucker and Michael Herzberg. A Formally Verified Model of Web Components * Petra van den Bos and Frits Vaandrager. State Identification for Labeled Transition Systems with Inputs and Outputs * Kadir Bulut, Guy-Vincent Jourdan and Uraz Cengiz Turker. Minimizing characterizing sets: hardness and effect on test derivation from systems modelled as finite state machines * Habtom Kahsay Gidey, Alexander Collins and Diego Marmsoler. Modeling and Verifying Dynamic Architectures with FACTum Studio * Peter Zeller, Annette Bieniusa and Arnd Poetzsch-Heffter. Combining state- and event-based semantics to verify highly available programs * Kasper Dokter. Multilabeled Petri Nets * Tobias Reiher, Alexander Senier, Jeronimo Castrillon and Thorsten Strufe. RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers * Christopher Esterhuyse and Hans-Dieter Hiep. Reowolf: Synchronous Multi-Party Communication over the Internet ## VENUE FACS 2019 will be held at Centrum Wiskunde & Informatica (CWI), Amsterdam, the Netherlands. ## REGISTRATION > http://facs2019.org/registration < * Early: until 4 October (AoE) * Late: from 5 October -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam