Accepted Papers for FASE 2005

PAPER 5
A Framework for Counterexample Generation and Exploration
Marsha Chechik, Arie Gurfinkel
Department of Computer Science, University of Toronto, Canada

PAPER 17
Termination Criteria for Model Transformation
Hartmut Ehrig (1), Karsten Ehrig (1), Juan de Lara (2), Gabriele Taentzer (1),
Dániel  Varró (3), and Szilvia Varró-Gyapay (3)
(1) Technische Universität Berlin, Germany
(2) Universidad Autonoma of Madrid, Spain
(3) Budapest University of Technology and Economics, Hungary

PAPER 20
Automated compositional proofs for real-time systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

PAPER 28
Iterative Circular Coinduction for CoCASL in Isabelle/HOL
Daniel Hausmann, Till Mossakowski, Lutz Schröder
BISS, Dept. of Computer Science, University of Bremen, Germany

PAPER 30
Non-local choice and beyond: Intricacies of MSC choice nodes
Arjan J. Mooij, Nicolae Goga, and Judi M.T. Romijn
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands

PAPER 32
Using Annotations to Check Structural Properties of Classes
Michael Eichberg and Thorsten Schäfer and Mira Mezini
Software Technology Group - Department of Computer Science, Darmstadt University of Technology, Germany

PAPER 38
Analyzing Web Service based Business Processes
Axel Martens
Department of Computer Science, Humboldt-Universität zu Berlin, Germany

PAPER 39
Improving System Understanding via Interactive, Tailorable Source Code Analysis
Vladimir Jakobac (1), Alexander Egyed (2), Nenad Medvidovic (1)
(1) Computer Science Department, University of Southern California, USA 
(2) Teknowledge Corporation, USA 

PAPER 42
Improving the build architecture of legacy C/C++ software systems
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos
University of Toronto, Canada

PAPER 49
Managing Variability Using Heterogeneous Feature Variation Patterns
Imed Hammouda, Juha Hautamäki, Mika Pussinen and Kai Koskimies
Institute of Software Systems, Tampere University of Technology, Finland

PAPER 50
Color-blind Specifications for Transformations of Reactive Synchronous Programs
Andrzej Wąsowski (1), Ulrik Larsen, Kim G. Larsen (2)
(1) IT University of Copenhagen
(2) Aalborg University

PAPER 63
On the Correspondence between Conformance Testing and Regular Inference
Bernhard Steffen (1), Harald Raffelt (1), Martin Leucker (2), Therese Berg (3), Olga Grinchtein (3), Bengt Jonsson (3)
(1) Dept. of Comupter Science, University of Dortmund, Germany
(2) Institute for Informatics, TU Munich, Germany
(3) Dept. of Information Technology, Uppsala University, Sweden

PAPER 64
Formalisation and Verification of Java Card Security Properties in Dynamic Logic
Wojciech Mostowski
Department of Computing Science, Chalmers University of Technology, Göteborg, Sweden

PAPER 71
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
Genaína Nunes Rodrigues (1), David Rosenblum (1), Sebastian Uchitel (2)
(1) London Software Systems, Dept. of Computer Science, University College London, UK
(2) London Software Systems, Dept. of Computing, Imperial College London, UK

PAPER 89
Augmenting UML Models for Composition Conflict Analysis
Andreas Leicher, Jörn Guy Süß
Technische Universität Berlin, Germany

PAPER 94
Observational Purity and Encapsulation
David A. Naumann
Department of Computer Science, Stevens Institute of Technology, USA

PAPER 98
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
Atanas Rountev, Scott Kagan, Jason Sawin
Ohio State University, USA

PAPER 103
Ontologies as Reasoning Resources to Favour the Applicability of Analytical and Design Methods
Josóe M. Cañete and Francisco J. Galóan
Faculty of Computer Science, University of Sevilla, Spain

PAPER 109
Kaveri: Delivering Indus Java Program Slicer to Eclipse
Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff
Dept. of Computing and Information Sciences, Kansas State University, USA

PAPER 117
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Gabriele Taentzer, Arend Rensink 

PAPER 118
Automatic Conformance Testing of Web Services
Reiko Heckel (1), Leonardo Mariani (2)
(1) University of Leicester, UK
(2) Università degli Studi di Milano-Bicocca, Italy

PAPER 120
Tools for Critical Systems Development with UML
Jan Jürjens, Pasha Shabalin
Software and Systems Engineering, De. of Informatics, TU Munich, Germany

PAPER 126
A Tool to Automate Component Clustering and Identification
Soo Ho Chang, Man Jib Han, Soo Dong Kim
Department of Computer Science, Soongsil University, Seoul, Korea

PAPER 127
Maintaining Life Perspectives during the Refinement of UML Class Structures
Alexander Egyed (1), Wuwei Shen (2), Kun Wang (2)
(1) Teknowledge Corporation, Marina Del Rey, USA
(2) Department of Computer Science, Western Michigan University, Kalamazoo, USA

PAPER 132
Modelling Parametric Component Contracts and the State Space of Composite Components by Graph Grammars
Ralf H. Reussner (1), Jens Happe(1), Annegret Habel (2)
(1) Software Engineering Group, University of Oldenburg, Germany
(2) Formal Languages Group, University of Oldenburg, Germany