default search action

combined dblp search
author search
venue search
publication search

ask others

5th FTSCS 2016: Tokyo, Japan

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2016
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Communications in Computer and Information Science 694, 2017, ISBN 978-3-319-53945-4

Specification and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/GomesGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/GomesGH16
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman:
Specification and Verification of Synchronization with Condition Variables. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/Dongol16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/Dongol16
Brijesh Dongol:
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction. 20-35

Automotive and Railway Systems

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/SatoHSIY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/SatoHSIY16
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen:
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. 39-54
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/KamburjanH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/KamburjanH16
Eduard Kamburjan, Reiner Hähnle:
Uniform Modeling of Railway Operations. 55-71

Circuits and Cyber-Physical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/AbbasiLKH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/AbbasiLKH16
Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan:
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. 75-92
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ElleuchHTA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ElleuchHTA16
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. 93-108
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/BanachZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/BanachZ16
Richard Banach, Huibiao Zhu:
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. 109-125

Parametrized Verification

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ParquierRHSRLA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ParquierRHSRLA16
Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André:
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. 129-144
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/TimmG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/TimmG16
Nils Timm, Stefan Gruner:
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. 145-160

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.