default search action
10th FMICS 2005: Lisbon, Portugal
- Tiziana Margaria, Mieke Massink:
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. ACM 2005 - Luís Andrade:
The experience of ATX with the application of formal/rigorous techniques and methods in real projects. 1 - Christel Baier, Frank Ciesinski, Marcus Größer:
Quantitative analysis of distributed randomized protocols. 2-7 - Jonathan P. Bowen
, Michael G. Hinchey:
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. 8-16 - Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán:
Model checking software with well-defined APIs: the socket case. 17-26 - Jan Mikác, Paul Caspi:
Flush: a system development tool based on scade/lustre. 27-34 - Abdesselam Lakehal, Ioannis Parissis:
Structural test coverage criteria for lustre programs. 35-43 - Elisabeth A. Strunk, Xiang Yin, John C. Knight:
Echo: a practical approach to formal verification. 44-53 - Anton Wijs, Jaco van de Pol, Elena M. Bortnik:
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. 54-61 - Harald Raffelt, Bernhard Steffen, Therese Berg:
LearnLib: a library for automata learning and experimentation. 62-71 - Adrian J. Hilton, Jon G. Hall:
Developing critical systems with PLD components. 72-79 - Radu Mateescu:
On-the-fly state space reductions for weak equivalences. 80-89 - Joni Helin, Pertti Kellomäki:
Invariants come from templates. 90-97 - Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim:
Enhancing random walk state space exploration. 98-105 - Dang Van Hung:
Toward a formal model for component interfaces for real-time systems. 106-114 - Thomas In der Rieden, Steffen Knapp:
An approach to the pervasive formal specification and verification of an automotive system: status report. 115-124 - Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski:
Requirements of an integrated formal method for intelligent swarms. 125-133 - Michele Banci, Alessandro Fantechi:
Instantiating generic charts for railway interlocking systems. 134-143
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-23 19:39 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: