![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
19th FACS 2023: Virtual Event
- Javier Cámara
, Sung-Shik Jongmans
:
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14485, Springer 2024, ISBN 978-3-031-52182-9
Research Papers
- Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-Guided Test Cases for Models with Data and Time. 3-22 - Bence Graics, Milán Mondok
, Vince Molnár, István Majzik:
Model-Based Testing of Asynchronously Communicating Distributed Controllers. 23-44 - Stefan Hallerstede, John Hatcliff:
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. 45-64 - Naoya Nitta, Shinji Kageyama, Kouta Fujii:
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. 65-83 - Perla Tannoury, Samir Chouali, Ahmed Hammad:
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. 84-102 - Germán Vidal:
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. 103-123
Anniversary Papers
- Kyungmin Bae, Peter Csaba Ölveczky:
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. 127-152 - Yi Li, Meng Sun:
Challenges Engaging Formal CBSE in Industrial Applications. 153-167 - Zhiming Liu
, Jiadong Teng, Bo Liu
:
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. 168-193 - José Proença
:
Overview on Constrained Multiparty Synchronisation in Team Automata. 194-205 - Anton Wijs
:
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. 206-227
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.