| 2007 | A C-space sensitivity analysis of Earliest Deadline First scheduling. Jean-François Hermant, Laurent George |
| 2007 | A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis |
| 2007 | Avionic Software Verification by Abstract Interpretation. Patrick Cousot |
| 2007 | Development of Transportation Systems. Dines Bjørner |
| 2007 | Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig |
| 2007 | Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet Architecture. Cláudia Betous-Almeida, Jean-Luc Scharbarg, Christian Fraboul |
| 2007 | Formal Functionally Deterministic Scheduling. Frédéric Boniol, Claire Pagetti, François Revest |
| 2007 | Formal Modeling of Data. A Case Study for Space Applications. Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin |
| 2007 | Formal models of Fractal Component Based Systems for performance analysis. Nabila Salmi, Patrice Moreaux, Malika Ioualalen |
| 2007 | ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels |
| 2007 | Model-based development of embedded control systems: historical perspective and recent advances. Paul Caspi |
| 2007 | New worst-case analysis technique for real-time transactions. Ahmed Rahni, Emmanuel Grolleau, Michaël Richard |
| 2007 | OASIS formal approach for distributed safety-critical real-time system design. Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès |
| 2007 | Preservation of timed properties during an incremental development by components. Jacques Julliand, Hassan Mountassir, Emilie Oudot |
| 2007 | Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. Joris Rehm, Dominique Cansell |
| 2007 | Qualitative Abstraction based Verification for Analog Circuits. Mohamed H. Zaki, Sofiène Tahar, Guy Bois |
| 2007 | Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. Philippe Baufreton, Reinhold Heckmann |
| 2007 | Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. Michael Leuschel, Daniel Plagge |
| 2007 | The aeronautical systems development challenges for Airbus. Odile Laurent |
| 2007 | Using Analogy to Promote Conceptual Modeling Reuse. Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado, Michael G. Hinchey |
| 2007 | Using Formal Methods to increase confidence in one Home Network System implementation: Case study. Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki |
| 2007 | Using Invariant Detection Mechanism in Black Box Inference. Muzammil Shahbaz, Roland Groz |
| 2007 | Verification of embbeded systems with preemption: a negative result. Jérôme Ermont, Frédéric Boniol |
| 2007 | Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen |