| 2009 | Computational Trust to Insure the Quality of Assistance Given to Human Actors. | Christine Gertosio |
| 2009 | An Automated Platform for Immersive and Collaborative Visualization of Industrial Models. | Nelson Duarte Filho, Silvia Silva da Costa Botelho, Jnata Tyska Carvalho, Pedro de Botelho Marcos, Renan de Queiroz Maffei, Rodrigo Ruas Oliveira, Vinicius Alves Hax |
| 2009 | Modeling the Implementation of State-Based System Architectures. | Peter H. Feiler |
| 2009 | Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience. | Xiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei |
| 2009 | Benchmarking Dependability of a System Biology Application. | Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk |
| 2009 | Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique. | Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, Wing K. Tam |
| 2009 | Automating the Generation of Platform Specific Models. | Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, Franois Terrier |
| 2009 | Towards an Embedded Software Component Quality Verification Framework. | Fernando Carvalho, Silvio R. L. Meira |
| 2009 | An Integrated Specification Logic for Cyber-Physical Systems. | Marius C. Bujorianu, Howard Barringer |
| 2009 | Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2009 | UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. | Fateh Boutekkouk, Mohamed Benmohammed |
| 2009 | Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations. | Niklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria |
| 2009 | Applying the COSMIC Functional Size Measurement Method to Problem Frames. | Vieri Del Bianco, Luigi Lavazza |
| 2009 | Test your Strategy: Graphical Construction of Strategies for Connect-Four. | Marco Bakera, Sven Jrges, Tiziana Margaria |
| 2009 | A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. | Idir At-Sadoune, Yamine At Ameur |
| 2008 | Contract-Based Approach to Analyze Software Components. | Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufada |
| 2008 | Linking VDM and Z. | Jim Woodcock, Leo Freitas |
| 2008 | A Scalable Approach to Multi-style Architectural Modeling and Verification. | Stephen Wong, Jing Sun, Ian Warren, Jun Sun |
| 2008 | A Formal Model of Semantic Web Service Ontology (WSMO) Execution. | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2008 | Task Mapping in Heterogeneous MPSoCs for System Level Design. | Kugan Vivekanandarajah, Santhosh Kumar Pilakkat |
| 2008 | An Environment to Support Large Scale Experimentation in Software Engineering. | Guilherme Horta Travassos, Paulo Srgio Medeiros dos Santos, Paula Gomes Mian, Arilo Claudio Dias Neto, Jorge Calmon de Almeida Biolchini |
| 2008 | High-Precision Relative Clock Synchronization Using Time Stamp Counters. | Guosong Tian, Yu-Chu Tian, Colin J. Fidge |
| 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 | Global Software Engineering Research in a Small Country. | Kevin Ryan |