Session 1 9:00 - 10:00 |
Unifying invited talk
Model Checking for Nominal Calculi
Ugo Montanari, Univ. Pisa, Italy |
Coffee | |
Lunch | |
Session 3a 14:30 - 15:30 |
Unifying invited talk Esterel v7:
From Verified Formal Specification to Efficient Industrial Designs
Gérard Berry, Esterel Technologies, Villeneuve-Loubet, France |
Session 3 15:45 - 16:45 |
Web Services
Analyzing Web Service Based Business Processes
Axel Martens (Humboldt Univ., Berlin, Germany)
Automatic Conformance Testing of Web Services
Reiko Heckel (Univ. of Leicester, UK) and Leonardo Mariani (Univ. of Milano-Bicocca, Italy) |
Coffee | |
Session 4 17:15 - 18:45 |
Graph Grammars and Graph Transformations
Termination Criteria for Model Transformation
Hartmut Ehrig, Karsten Ehrig (TU Berlin, Germany), Juan de Lara (Autonomous Univ. of Madrid, Spain), Gabriele Taentzer (TU Berlin, Germany), Dániel Varró and Szilvia Varró-Gyapay (Budapest Univ. of Technology and Economics, Hungary)
Ensuring Structural Constraints in Graph-Based Models with Type
Inheritance
Gabriele Taentzer (TU Berlin, Germany) and Arend Rensink (Univ. of Twente, Enschede, The Netherlands)
Modelling Parametric Contracts and the State Space of
Composite Components by Graph Grammars
Ralf H. Reussner, Jens Happe and Annegret Habel (Univ. of Oldenburg, Germany) |
Evening 19:30 for 20:00 |
Banquet
Conference Dinner at the National Museum of Scotland, Chambers Street, preceded by a reception.
When you enter the museum, the first sight is the magnificent Main Hall, with its elegant bird-cage design. Flooded with natural light, it provides a great sense of space and tranquillity, with fountains and fishponds. It is a major exhibit in its own right and contains many wonderful objects.
During the dinner it will not be possible to see the exhibits of the museum, but here is what you will miss: Thirty-six galleries of varying sizes present artefacts from around the globe and natural history specimens. See everything from steamships to sculptures, Egypt to evolution, Dolly the Sheep to design classics and black holes to brown bears.
|
Coffee | |
Session 2 10:30 - 12:30 |
Components
Improving the Build Architecture of Legacy C/C++ Software Systems
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos and Periklis Andritsos (Univ. of Toronto, Canada)
Using Scenarios to Predict the Reliability of Concurrent
Component-Based Software Systems
Genaína Nunes Rodrigues, David Rosenblum (Univ. College London, UK) and Sebastian Uchitel (Imperial College, London, UK)
Model Reuse with the Evolution and Validation Framework
Jörn Guy Süss and Andreas Leicher (TU Berlin, Germany)
A Tool to Automate Component Clustering and Identification
Soo Ho Chang, Man Jib Han and Soo Dong Kim (Soongsil Univ., Seoul, Korea) |
Lunch | |
Session 3 15:45 - 16:45 |
Product Lines
Managing Variability Using Heterogeneous Feature Variation Patterns
Imed Hammouda, Juha Hautamäki, Mika Pussinen and Kai Koskimies (Tampere Univ. of Technology, Finland)
Color-blind Specifications for Transformations of Reactive Synchronous
Programs
Kim G.Larsen and Ulrik Larsen (Aalborg Univ., Denmark), Andrzej Wąsowski (IT Univ. of Copenhagen, Denmark) |
Coffee | |
Session 4 17:15 - 18:45 |
Theory
On the Correspondence between Conformance Testing and Regular Inference
Therese Berg, Olga Grinchtein and Bengt Jonsson (Uppsala Univ., Sweden), Martin Leucker (TU Munich, Germany), Harald Raffelt and Bernhard Steffen, (Univ. of Dortmund, Germany)
Observational Purity and Encapsulation
David A. Naumann (Stevens Institute of Technology, Hoboken, USA)
Towards a Theory on the Role of Ontologies in Software
Engineering Problem Solving
José M. Cañete and Francisco J. Galán (Univ. of Seville, Spain) |
Session 1 9:00 - 10:00 |
Invited talk
Checking Memory Safety with Blast
Tom Henzinger, EPFL, Lausanne, Switzerland |
Coffee | |
Session 2 10:30 - 12:30 |
Code Understanding and Validation
A Framework for Counterexample Generation and Exploration
Marsha Chechik and Arie Gurfinkel (Univ. of Toronto, Canada)
Using Annotations to Check Structural Properties of Classes
Michael Eichberg and Thorsten Schäfer and Mira Mezini (TU Darmstadt, Germany)
Improving System Understanding via Interactive, Tailorable Source Code
Analysis
Vladimir Jakobac (Univ. of Southern California, Los Angeles, USA), Alexander Egyed (Teknowledge, Marina Del Rey, USA) and Nenad Medvidovic (Univ. of Southern California, Los Angeles, USA)
Kaveri: Delivering Indus Java Program Slicer to Eclipse
Ganeshan Jayaraman, Venkatesh Prasad Ranganath and John Hatcliff (Kansas State Univ., Manhattan, USA) |
Lunch | |
Session 3 14:30 - 16:30 |
The UML
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
Arjan J. Mooij, Nicolae Goga and Judi M.T. Romijn (TU Eindhoven, The Netherlands)
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
Atanas Rountev, Scott Kagan and Jason Sawin (Ohio State Univ., Columbus, USA)
Tools for Secure Systems Development with UML: Security Analysis with ATPs
Jan Jürjens and Pasha Shabalin (TU Munich, Germany)
Maintaining Life Perspectives during the Refinement of UML Class
Structures
Alexander Egyed (Teknowledge, Marina Del Rey, USA), Wuwei Shen and Kun Wang (Western Michigan Univ., Kalamazoo, USA) |
Coffee | |
Session 4 17:00 - 18:30 |
Automatic Proofs and Provers
Automated Compositional Proofs for Real-time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli and Angelo Morzenti (Milan Polytechnic, Italy)
Iterative Circular Coinduction for CoCASL in Isabelle/HOL
Daniel Hausmann, Till Mossakowski and Lutz Schröder (Univ. of Bremen, Germany)
Formalisation and Verification of Java Card Security
Properties in Dynamic Logic
Wojciech Mostowski (Chalmers Univ. of Technology, Gothenburg, Sweden) |
Evening 19:30 |
Dinner
Dinner at Jury's Inn, 43 Jeffrey Street.
The hotel is perfectly located in the heart of the old city, right beside the Royal Mile.
|