Accepted Tool Demonstrations
-
CPN/Tools:
A Tool for Editing and Simulating Coloured Petri Nets
-
M. Beaudouin-Lafon, W. Mackay, M. Jensen, P. Andersen, P. Janecek,
M. Lassen, K. Lund, K. Mortensen, S. Munck, A. Ratzer, K. Ravn,
S. Christensen, K. Jensen
(Aarhus University)
Date
Thursday 5/4 15.00
ABSTRACT
-
Demonstration of an Automated Integrated Testing Environment for CTI
Systems
-
Oliver Niese, Markus Nagelmann, Andreas Hagerer (METAFrame
Technologies, Dortmund),
Klaus Kolodziejczyk-Strunk (HeraKom, Essen),
Werner Goerigk, Andrei Erochok, Bernhard Hammelmann (Siemens, Witten)
Date
Friday 6/4 12.00
ABSTRACT
-
Marrella and the Verification of an Embedded System
-
Dominique Ambroise,
Patrick Auge (Université de Paris Sud),
Kamel Bouchefra (Université Paris 13),
Brigitte Rozoy (Université de Paris Sud)
Date
Monday 2/4 18.30
ABSTRACT
-
The ASF+SDF Meta-Environment: a Component-Based Language Development
Environment
-
M.G.J. van den Brand, J. Heering, H.A. de Jong, M. de Jonge,
T. Kuipers, P. Klint, L. Moonen, P.A. Olivier (CWI Amsterdam),
J. Scheerder (Utrecht University),
J.J. Vinju (CWI Amsterdam),
E. Visser (Utrecht University), J. Visser (CWI Amsterdam)
Date
Tuesday 3/4 18.30
ABSTRACT
-
The ASM Workbench:
A Tool Environment for Computer-Aided Analysis and
Validation of Abstract State Machine Models
-
G. Del Castillo (Universität Paderborn)
Date
Thursday 5/4 15.30
ABSTRACT
-
The EVT Erlang Verification Tool
-
T. Noll (Royal Institute of Technology, Stockholm),
L. Fredlund, D. Gurov (Swedish Institute of Computer Science, Kista)
Date
Thursday 5/4 16.00
-
SmartTools: a Generator of Interactive Environments Tools
-
I. Attali, C. Courbis, P. Degenne, A. Fau, D. Parigot
(INRIA Sophia Antipolis)
Date
Tuesday 3/4 17.30
ABSTRACT
-
Finding Duplicated Code Using Program Dependences
-
Raghavan Komondoor, Susan Horwitz
(University of Wisconsin)
Date
Friday 6/4 16.30
ABSTRACT
-
Visual Patterns in the VLEli System
-
M. Jung, U. Kastens, C. Schindler, C. Schmidt
(Universität Paderborn)
Date
Tuesday 3/4 18.00
ABSTRACT