default search action
21st FMICS-AVoCS 2016: Pisa, Italy
- Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Lecture Notes in Computer Science 9933, Springer 2016, ISBN 978-3-319-45942-4
Invited Talk
- Jan Peleska, Wen-ling Huang:
Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations. 3-21
Automated Verification Techniques
- Christian Dernehl, Norman Hansen, Stefan Kowalewski:
Abstract Interpretation of MATLAB Code with Interval Sets. 25-38 - Hadrien Bride, Olga Kouchnarenko
, Fabien Peureux, Guillaume Voiron:
Workflow Nets Verification: SMT or CLP? 39-55 - Mahmoud Mohsen, Bart Jacobs
One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast. 56-64 - Takuro Kutsuna
Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing. 65-80 - Yu Lu
Towards the Automated Verification of Weibull Distributions for System Failure Rates. 81-96 - Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. 97-114
Model-Based System Analysis
- Arnaud Dieumegard, Andres Toom, Marc Pantel:
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. 117-132 - Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. 133-141 - Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. 142-149 - Axel Habermaier, Johannes Leupolz, Wolfgang Reif
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. 150-167
Applications and Case Studies
- Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
Formal Verification of a Rover Anti-collision System. 171-188 - Steffen Beringer, Heike Wehrheim:
Verification of AUTOSAR Software Architectures with Timed Automata. 189-204 - Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola:
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System. 205-213 - Somsak Vanit-Anunchai
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System. 214-230 - Alessandro Fantechi:
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems. 231-245
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 2024-12-13 18:59 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: