FORTE 2007 Program
Click here to see the program synchronized with TESTCOM-FATES
Wednesday, June 27
8.45 Opening
9.00 - 10.00 Plenary I
- Antti Huima (Conformiq Software): Implementing Conformiq Qtronic (Invited talk)
10.00 - 10.30 Coffee
Session 1 - Message Sequence Charts and SDL
10.30 - 12.00
- Haitao Dan, Rob Hierons and Steve Counsell: Thread–based Analysis of Sequence Diagrams
- Guy-Vincent Jourdan, Hasan Ural, Shen Wang and Husnu Yenigun: Recovering Repetitive Sub-Functions From Observations
- Ana Cavalli: Specification of Timed EFSM Fault Models in SDL
12.00 - 14.00 Lunch
Session 2 - Concurrency
14.00 - 15.30
- Roberto Guanciale, Daniele Strollo, Gianluigi Ferrari and Emilio Tuosto: Coordination via Types in an Event-based framework
- Hongli Yang, Xiangpeng Zhao, Chao Cai and Zongyan Qiu: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
- Junghwa Chae: Towards Modal Logic Formalization of the Role-based Access Control with Object Classes
15.30 - 16.00 Coffee
Session 3 - Model Programs
16.00 - 17.00
- Margus Veanes, Juhan Ernits and Colin Campbell: State isomorphism in model programs with abstract data structures
- Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
Thursday, June 28
9.00 - 10.00 Plenary II
- Susanne Graf (co-author Sophie Quinton): Contracts for BIP: hierarchical interaction models for compositional verification (Invited talk)
10.00 - 10.30 Coffee
Session 4 - Theory
10.30 - 12.00
- David Frutos Escrig, Fernando Rosa-Velardo and Carlos Gregorio Rodrķguez: New Bisimulation Semantics for Distributed Systems
Thomas Gazagnaire and Loic Helouet: Reconstructing Causal Ordering with boxed pomsets
- Sami Evangelista, Christophe Pajault and Jean-Franēois Pradat-Peyre: A simple positive flows computation algorithm for a large subclass of colored nets
12.00 - 14.00 Lunch
Session 5 – Verification
14.00 - 15.30
- Rongjie Yan, Guangyuan Li, Wenliang Zhang and Yunquan Peng: Improvements for the Symbolic Verification of Timed Automata
- Rui Fan, Ralph Droms, Nancy Griffeth and Nancy Lynch: The DHCP Failover Protocol: A Formal Perspective
- Qiang Guo: Verifying Erlang/OTP Components in muCRL
15.30 - 16.00 Coffee
Session 6 – Model Checking
16.00 - 17.30
- Fei He, Luciano Baresi, Carlo Ghezzi and Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
- Gabriel Kalyon, Thierry Massart, Cédric Meuter and Laurent Van Begin: Testing Distributed Systems through Symbolic Model Checking of Traces
- Kais Klai, Laure Petrucci and Michel Reniers: An Incremental Modular Technique for Checking LTL-X Properties on Petri nets
Friday, June 29
Session 7 – Requirements and QoS
9.30 - 10.30
- Kedian Mu and Zhi Jin: Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
- Christian Webel and Reinhard Gotzhein: Formalization of Network Quality-of-Service Requirements
10.30 - 11.00 Coffee
Session 8 – Components
11.00 - 12.30
- Mila Majster-Cederbaum and Moritz Martens: Robustness in Component-Based Systems
- Serge Haddad and Pascal Poizat: Transactional Reduction of Component Compositions
- João Abreu, Laura Bocchi, José Luiz Fiadeiro and Antónia Lopes: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
12.30 - 12.45 Closing
12.45 - 14.30 Lunch