| 699 | -- | 0 | Rachida Dssouli, Ferhat Khendek. Preface |
| 701 | -- | 714 | Loïc Hélouët. Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol |
| 715 | -- | 725 | Aziz Salah, Rachida Dssouli, Guy Lapalme. Implicit integration of scenarios into a reduced timed automaton |
| 727 | -- | 741 | Reinhard Gotzhein. Consolidating and applying the SDL-pattern approach: a detailed case study |
| 743 | -- | 761 | Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng. A rigorous approach for constructing self-evolving real-time reactive systems |
| 763 | -- | 777 | Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa. Formal verification and validation for e-commerce: theory and best practices |
| 779 | -- | 790 | John Mullins, Stéphane Lafrance. Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols |