Call for Participation - Formal Aspects of Component Software (FACS 2019), Amsterdam
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. Invited speakers: Carlo Ghezzi, Kim Larsen, Wan Fokkink. Tutorial: Jan Friso Groote & Tim Willemse.
in Conferences by [Deactivated account] on September 17, 2019

**

**    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