Time (CET)

Contents

9:45-10:00

Welcome to FACS 2023

Sung-Shik Jongmans and Javier Cámara

10:00-11:00

Session 1: FACS 20th edition inaugural session

10:00-10:30

On the (available) bibliometric analysis

Olga Kouchnarenko and Louis Robert, Université de Franche-Comté

[Preprint]

10:30-11:00

Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview (anniversary)

Anton Wijs

[Preprint]

11:00-11:30

Coffee break

11:30-13:00

Session 2

Chair: Gwen Salaün

11:30-12:00

Paraconsistent components

Luís Soares Barbosa, Universidade do Minho

12:00-12:30

Symbolic Path-guided Test Cases for Models with Data and Time

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall and Ngo Minh Thang Nguyen

[Preprint]

12:30-13:00

Model-Based Testing of Asynchronously Communicating Distributed Controllers

Bence Graics, Milán Mondok, Vince Molnár and Istvan Majzik

[Preprint]

13:00-14:00

Lunch break

14:00-15:00

Session 3: Keynote

Chair: Javier Cámara

Model Checking for Safe Autonomy

Rajeev Alur, University of Pennsylvania

15:00-15:30

Coffee break

15:30-17:00

Session 4

Chair: Sung-Shik Jongmans

15:30-16:00

 Formal Model Engineering of Distributed CPSs using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL (anniversary)

Kyungmin Bae and Peter Ölveczky

[Preprint]

16:00-16:30

From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs

German Vidal

[Preprint]

16:30-17:00

Overview over Constrained Multiparty Synchronisation in Teams (anniversary)

José Proença

[Preprint]

Time (CET)

Contents

11:30-13:00

Session 5

Chair: Emilio Tuosto

11:30-12:00

Challenges Engaging Formal CBSE in Industrial Applications (anniversary)

Yi Li and Meng Sun

[Preprint]

12:00-12:30

Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer

Naoya Nitta, Shinji Kageyama and Kouta Fujii

[Preprint]

12:30-13:00

Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories (anniversary)

Zhiming Liu, Jiadong Teng and Bo Liu

[Preprint]

13:00-14:00

Lunch break

14:00-15:00

Session 6: Keynote

Chair: Sung-Shik Jongmans

Assurance for Software Product Lines Through Lifting and Reuse

Marsha Chechik, University of Toronto

15:00-16:00

Session 7

Chair: José Proença

15:00-15:30

A Mechanized Semantics for Component-based Systems in the HAMR AADL Runtime

Stefan Hallerstede and John Hatcliff

[Preprint]

15:30-16:00

Joint use of SysML and Reo to specify and verify the compatibility of CPS components

Perla Tannoury, Samir Chouali and Ahmed Hammad

[Preprint]

16:00-16:15

FACS 2023 closing