| 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 Formal Behavioral Semantics for TestML. Jürgen Großmann, Wolfgang Müller |
| 2006 | A Formal Specification of a Programming Language: Design of Pit. Leif Pedersen, Hassan Reza |
| 2006 | A Novel Method for Obtaining Real Time Control Strategy Using GA for Dynamical Systems Subjected to External Arbitrary Excitations. M. Saud, Ibrahim I. Esat |
| 2006 | A Space and Time Requirements Logic for Sensor Networks. Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz |
| 2006 | An Automated Approach for Writing Alloy Specifications Using Instances. Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova |
| 2006 | An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo |
| 2006 | Analysis Techniques for Service Models. Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner |
| 2006 | Application of Bioinformatics in the Design of Gene Expression Microarrays. Sabah Khalid, Mohsin Khan, Ping Wang, Xiaohui Liu, Suling Li |
| 2006 | Automatic Test Generation for Model-Based Code Generators. Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey |
| 2006 | Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen |
| 2006 | CARVER: A Slicing Tool for Communicating Automata Specifications. Sébastien Labbé, Arnault Lapitre |
| 2006 | Certificates of Resource Usage on Mobile Telephones. Thomas P. Jensen |
| 2006 | Challenges of Timing Verification Tools in the Automotive Domain. Pascal Montag, Steffen Görzig, Paul Levi |
| 2006 | Combining Logic and Algebraic Techniques for Program Verification in Theorema. Laura Kovács, Nikolaj Popov, Tudor Jebelean |
| 2006 | Comparative Analysis of Tools for Automated Software Re-engineering Purposes. Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm |
| 2006 | Concurrent Testing of Java Components Using Java PathFinder. Vadim S. Mutilin |
| 2006 | Connecting Algebraic and Logical Descriptions of Concurrent Systems. Naijun Zhan |
| 2006 | Context Awareness Systems Design and Reasoning. Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun |
| 2006 | Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch |
| 2006 | Extending Source Code Generators for Evidence-Based Software Certification. Ewen Denney, Bernd Fischer |
| 2006 | Formal Executable Models of Cell Signaling Primitives. Carolyn L. Talcott |
| 2006 | Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels |
| 2006 | Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky |
| 2006 | Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). David von Oheimb |
| 2006 | Formal Techniques for the Analysis of Wireless Networks. A. K. McIver, Ansgar Fehnker |
| 2006 | Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen |
| 2006 | Formally Proved Anti-tearing Properties of Embedded C Code. June Andronick |
| 2006 | Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2006 | Harnessing Theories for Tool Support. Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang |
| 2006 | Implementing Influence Analysis Using Parameterised Boolean Equation Systems. María-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
| 2006 | Improve Model Checking Efficiency Using Specific Knowledge about the System. Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng |
| 2006 | Intransitive Noninterference in Dependence Graphs. Christian Hammer, Jens Krinke, Frank Nodes |
| 2006 | Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. Xianghua Deng, Robby, John Hatcliff |
| 2006 | Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 |
| 2006 | Model Checking Medium Access Control for Sensor Networks. Paolo Ballarini, Alice Miller |
| 2006 | Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. Michele Garetto, Marco Gribaudo |
| 2006 | Model-Based Development of Fault-Tolerant Embedded Software. Christian Buckl, Alois C. Knoll, Gerhard Schrott |
| 2006 | Modeling of Sensor Networks Using XRM. Akim Demaille, Sylvain Peyronnet, Benoît Sigoure |
| 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 | Organic Computing - Addressing Complexity by Controlled Self-Organization. Jürgen Branke, Moez Mnif, Christian Müller-Schloer, Holger Prothmann, Urban Richter, Fabian Rochner, Hartmut Schmeck |
| 2006 | Patterns with Algebraic Properties in BPEL0. Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
| 2006 | Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. Matthias Fruth |
| 2006 | Program Safety via Programmer Safety. Joseph Kiniry |
| 2006 | REDLIB for the Formal Verification of Embedded Systems. Farn Wang |
| 2006 | Real-Coded Quantum Inspired Evolution Algorithm Applied to Engineering Optimization Problems. F. S. Alfares, Ibrahim I. Esat |
| 2006 | Real-Time Property Verification in Organic Computing Systems. Steffen Stein, Arne Hamann, Rolf Ernst |
| 2006 | Reasoning about Airport Security Regulations Using the Focal Environment. David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge |
| 2006 | Recognizing Traffic Jams with Hovering Data Clouds. Sándor P. Fekete, Christiane Schmidt, Axel Wegener, Stefan Fischer |
| 2006 | Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
| 2006 | Safety and Dependability Analysis of Self-Adaptive Systems. Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
| 2006 | Semi-automated Workflow Synthesis. Abílio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, António L. Furtado |
| 2006 | Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. Markus Bajohr, Tiziana Margaria, Bernhard Steffen |
| 2006 | Software Assurance Research Infusion: The NASA Experience. Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick |
| 2006 | Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz |
| 2006 | Synthesis and Traceability of Scenario-Based Executable Models. Ankit Goel, Abhik Roychoudhury |
| 2006 | The AUTOSAR Timing Model - Status and Challenges -. Kai Richter |
| 2006 | The FMICS-jETI Platform: Status and Perspectives. Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat |
| 2006 | The UniTESK Approach to Specification-Based Validation of Hardware Designs. Alexander Kamkin |
| 2006 | The Worst Case Execution Time Tool Challenge 2006. Jan Gustafsson |
| 2006 | The Worst Case Execution Time Tool Challenge 2006: The External Test. Lili Tan |
| 2006 | Towards a Framework for Scalable Model Checking of Concurrent C Programs. Ji Wang, Xiaodong Yi, Xuejun Yang |
| 2006 | Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin |
| 2006 | Triumphs and Challenges for Model-Oriented Formal Methods: The VDM John S. Fitzgerald, Peter Gorm Larsen |
| 2006 | Verification in the Large via Symbolic Approximation. Peter T. Breuer, Simon Pickin |
| 2006 | Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir |
| 2006 | Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level Model. Reinhold Kröger, Ulrike Lucke, Markus Schmid, Djamshid Tavangarian |
| 2006 | [mc]square: A Model Checker for Microcontroller Code. Bastian Schlich, Stefan Kowalewski |