FTSCS 2013
Second International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2013 Satellite Event)

Queenstown, New Zealand, October 29-30, 2013

Andrew Simpson and Jaco JacobsOn the cloud-enabled refinement checking of railway signalling interlockings
Colin Pilbrow and Robi MalikCompositional Nonblocking Verification with Always Enabled Events and Selfloop-only Events
Simon Ware, Robi Malik, Sahar Mohajerani and Martin FabianCertainly Unsupervisable States
Judy Bowen, Steve Reeves and Steve JonesCreating Visualisations of Formal Models of Interactive Medical Devices
Yongjian Li and Jun PangA Strand Space Approach to Provable Anonymity
Linna Pang, Chen-Wei Wang, Mark Lawford and Alan WassyngFormalizing and Verifying Function Blocks using Tabular Expressions and PVS
Chen-Wei Wang, Jonathan Ostroff and Simon HudonPrecise Documentation and Validation of Requirements
Jonathan Ostroff, Chen-Wei Wang, Yang Liu, Jun Sun and Simon HudonTTM/PAT: Specifying and Verifying Timed Transition Models
Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth and Paul PetterssonWind Turbine System: An Industrial Case Study in Formal Modeling and Verification
David Pearce and Lindsay GrovesReflections on Verifying Software with Whiley
Kriangkrai Traichaiyaporn and Toshiaki AokiRefinement Tree and Its Patterns: a Graphical Approach for Event-B Modeling
Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake and Toshiaki AokiAn UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol
Cyrille Valentin Artho, Koji Hayamizu, Rudolf Ramler and Yoriyuki YamagataWith an Open Mind: How to Write Good Models
Gustavo Carvalho, Flavia Barros, Florian Lapschies, Uwe Schulze and Jan PeleskaModel Based Testing from Controlled Natural Language Requirements
Khaza Anuarul Hoque, Otmane Ait Mohamed and Yvon SavariaEarly Analysis of Soft Error Effects for Aerospace Applications using Probabilistic Model Checking
Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Olveczky and Ehsan KhamespanahFormal Semantics and Analysis of Timed Rebeca in Real-Time Maude
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Etienne Andre and Laurent FribourgParametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
Johanna Nellen, Erika Abraham, Xin Chen and Pieter CollinsCounterexample generation for hybrid automata