| 2007 | A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre |
| 2007 | An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. Kais Klai, Laure Petrucci, Michel A. Reniers |
| 2007 | Composition of Model Programs. Margus Veanes, Colin Campbell, Wolfram Schulte |
| 2007 | Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. Susanne Graf, Sophie Quinton |
| 2007 | Coordination Via Types in an Event-Based Framework. Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
| 2007 | Event Correlation with Boxed Pomsets. Thomas Gazagnaire, Loïc Hélouët |
| 2007 | Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
| 2007 | Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
| 2007 | Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings John Derrick, Jüri Vain |
| 2007 | Formalization of Network Quality-of-Service Requirements. Christian Webel, Reinhard Gotzhein |
| 2007 | Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. Kedian Mu, Zhi Jin |
| 2007 | Improvements for the Symbolic Verification of Timed Automata. Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng |
| 2007 | New Bisimulation Semantics for Distributed Systems. David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez |
| 2007 | Recovering Repetitive Sub-functions from Observations. Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün |
| 2007 | Robustness in Interaction Systems. Mila E. Majster-Cederbaum, Moritz Martens |
| 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. João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes |
| 2007 | State Isomorphism in Model Programs with Abstract Data Structures. Margus Veanes, Juhan P. Ernits, Colin Campbell |
| 2007 | Testing Distributed Systems Through Symbolic Model Checking. Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin |
| 2007 | The DHCP Failover Protocol: A Formal Perspective. Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch |
| 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 | Transactional Reduction of Component Compositions. Serge Haddad, Pascal Poizat |
| 2007 | Verifying Erlang/OTP Components in Qiang Guo |