| 2008 | 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland |
| 2008 | A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. Isabelle Perseil, Laurent Pautet |
| 2008 | A Formal Model of Semantic Web Service Ontology (WSMO) Execution. Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2008 | A Framework for Software Engineering Experimental Replications. Manoel G. Mendonça, José Carlos Maldonado, Maria Cristina Ferreira de Oliveira, Jeffrey C. Carver, Sandra Camargo Pinto Ferraz Fabbri, Forrest Shull, Guilherme Horta Travassos, Erika Nina Höhn, Victor R. Basili |
| 2008 | A Scalable Approach to Multi-style Architectural Modeling and Verification. Stephen Wong, Jing Sun, Ian Warren, Jun Sun |
| 2008 | A Study of the AADL Mode Change Protocol. Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux |
| 2008 | AADL Execution Semantics Transformation for Formal Verification. Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger |
| 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 | An Environment to Support Large Scale Experimentation in Software Engineering. Guilherme Horta Travassos, Paulo Sérgio Medeiros dos Santos, Paula Gomes Mian, Arilo Claudio Dias Neto, Jorge Calmon de Almeida Biolchini |
| 2008 | An Integrated MDA Approach with SysML and UML. Matthew Clayton Hause, Francis Thom |
| 2008 | AnExecution Framework for MARTE-Based Models. Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard |
| 2008 | Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga |
| 2008 | Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman |
| 2008 | Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. Matthias Brun, Jérôme Delatour, Yvon Trinquet |
| 2008 | Contract-Based Approach to Analyze Software Components. Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda |
| 2008 | Dealing with AADL End-to-End Flow Latency with UML MARTE. Su-Young Lee, Frédéric Mallet, Robert de Simone |
| 2008 | Efficient Embedded Runtime Systems through Port Communication Optimization. Peter H. Feiler |
| 2008 | GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services. Lukasz Juszczyk, Hong Linh Truong, Schahram Dustdar |
| 2008 | Global Software Engineering Research in a Small Country. Kevin Ryan |
| 2008 | High-Precision Relative Clock Synchronization Using Time Stamp Counters. Guosong Tian, Yu-Chu Tian, Colin J. Fidge |
| 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 | Jini++: A Framework for Developing Pervasive and Wireless Distributed Applications. Zhi Quan Lee, Yuan Qin Zhu, Ian Warren |
| 2008 | Linking VDM and Z. Jim Woodcock, Leo Freitas |
| 2008 | Modes in Asynchronous Systems. Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas |
| 2008 | On Extracting Tests from a Testable Model in the Context of Domain Engineering. Soheila Bashardoust-Tajali, Jean-Pierre Corriveau |
| 2008 | POSIX and the Verification Grand Challenge: A Roadmap. Leo Freitas, Jim Woodcock, Andrew Butterfield |
| 2008 | Revisiting Safe Realizability of Message Sequence Charts Specifications. Abdolmajid Mousavi, Behrouz H. Far |
| 2008 | Task Mapping in Heterogeneous MPSoCs for System Level Design. Kugan Vivekanandarajah, Santhosh Kumar Pilakkat |
| 2008 | The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. Tiziana Margaria |
| 2008 | Ubiquitous Service Regulation Based on Dynamic Rules. José Viterbo Filho, Markus Endler, Jean-Pierre Briot |
| 2008 | Using AADL to Model a Protocol Stack. Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers |
| 2008 | Verified Software: Theories, Tools, Experiments. Tony Hoare |
| 2008 | Verifying Semistructured Data Normalization Using PVS. Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves |
| 2008 | Verifying Statecharts with State Invariants. Emil Sekerinski |
| 2008 | Why Predicting Outliers in Software is a Good Thing to Do! Norman F. Schneidewind, Mike Hinchey |
| 2008 | iPSL: An Environment for IP-Based PSL Specification. Naiyong Jin, Juan Zhou, Taoyong Ni |