default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th FMICS 2004: Linz, Austria
- Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004. Electronic Notes in Theoretical Computer Science 133, Elsevier 2005 - Juan Bicarregui
, Andrew Butterfield, Alvaro Arenas:
Preface. 1-2 - Michele Banci, Alessandro Fantechi:
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. 3-19 - Jiri Barnat, Lubos Brim, Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. 21-39 - Mustapha Bourahla, Mohamed Benmohamed:
Analysis of Real-Time Systems with CTL Model Checkers. 41-60 - Yunja Choi:
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. 61-79 - Alain Girault, Éric Rutten:
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. 81-100 - Anders Henriksson, Uwe Aßmann, James Hunt:
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification. 101-117 - Martin Fränzle, Christian Herde:
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. 119-137 - Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties. 139-157 - Akram Idani, Yves Ledru:
Object Oriented Concepts Identification from Formal B Specifications. 159-174 - Misa Keinänen:
Obtaining Memory-Efficient Solutions to Boolean Equation Systems. 175-191 - Jacques Klein, Benoît Caillaud, Loïc Hélouët:
Merging Scenarios. 193-215 - María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez:
Integration of Reliability and Performance Analyses for Active Network Services. 217-236 - Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van:
Early Verification and Validation of Mission Critical Systems. 237-254 - David Sinclair, James F. Power:
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. 255-273 - Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®. 275-294 - Jaco van de Pol, Miguel Valero Espada:
An Abstract Interpretation Toolkit for muCRL. 295-313 - Dieter Zöbel, David Polock, Andreas van Arkel:
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. 315-332
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-01 23:26 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:
