Presentations

1. WP7: Incremental design and verification - P Y Schobbens

1. WP7: Incremental design and verification - P Y Schobbens

1. Introduction - Theo D’Hondt
2. Abstractions for Analyzing Decision-Based Process Models. - C. Damas, B. Lambeau, Roucoux F. & A. van Lamsweerde.
3. Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks using Models. - F. Loiret & C. Noguera
4. Trace Visualization for Program Comprehension: a Controlled Experiment. - B. Cornelissen, A. Zaidman, Arie van Deursen & Bart Van Rompaey
5. Model Checking Lots of Systems - Andreas Classen (Most Valuable Young Researcher Keynote)
6. A Graph-based Operational Semantics for a Machine Model with Actor-based Concurrency. - T. Molderez, H. Schippers & D. Janssens.
7. A Framework for Agile Development of Component-Based Applications. - G. Waignier, E. Duguepéroux, A.-F. Le Meur & L. Duchien
8. Formal Modelling of Feature Configuration Workflows. - Arnaud Hubaux (FUNDP)

1. Ambient Oriented Event Processing in AmbientTalk without Inversion of Control - Andoni Lombide Carreton (VUB),
2. Model Transformation Chains and Traceability - Bert Vanhooff (KUL),
3. Mining version control systems to study the co-evolution of production and test code - Andy Zaidman (TU Delft),
4. A Model-driven tool-set for Developing and Validating Annotation Frameworks - [Carlos Noguera (INRIA)]],
5. Experimenting with Feature Diagrams - Arnaud Hubaux (FUNDP),
6. Programming in Ambience: Gearing up for dynamic adaptation to context - Sebastian Gonzalez (UCL),
7. Visibly Pushdown Transducers - Frédéric Servais (ULB),
8. Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization - Jean-François Degbomont (ULg)

1. Languages, Composition and Verification: an Overview of Research @ DistriNet and SOM - Prof. Dr. Wouter Joosen (KUL), Prof. Dr. Frank Piessens (KUL), Adriaan Moors (KUL), Dr. Eddy Truyen (KUL), Dr. Stefan Van Baelen (KUL)
2. Model-Driven Software Evolution: The Delft Research Agenda - Prof. Dr. Arie van Deursen (TUD)
3. XML Databases, Data Mining, Process and Data Model ing - Prof. Dr. Jan Hidders (UA)
4. Reverse and Reengineering - The Full Circle - Prof. Dr. Serge Demeyer (UA)
5. Reengineering Unit Test Code - Bart Van Rompaey (UA)
6. Graph Transformation for Refactoring and MDE - Prof. Dr. Dirk Janssens (UA)
7. A Machine Model for AOP - Hans Schippers (UA)

1. PReCISE Research descriptions booklet
2. Automated Tools and Techniques for Software Evolution (and Verification) - Prof. Dr. Kim Mens (UCL)
3. Dynamic Software Evolution of Mobile Applications through Subjective Language Abstractions - Sebastián González (UCL)
4. Supporting Automated Language Evolution using Annotated Grammars - Diego Ordonez (UCL)
5. Verification of Embedded Control Software - Prof. Dr. Charles Pecheur (UCL)
6. Symbolic Model Checking of Labelled Transition Systems - José Vander Meulen (UCL)
7. Synthesis of Behavior Models from Scenarios and Goals - Christophe Damas (UCL) and Bernard Lambeau (UCL)
8. Synthesizing Threat Models for Security Requirements Engineering - David Janssens (UCL)
9. Constraint-Based Models - Prof. Dr. Yves Deville (UCL)
10. An Overview of PReCISE - Prof. Dr. Jean-Luc Hainaut (FUNDP)
11. Model-based Engineering of Evolving Data-intensive Systems - Prof. Dr. Jean-Luc Hainaut (FUNDP) and Anthony Cleve (FUNDP)
12. Model-based Engineering of Software Product Lines - Prof. Dr. Patrick Heymans (FUNDP) and Prof. Dr. Pierre-Yves Schobbens (FUNDP)
13. A Flexible MetaCase Environment to support Domain-Specific Visual Languages and their Evolution - Prof. Dr. Vincent Englebert (FUNDP)
14. Measurement and Quality Model to support Software Evolution - Prof. Dr. Naji Habra (FUNDP)
15. Business-IT Alignement - Dr. Michaël Petit (FUNDP)

1. Overview presentation of the modelling and verification domain - Prof. Dr. Jean-François Raskin (ULB)
2. Verifying Infinite-State Systems with Automata - Dr. Axel Legay (ULg)
3. Automata-based Representations of Arithmetic Sets - Prof. Bernard Boigelot (ULg)
4. dSL, a Language and Environment for the Design and validation of Distributed Industrial Controllers - Prof. Dr. Thierry Massart (ULB)
5. Hybrid automata - Dr. Martin De Wulf (ULB)
6. Game Theory for Controllers Synthesis - Prof. Dr. Jean-François Raskin
7. Public PhD defense - Coverability and expressiveness properties of well-structured transition systems - Gilles Geeraerts

Location: Vrije Universiteit Brussel

1. Research descriptions booklet
2. Introduction to MoVES - Dr. Dirk Deridder
3. Introduction to IAP - Veronique Feys (Belgian Science Policy Office)
4. Overview presentation SSEL-PROG - Prof. Dr. Wolfgang De Meuter
5. Behavioral Program Queries using Logic Source Code Templates - Coen De Roover
6. A Declarative Aspect Language based on Temporal Logic for Event-driven Programming - Charlotte Herzeel
7. Context-Oriented Domain Analysis - Brecht Desmet
8. Aspect-Oriented Workflow Patterns for Web Service Composition - Mathieu Braem
9. Inconsistency Management in Model-Driven Engineering - Dr. Ragnhild Van Der Straeten
10. Concept-Centric Coding for Software Evolution in an Agile Context - Dr. Dirk Deridder