| 2006 | The Worst Case Execution Time Tool Challenge 2006. | Jan Gustafsson |
| 2006 | Safety and Dependability Analysis of Self-Adaptive Systems. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |
| 2006 | A Formal Behavioral Semantics for TestML. | Jrgen Gromann, Wolfgang Mller |
| 2006 | Synthesis and Traceability of Scenario-Based Executable Models. | Ankit Goel, Abhik Roychoudhury |
| 2006 | Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. | Michele Garetto, Marco Gribaudo |
| 2006 | Implementing Influence Analysis Using Parameterised Boolean Equation Systems. | Mara-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
| 2006 | Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. | Matthias Fruth |
| 2006 | Triumphs and Challenges for Model-Oriented Formal Methods: The VDM | John S. Fitzgerald, Peter Gorm Larsen |
| 2006 | Semi-automated Workflow Synthesis. | Ablio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, Antnio L. Furtado |
| 2006 | Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. | Christian Ferdinand, Reinhold Heckmann, Hans-Jrg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin |
| 2006 | Recognizing Traffic Jams with Hovering Data Clouds. | Sndor P. Fekete, Christiane Schmidt, Axel Wegener, Stefan Fischer |
| 2006 | Context Awareness Systems Design and Reasoning. | Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun |
| 2006 | Extending Source Code Generators for Evidence-Based Software Certification. | Ewen Denney, Bernd Fischer |
| 2006 | Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. | Xianghua Deng, Robby, John Hatcliff |
| 2006 | Modeling of Sensor Networks Using XRM. | Akim Demaille, Sylvain Peyronnet, Benot Sigoure |
| 2006 | Reasoning about Airport Security Regulations Using the Focal Environment. | David Delahaye, Jean-Frdric tienne, Vronique Donzeau-Gouge |
| 2006 | "Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.". | T. E. Daniel, S. N. I. Mount, Robert M. Newman, Elena I. Gaura |
| 2006 | A Space and Time Requirements Logic for Sensor Networks. | Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz |
| 2006 | Model-Based Development of Fault-Tolerant Embedded Software. | Christian Buckl, Alois C. Knoll, Gerhard Schrott |
| 2006 | Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. | Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky |
| 2006 | Verification in the Large via Symbolic Approximation. | Peter T. Breuer, Simon Pickin |
| 2006 | Organic Computing - Addressing Complexity by Controlled Self-Organization. | Jrgen Branke, Moez Mnif, Christian Mller-Schloer, Holger Prothmann, Urban Richter, Fabian Rochner, Hartmut Schmeck |
| 2006 | Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur |
| 2006 | Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
| 2006 | Model Checking Medium Access Control for Sensor Networks. | Paolo Ballarini, Alice Miller |