| 2008 | A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin |
| 2008 | A Generalized Model-Based Test Generation Method. Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão |
| 2008 | Abstract Interpretation in Code Security. Roberto Giacobazzi |
| 2008 | Algebraic View Reconciliation. Peter Höfner, Ridha Khédri, Bernhard Möller |
| 2008 | An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel |
| 2008 | Behavioral Compatibility of Active Components. Youcef Hammal |
| 2008 | Behaviour Directed Testing of Auto-code Generators. Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2008 | Bridging the Gap between Interaction- and Process-Oriented Choreographies. Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro |
| 2008 | CRefine: Support for the Circus Refinement Calculus. Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro |
| 2008 | Cheap and Small Counterexamples. Henri Hansen, Jaco Geldenhuys |
| 2008 | Checking Interface Interaction Protocols Using Aspect-Oriented Programming. Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung |
| 2008 | Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. Ina Schaefer, Arnd Poetzsch-Heffter |
| 2008 | Contract-Based Verification of Hierarchical Systems of Components. Sophie Quinton, Susanne Graf |
| 2008 | Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. Martin Fränzle, Michael R. Hansen |
| 2008 | Extending Stream X-Machines to Specify and Test Systems with Timeouts. Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
| 2008 | Extracting Conditional Confidentiality Policies. Michael Carl Tschantz, Jeannette M. Wing |
| 2008 | Flash-Efficient LTL Model Checking with Minimal Counterexamples. Stefan Edelkamp, Damian Sulewski |
| 2008 | Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. Bo Guo, Mahadevan Subramaniam |
| 2008 | Formal Methods and Innovation Economy: Facing New Challenges. Alexander K. Petrenko, Olga L. Petrenko |
| 2008 | Generation of Service Wrapper Protocols from Choreography Specifications. Gwen Salaün |
| 2008 | Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. Roberto Giacobazzi |
| 2008 | Laws of Object-Orientation with Reference Semantics. Leila Silva, Augusto Sampaio, Zhiming Liu |
| 2008 | Modeling Component Connectors: Synchronisation and Context-Dependency. Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
| 2008 | Modelling Rational User Behaviour as Games between an Angel and a Demon. Rimvydas Ruksenas, Paul Curzon, Ann Blandford |
| 2008 | Nullness Analysis in Boolean Form. Fausto Spoto |
| 2008 | Object Models with Temporal Constraints. Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2008 | Ontology-Based Automatic Model Transformations. Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens Wollenhaupt |
| 2008 | PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. Gogul Balakrishnan, Malay K. Ganai |
| 2008 | Preservation of Proof Pbligations for Hybrid Verification Methods. Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese |
| 2008 | Restricted Broadcast Process Theory. Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar |
| 2008 | Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 Antonio Cerone, Stefan Gruner |
| 2008 | Specialized Aspect Languages Preserving Classes of Properties. Simplice Djoko Djoko, Rémi Douence, Pascal Fradet |
| 2008 | Specification-Based Testing for Software Product Lines. Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2008 | Static Analysis of the Determinism of Multithreaded Programs. Pietro Ferrara |
| 2008 | Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. Valentin Goranko, Dmitry Shkatov |
| 2008 | Tagging Make Local Testing of Message-Passing Systems Feasible. Puneet Bhateja, Madhavan Mukund |
| 2008 | Testing Privacy Policies Using Models. Percy Antonio Pari Salas, Padmanabhan Krishnan |
| 2008 | Tools for CSP. Markus Roggenbach |
| 2008 | Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2008 | Verification-Based Test Case Generation for Full Feasible Branch Coverage. Christoph Gladisch |
| 2008 | Widening Operators for Abstract Interpretation. Agostino Cortesi |