Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

7th FTSCS 2019: Shenzhen, China

> Home > Conferences and Workshops > FTSCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2019
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

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/RashidST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/RashidST19
Adnan Rashid, Umair Siddique, Sofiène Tahar:
Formal Verification of Cyber-Physical Systems Using Theorem Proving. 3-18

Avionics and Spacecraft

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/SinghAMNPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/SinghAMNPP19
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
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MoraesN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MoraesN19
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani:
Verifying Resource Adequacy of Networked IMA Systems at Concept Level. 40-56
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/YuanYBFWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/YuanYBFWZ19
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

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/KhalifaMA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/KhalifaMA19
Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé:
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. 77-94
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/PantekisJOAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/PantekisJOAM19
Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller:
Visualising Railway Safety Verification. 95-105
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MariaLMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MariaLMR19
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

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/YuSB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/YuSB19
Emily Yu, Martina Seidl, Armin Biere:
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. 127-132
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/TracO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/TracO19
Quang Thinh Trac, Mizuhito Ogawa:
Formal Semantics Extraction from MIPS Instruction Manual. 133-140

a service of

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.