Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th FMICS 2007: Berlin, Germany
- Stefan Leue, Pedro Merino:
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4916, Springer 2008, ISBN 978-3-540-79706-7
Invited Presentations
- Charles Pecheur:
Verification of Embedded Software: From Mars to Actions. 1 - Gérard Berry:
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. 2
Research Papers
- Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino:
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. 3-20 - Bastian Schlich, Jann Löll, Stefan Kowalewski:
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. 21-37 - Sören Preibusch, Florian Kammüller:
Checking the TWIN Elevator System by Translating Object-Z to SMV. 38-55 - Lionel van den Berg, Paul A. Strooper
, Kirsten Winter:
Introducing Time in an Industrial Application of Model-Checking. 56-67 - Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm:
Integration of Formal Analysis into a Model-Based Software Development Process. 68-84 - Lars Gesellensetter, Sabine Glesner, Elke Salecker:
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. 85-100 - Murali Rangarajan, Darren D. Cofer:
Computing Worst-Case Response Times in Real-Time Avionics Applications. 101-114 - Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. 115-132 - Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. 133-148 - Radek Pelánek:
Model Classifications and Automated Verification. 149-163 - Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries. 164-181 - Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko:
Analysis of a Session-Layer Protocol in mCRL2. 182-199 - Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Automatic Certification of Java Source Code in Rewriting Logic. 200-217 - Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes:
Reverse Engineered Formal Models for GUI Testing. 218-233 - Alexandra Desmoulin, César Viho:
Automatic Interoperability Test Case Generation Based on Formal Definitions. 234-250
a service of 
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-04-17 21:39 CEST 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:
