Verification of Embedded Software: From Mars to Actions. [Citation Graph (, )][DBLP]
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. [Citation Graph (, )][DBLP]
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. [Citation Graph (, )][DBLP]
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. [Citation Graph (, )][DBLP]
Checking the TWIN Elevator System by Translating Object-Z to SMV. [Citation Graph (, )][DBLP]
Introducing Time in an Industrial Application of Model-Checking. [Citation Graph (, )][DBLP]
Integration of Formal Analysis into a Model-Based Software Development Process. [Citation Graph (, )][DBLP]
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. [Citation Graph (, )][DBLP]
Computing Worst-Case Response Times in Real-Time Avionics Applications. [Citation Graph (, )][DBLP]
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. [Citation Graph (, )][DBLP]
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. [Citation Graph (, )][DBLP]
Model Classifications and Automated Verification. [Citation Graph (, )][DBLP]
An Approach to Formalization and Analysis of Message Passing Libraries. [Citation Graph (, )][DBLP]
Analysis of a Session-Layer Protocol in mCRL2. [Citation Graph (, )][DBLP]
Automatic Certification of Java Source Code in Rewriting Logic. [Citation Graph (, )][DBLP]