Abstract is missing.
- Formal Verification of Cyber-Physical Systems Using Theorem ProvingAdnan Rashid, Umair Siddique, Sofiène Tahar. 3-18 [doi]
- Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel. 21-39 [doi]
- Verifying Resource Adequacy of Networked IMA Systems at Concept LevelRodrigo Saar de Moraes, Simin Nadjm-Tehrani. 40-56 [doi]
- Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial StudyShenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou. 57-73 [doi]
- POP: A Tuning Assistant for Mixed-Precision Floating-Point ComputationsDorra Ben Khalifa, Matthieu Martel, Assalé Adjé. 77-94 [doi]
- Visualising Railway Safety VerificationFilippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller. 95-105 [doi]
- Probabilistic Activity Recognition for Serious Games with Applications in MedicineElisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault. 106-124 [doi]
- A Framework for Model Checking Against CTLK Using Quantified Boolean FormulasEmily Yu, Martina Seidl, Armin Biere. 127-132 [doi]
- Formal Semantics Extraction from MIPS Instruction ManualQuang Thinh Trac, Mizuhito Ogawa. 133-140 [doi]