Abstract is missing.
- Symbolic Path-Guided Test Cases for Models with Data and TimeBoutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen. 3-22 [doi]
- Model-Based Testing of Asynchronously Communicating Distributed ControllersBence Graics, Milán Mondok, Vince Molnár, István Majzik. 23-44 [doi]
- A Mechanized Semantics for Component-Based Systems in the HAMR AADL RuntimeStefan Hallerstede, John Hatcliff. 45-64 [doi]
- A Formal Web Services Architecture Model for Changing PUSH/PULL Data TransferNaoya Nitta, Shinji Kageyama, Kouta Fujii. 65-83 [doi]
- Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS ComponentsPerla Tannoury, Samir Chouali, Ahmed Hammad. 84-102 [doi]
- From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent ProgramsGermán Vidal. 103-123 [doi]
- Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADLKyungmin Bae, Peter Csaba Ölveczky. 127-152 [doi]
- Challenges Engaging Formal CBSE in Industrial ApplicationsYi Li, Meng Sun. 153-167 [doi]
- Formal Aspects of Component Software - An Overview on Concepts and Relations of Different TheoriesZhiming Liu 0001, Jiadong Teng, Bo Liu 0033. 168-193 [doi]
- Overview on Constrained Multiparty Synchronisation in Team AutomataJosé Proença. 194-205 [doi]
- Embedding Formal Verification in Model-Driven Software Engineering with Slco: An OverviewAnton Wijs. 206-227 [doi]