


default search action
7th FTSCS 2019: Shenzhen, China
- Osman Hasan
, Frédéric Mallet
:
Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. Communications in Computer and Information Science 1165, Springer 2020, ISBN 978-3-030-46901-6
Invited Paper
- Adnan Rashid
, Umair Siddique, Sofiène Tahar:
Formal Verification of Cyber-Physical Systems Using Theorem Proving. 3-18
Avionics and Spacecraft
- Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre
, Philippe A. Palanque, Marc Pantel:
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. 21-39 - Rodrigo Saar de Moraes
, Simin Nadjm-Tehrani:
Verifying Resource Adequacy of Networked IMA Systems at Concept Level. 40-56 - Shenghao Yuan
, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou:
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study. 57-73
Applications
- Dorra Ben Khalifa
, Matthieu Martel, Assalé Adjé:
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. 77-94 - Filippos Pantekis
, Phillip James
, Liam O'Reilly
, Daniel Archambault
, Faron Moller
:
Visualising Railway Safety Verification. 95-105 - Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault:
Probabilistic Activity Recognition for Serious Games with Applications in Medicine. 106-124
Tools and Work in Progress
- Emily Yu, Martina Seidl, Armin Biere:
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. 127-132 - Quang Thinh Trac, Mizuhito Ogawa:
Formal Semantics Extraction from MIPS Instruction Manual. 133-140

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.