| 2007 | The DHCP Failover Protocol: A Formal Perspective. | Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch |
| 2007 | A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. | Sami Evangelista, Christophe Pajault, Jean-Franois Pradat-Peyre |
| 2007 | Thread-Based Analysis of Sequence Diagrams. | Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2007 | Towards Modal Logic Formalization of Role-Based Access Control with Object Classes. | Junghwa Chae |
| 2007 | Specification of Timed EFSM Fault Models in SDL. | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. mit Uyar |
| 2007 | Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. | Joo Abreu, Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2006 | Semantic-Based Development of Service-Oriented Systems. | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hlzl, Alexander Knapp, Nora Koch, Andreas Schroeder |
| 2006 | Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2006 | A New Approach for Concurrent Program Slicing. | Pierre Rousseau |
| 2006 | A LOTOS Framework for Middleware Specification. | Nelson S. Rosa, Paulo Roberto Freire Cunha |
| 2006 | Web Cube. | I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra |
| 2006 | Composition of Use Cases Using Synchronization and Model Checking. | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
| 2006 | Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2006 | Formalizing Collaboration Goal Sequences for Service Choreography. | Humberto Nicols Castejn Martnez, Rolv Brk |
| 2006 | Decidable Extensions of Hennessy-Milner Logic. | Radu Mardare, Corrado Priami |
| 2006 | Resource Allocation Systems: Some Complexity Results on the S | Juan-Pablo Lpez-Grao, Jos Manuel Colom |
| 2006 | Scenario-Based Timing Consistency Checking for Time Petri Nets. | Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng |
| 2006 | Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. | Keqin Li, Roland Groz, Muzammil Shahbaz |
| 2006 | Refined Interfaces for Compositional Verification. | Frdric Lang |
| 2006 | The | Leslie Lamport |
| 2006 | Modelling of Complex Software Systems: A Reasoned Overview. | Daniel Krob |
| 2006 | Optimized Colored Nets Unfolding. | Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet |
| 2006 | Analysis of Realizability Conditions for Web Service Choreographies. | Raman Kazhamiakin, Marco Pistore |
| 2006 | Minimizing Coordination Channels in Distributed Testing. | Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2006 | PN Standardisation: A Survey. | Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trves |