| 2007 | Verification of embbeded systems with preemption: a negative result. | Jrme Ermont, Frdric Boniol |
| 2007 | Avionic Software Verification by Abstract Interpretation. | Patrick Cousot |
| 2007 | Model-based development of embedded control systems: historical perspective and recent advances. | Paul Caspi |
| 2007 | OASIS formal approach for distributed safety-critical real-time system design. | Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussagus |
| 2007 | Using Analogy to Promote Conceptual Modeling Reuse. | Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antnio 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 | Formal Functionally Deterministic Scheduling. | Frdric Boniol, Claire Pagetti, Franois Revest |
| 2007 | Formal Modeling of Data. A Case Study for Space Applications. | Jean-Paul Blanquart, Grard Bulsa, David Lesens, George Mamais, Maxime Perrotin |
| 2007 | Development of Transportation Systems. | Dines Bjrner |
| 2007 | Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet Architecture. | Cludia Betous-Almeida, Jean-Luc Scharbarg, Christian Fraboul |
| 2007 | A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. | Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis |
| 2007 | Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. | Philippe Baufreton, Reinhold Heckmann |
| 2007 | Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. | Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig |
| 2007 | Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. | Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen |
| 2006 | Improve Model Checking Efficiency Using Specific Knowledge about the System. | Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng |
| 2006 | Connecting Algebraic and Logical Descriptions of Concurrent Systems. | Naijun Zhan |
| 2006 | Automatic Test Generation for Model-Based Code Generators. | Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey |
| 2006 | Towards a Framework for Scalable Model Checking of Concurrent C Programs. | Ji Wang, Xiaodong Yi, Xuejun Yang |
| 2006 | REDLIB for the Formal Verification of Embedded Systems. | Farn Wang |
| 2006 | Comparative Analysis of Tools for Automated Software Re-engineering Purposes. | Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm |
| 2006 | The Worst Case Execution Time Tool Challenge 2006: The External Test. | Lili Tan |
| 2006 | Formal Executable Models of Cell Signaling Primitives. | Carolyn L. Talcott |
| 2006 | Real-Time Property Verification in Organic Computing Systems. | Steffen Stein, Arne Hamann, Rolf Ernst |
| 2006 | Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. | Jan Staschulat, Jrn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlr, Rainer Busch |
| 2006 | Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. | Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper, Steffen Wiegratz |