Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 46 (2012): Automated Verification of Critical Systems 2011
Vol. 46 (2012): Automated Verification of Critical Systems 2011
DOI:
https://doi.org/10.14279/tuj.eceasst.46
Published:
2012-03-01
Preface
Preface
Alexander Romanovsky, Cliff Jones, Jens Bendiposto, Michael Leuschel
PDF
Articles
Approximating Idealised Real-Time Specifications Using Time Bands
Brijesh Dongol, Ian Hayes
PDF
Symbolic Model Checking and Safety Assessment of Altarica models
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
PDF
Positioning Verfification in the Context of Software/System Certification
Marc Bender, Tom Maibaum, Mark Lawford, Alan Wassyng
PDF
Experiences in the Industrial use of Formal Methods
Janet Barnes
PDF
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation
Sanaz Yeganefard, Michael Butler
PDF
Combining Model Checking and Discrete-Event Supervisor Synthesis
Nicolas Chausse, Helen Xu, Juergen Dingel, Karen Rudie
PDF
Mixing Formal and Informal Model Elements for Tracing Requirements
Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
PDF
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software
Xiang Gan, Jori Dubrovin, Keijo Heljanko
PDF
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Franz Weitl, Shin Nakajima
PDF
A Survey on Event-B Decomposition
Thai Son Hoang, Alexei Iliasov, Renato A Silva, Wei Wei
PDF
The Belgian Electronic Identity Card: a Verification Case Study
Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens
PDF
Specification and refinement of discrete timing properties in Event-B
Mohammad Reza Sarshogh, Michael Butler
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.