default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FTSCS 2013: Queenstown, New Zealand
- Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers. Communications in Computer and Information Science 419, Springer 2014, ISBN 978-3-319-05415-5 - Ian J. Hayes
:
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions. 1-2 - Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata:
With an Open Mind: How to Write Good Models. 3-18 - Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska:
Model-Based Testing from Controlled Natural Language Requirements. 19-35 - Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki:
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. 36-53 - Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault:
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. 54-70 - Yongjian Li, Jun Pang:
A Strand Space Approach to Provable Anonymity. 71-87 - Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins:
Counterexample Generation for Hybrid Automata. 88-106 - Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun:
TTM/PAT: Specifying and Verifying Timed Transition Models. 107-124 - Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng:
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. 125-141 - David J. Pearce, Lindsay Groves:
Reflections on Verifying Software with Whiley. 142-159 - Colin Pilbrow, Robi Malik:
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events. 160-177 - Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah:
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. 178-194 - Andrew Simpson, Jaco Jacobs:
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings. 195-211 - Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. 212-228 - Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson:
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. 229-245 - Kriangkrai Traichaiyaporn, Toshiaki Aoki:
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling. 246-261 - Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon:
Precise Documentation and Validation of Requirements. 262-279 - Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian:
Certainly Unsupervisable States. 280-296
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.
last updated on 2025-12-05 22:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
