FASE
invited
Wlad Turski (University of Warsaw, Poland)
An Essay on Software Engineering at the Turn of Century
A
C
A
S
| Session chair: Ed Brinksma (University of Twente) | |
| 10:30 | On the construction of live timed systems Sébastien Bornot, Gregor Gößler, Joseph Sifakis (VERIMAG, Grenoble) |
| 11:00 | On memory-block traversal problems in model-checking timed systems Fredrik Larsson, Paul Pettersson, Wang Yi (Uppsala University) |
| 11:30 | Symbolic model checking for rectangular hybrid systems Thomas A. Henzinger, Rupak Majumdar (UC Berkeley) |
| 12:00 | Efficient data structure for fully symbolic verification of real time software systems Farn Wang (Academia Sinica) |
O
S
S
A
C
S
| Session chair: Jerzy Tiuryn (Warsaw University) | |
| 10:30 | Constructive data refinement in typed lambda calculus Furio Honsell (University of Udine, University of Edinburgh), John Longley, Donald Sannella (University of Edinburgh), Andrzej Tarlecki (Warsaw University and Polish Academy of Sciences) |
| 11:00 | Type inference for first-order logic Aleksy Schubert (Warsaw University) |
| 11:30 | A higher-order simulation relation for System F Jo Hannay (University of Edinburgh) |
| 12:00 | Categorical models for intuitionistic and linear type theory Maria Emilia Maietti, Valeria de Paiva, Eike Ritter (University of Birmingham) |
A
S
E
| Session chair: Narcios Martí-Oliet (Universidad Complutense, Madrid) | |
| 10:30 | Formal specification of object-oriented meta-modelling Gunnar Övergaard (Royal Institute of Technology in Stockholm) |
| 11:00 | Verification of object oriented programs using class invariants Kees Huizing, Ruurd Kuiper (TU Eindhoven) |
| 11:30 | Verification of Object-Z specifications by using transition systems: application to the radiomobile network design problem Pablo Gruer, Vincent Hilaire, Abder Koukam (UTBM) |
| 12:00 | A model for describing object-oriented systems from multiple perspectives Torsten Nelson, Donald Cowan, Paulo Alencar (University of Waterloo) |
Standard Components off the Shelf -
Do they carry and need a (Formal) Standard Semantics?
Chair: Herbert Weber (TU Berlin)
Participants: Christine Choppy, Werner Damm, Hartmut Ehrig, José Luiz Fiadeiro, Bernd Mahr, Richard M. Soley
S
O
P
| Session chair: Peter Thiemann (Freiburg University) | |
| 16:00 | Improving the representation of infinite trees to deal with sets of
trees Laurent Mauborgne (École Normale Supérieure, Paris) |
| 16:30 | Implementing groundness analysis with definite boolean functions Jacob M. Howe, Andy King (University of Kent) |
| 17:00 | Directional type checking for logic programs: beyond discriminative
types Witold Charatonik (MPI Saarbrücken) |
| 17:30 | Abstract domains for universal and existential properties Andrew Heaton, Pat Hill (University of Leeds), Andy King (University of Kent) |
O
S
S
A
C
S
| Session chair: Don Sannella (University of Edinburgh) | |
| 16:00 | On synchronous and asynchronous mobile processes Paola Quaglia (BRICS, University of Aarhus), David Walker (Oxford University) |
| 16:30 | Locality and polyadicity in asynchronous name-passing calculi Massimo Merro (INRIA Sophia-Antipolis) |
| 17:00 | Verifying performance equivalence for timed basic parallel processes Béatrice Bérard, Anne Labroue, Philippe Schnoebelen (Ecole Normale Supérieure, Cachan) |
| 17:30 | Probabilistic asynchronous pi-calculus Oltea Mihaela Herescu, Catuscia Palamidessi (Pennsylvania State University) |
A
S
E
| Session chair: Hans-Dieter Ehrich (TU Braunschweig) | |
| 16:00 | Stepwise introduction and preservation of safety properties in algebraic high-level net systems Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky (TU Berlin) |
| 16:30 | Formal System Development with KIV Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums (Universität Ulm) |
| 17:00 | More about TAS and IsaWin - Tools for Formal Program Development Christoph Lüth (Universität Bremen), Burkhart Wolff (Universität Freiburg) |
| 17:30 | Using Maude Manuel Clavel (Univ. Navarre, Spain), Francisco J. Duran, Steven Eker, Patrick Lincoln (SRI International), Narciso Martí Oliet (Universidad Complutense, Madrid), Jose Meseguer (SRI International), Jose F. Quesada (CICA, Sevilla) |
