| 2006 | [mc]square: A Model Checker for Microcontroller Code. | Bastian Schlich, Stefan Kowalewski |
| 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 | Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2006 | The AUTOSAR Timing Model - Status and Challenges -. | Kai Richter |
| 2006 | Analysis Techniques for Service Models. | Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner |
| 2006 | Patterns with Algebraic Properties in BPEL0. | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
| 2006 | A Formal Specification of a Programming Language: Design of Pit. | Leif Pedersen, Hassan Reza |
| 2006 | Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). | David von Oheimb |
| 2006 | Concurrent Testing of Java Components Using Java PathFinder. | Vadim S. Mutilin |
| 2006 | Challenges of Timing Verification Tools in the Automotive Domain. | Pascal Montag, Steffen Grzig, Paul Levi |
| 2006 | Formal Techniques for the Analysis of Wireless Networks. | A. K. McIver, Ansgar Fehnker |
| 2006 | The FMICS-jETI Platform: Status and Perspectives. | Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat |
| 2006 | Harnessing Theories for Tool Support. | Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang |
| 2006 | CARVER: A Slicing Tool for Communicating Automata Specifications. | Sbastien Labb, Arnault Lapitre |
| 2006 | Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. | Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen |
| 2006 | Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level Model. | Reinhold Krger, Ulrike Lucke, Markus Schmid, Djamshid Tavangarian |
| 2006 | Combining Logic and Algebraic Techniques for Program Verification in Theorema. | Laura Kovcs, Nikolaj Popov, Tudor Jebelean |
| 2006 | Program Safety via Programmer Safety. | Joseph Kiniry |
| 2006 | An Automated Approach for Writing Alloy Specifications Using Instances. | Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova |
| 2006 | Application of Bioinformatics in the Design of Gene Expression Microarrays. | Sabah Khalid, Mohsin Khan, Ping Wang, Xiaohui Liu, Suling Li |
| 2006 | The UniTESK Approach to Specification-Based Validation of Hardware Designs. | Alexander Kamkin |
| 2006 | Certificates of Resource Usage on Mobile Telephones. | Thomas P. Jensen |
| 2006 | Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppnen |
| 2006 | Software Assurance Research Infusion: The NASA Experience. | Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick |
| 2006 | Intransitive Noninterference in Dependence Graphs. | Christian Hammer, Jens Krinke, Frank Nodes |