| 2008 | Modes in Asynchronous Systems. | Jean-Franois Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas |
| 2008 | A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. | Isabelle Perseil, Laurent Pautet |
| 2008 | AnExecution Framework for MARTE-Based Models. | Chokri Mraidha, Yann Tanguy, Christophe Jouvray, Franois Terrier, Sebastien Gerard |
| 2008 | Revisiting Safe Realizability of Message Sequence Charts Specifications. | Abdolmajid Mousavi, Behrouz H. Far |
| 2008 | A Framework for Software Engineering Experimental Replications. | Manoel G. Mendona, Jos Carlos Maldonado, Maria Cristina Ferreira de Oliveira, Jeffrey C. Carver, Sandra Camargo Pinto Ferraz Fabbri, Forrest Shull, Guilherme Horta Travassos, Erika Nina Hhn, Victor R. Basili |
| 2008 | The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. | Tiziana Margaria |
| 2008 | Jini++: A Framework for Developing Pervasive and Wireless Distributed Applications. | Zhi Quan Lee, Yuan Qin Zhu, Ian Warren |
| 2008 | Verifying Semistructured Data Normalization Using PVS. | Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves |
| 2008 | GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services. | Lukasz Juszczyk, Hong Linh Truong, Schahram Dustdar |
| 2008 | iPSL: An Environment for IP-Based PSL Specification. | Naiyong Jin, Juan Zhou, Taoyong Ni |
| 2008 | Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems. | Fei Huang, Kai Han, Binoy Ravindran, E. Douglas Jensen |
| 2008 | Verified Software: Theories, Tools, Experiments. | Tony Hoare |
| 2008 | An Integrated MDA Approach with SysML and UML. | Matthew Clayton Hause, Francis Thom |
| 2008 | POSIX and the Verification Grand Challenge: A Roadmap. | Leo Freitas, Jim Woodcock, Andrew Butterfield |
| 2008 | Ubiquitous Service Regulation Based on Dynamic Rules. | Jos Viterbo Filho, Markus Endler, Jean-Pierre Briot |
| 2008 | Efficient Embedded Runtime Systems through Port Communication Optimization. | Peter H. Feiler |
| 2008 | Ambient Intelligence Applications: Introducing the Campus Framework. | Amal El Fallah Seghrouchni, Karin K. Breitman, Nicolas Sabouret, Markus Endler, Yasmine Charif, Jean-Pierre Briot |
| 2008 | Using AADL to Model a Protocol Stack. | Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers |
| 2008 | Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. | Matthias Brun, Jrme Delatour, Yvon Trinquet |
| 2008 | Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2008 | A Study of the AADL Mode Change Protocol. | Dominique Bertrand, Anne-Marie Dplanche, Sbastien Faucou, Olivier H. Roux |
| 2008 | On Extracting Tests from a Testable Model in the Context of Domain Engineering. | Soheila Bashardoust-Tajali, Jean-Pierre Corriveau |
| 2008 | Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. | Hugues Balp, Etienne Borde, Grgory Hak, Jean-Franois Tilman |
| 2008 | AADL Execution Semantics Transformation for Formal Verification. | Thomas Abdoul, Jol Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger |
| 2008 | Dealing with AADL End-to-End Flow Latency with UML MARTE. | Su-Young Lee, Frdric Mallet, Robert de Simone |