FACS

Keyphrases

Publications

volume 14485, 2024

Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers FACS 14485 (2024)

2023

Kyungmin Bae, Peter Csaba Ölveczky
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS (2023)
Zhiming Liu, Jiadong Teng, Bo Liu
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. FACS (2023)
Perla Tannoury, Samir Chouali, Ahmed Hammad
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. FACS (2023)
Stefan Hallerstede, John Hatcliff
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. FACS (2023)
José Proença
Overview on Constrained Multiparty Synchronisation in Team Automata. FACS (2023)
Anton Wijs
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. FACS (2023)
Germán Vidal
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. FACS (2023)
Bence Graics, Milán Mondok, Vince Molnár, István Majzik
Model-Based Testing of Asynchronously Communicating Distributed Controllers. FACS (2023)
Naoya Nitta, Shinji Kageyama, Kouta Fujii
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. FACS (2023)
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
Symbolic Path-Guided Test Cases for Models with Data and Time. FACS (2023)
Yi Li, Meng Sun
Challenges Engaging Formal CBSE in Industrial Applications. FACS (2023)

2022

volume 13712, 2022

Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings FACS 13712 (2022)

2021

volume 13077, 2021

Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings FACS 13077 (2021)

volume 12018, 2020

Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings FACS 12018 (2020)

2019