default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th FMICS 2011: Trento, Italy
- Gwen Salaün, Bernhard Schätz:
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6959, Springer 2011, ISBN 978-3-642-24430-8 - Joost-Pieter Katoen
:
Towards Trustworthy Aerospace Systems: An Experience Report. 1-4 - Leonardo Mendonça de Moura:
Satisfiability at Microsoft. 5 - Néstor Cataño, Ijaz Ahmed:
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. 6-20 - Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz:
Runtime Verification of Typical Requirements for a Space Critical SoC Platform. 21-36 - Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski:
Past Time LTL Runtime Verification for Microcontroller Binary Code. 37-51 - Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis:
A SAT-Based Approach for the Construction of Reusable Control System Components. 52-67 - Ilyas Daskaya, Michaela Huhn, Stefan Milius:
Formal Safety Analysis in Industrial Practice. 68-84 - Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis:
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. 85-101 - Michael Dierkes:
Formal Analysis of a Triplex Sensor Voter in an Industrial Context. 102-116 - Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli:
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. 117-133 - Matthias Raffelsieper, Mohammad Reza Mousavi:
Symbolic Power Analysis of Cell Libraries. 134-148 - Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand:
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. 149-164 - Alessandro Aldini, Marco Bernardo, Jeremy Sproston:
Performability Measure Specification: Combining CSRL and MSL. 165-179 - Etienne Lantreibecq, Wendelin Serwe:
Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. 180-195 - Frank P. M. Stappers, Michel A. Reniers, Sven Weber:
Transforming SOS Specifications to Linear Processes. 196-211 - Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas:
Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. 212-227 - Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier:
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. 228-243 - Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull:
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. 244-259
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-11-08 20:40 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:
