PROGRAMME OF MONDAY

Programme of Monday, April 8

9.00
9.30 Welcome

9.30
10.30 FASE Invited Talk
Hellmuth Broda (Sun Microsystems (Schweiz) AG)
Jini Software Architecture - The End of Protocols as we know them
Session chair: Herbert Weber

10.30
11.15 Coffee

11.15
12.45 TACAS
Real-time and probabilistic systems

Session chair: Joost-Pieter Katoen

Improving the Verification of Timed Systems using Influence Information
Victor Braberman, Diego Garbervetsky, Alfredo Olivero (Universidad de Buenos Aires & Universidad Argentina de la Empresa)
Digitisation and Full Abstraction for Dense-Time Model Checking
Joel Ouaknine (Tulane University, USA)
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
Marta Kwiatkowska, Gethin Norman, David Parker (U. Birmingham, UK)
FASE
Components & Architectures I: Formal Frameworks

Session chair: Michael Perin (Grenoble, France)

An Approach to Composition Motivated by wp
Michel Charpentier (University of New Hampshire, USA)
Compositional Verification of Secure Applet Interactions
Gilles Barthe, Dilian Gurov, Marieke Huisman (INRIA Sophia-Antipolis, France and Swedish Institute of Computer Science, Kista, Sweden)
A Generic Component Framework for System Modeling
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen (Technical University of Berlin, Germany and Universidad Politecnica de Catalunya, Spain)
ESOP
Typing and modularity

Session chair: Thomas Jensen

Mixin modules in a call-by-value setting
Tom Hirschowitz, Xavier Leroy (Inria Rocquencourt, F)
Existential Types for Imperative Languages
Dan Grossman (Cornell University, USA)
Read Only Types and Functional In-place Update
David Aspinall, Martin Hofmann (LFCS, Edinburgh, UK and University of Munich, D)
ACL

12.45
14.15 Lunch

14.15
16.15 TACAS
Scheduling

Session chair: Kim G. Larsen

Timed Automata with Asynchronous Processes: Schedulability and Decidability
Elena Fersman, Paul Pettersson, Wang Yi (Uppsala Univ., Sweden)
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems
Hojung Cha, Rhan Ha (Hongik Univ. & Yonsei Univ., S Korea)
An Analysis of Zero-Clairvoyant Scheduling
K. Subramani (West Virginia Univ., USA)
Preemptive Job-Shop Scheduling using Stopwatch Automata
Yasmina Abdeddaim, Oded Maler (VERIMAG, Grenoble, F)
FASE
Model and Program Analysis

Session chair: Gabriele Taentzer (Paderborn, Germany)

Implementing Condition/Event Nets in the Circal Process Algebra
Antonio Cerone (University of Queensland, Australia)
Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs
Fei Xie, James C. Browne (University of Texas at Austin, USA)
Model Generation by Moderated Regular Extrapolation
Oliver Niese, Andreas Hagerer, Hardi Hungar, Bernhard Steffen (METAFrame-Technologies GmbH, Dortmund, Germany and University of Dortmund, Germany)
Better Slicing of Programs with Jumps and Switches
Sumit Kumar, Susan Horwitz (University of Wisconsin, USA and Gramma Tech., Inc.)
ESOP
Programming paradigms

Session chair: David Schmidt

Soft Concurrent Constraint Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi (CNR Pisa, Università di Pisa, Università di Padova, I)
Programming Languages for Compressing Graphics
Morgan McGuire, Shriram Krishnamurthi, John F. Hughes (Brown university, USA)
An Accumulative Parallel Skeleton for All
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi (University of Tokyo, University of Electro-Communications, Japan)
Higher-Order Intensional Type Analysis
Stephanie Weirich (Cornell University, USA)
ACL

16.15
16.45 Coffee

16.45
18.15 TACAS
Miscellaneous

Session chair: Hubert Garavel

Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
Horst F. Wedde, Arnim Wedig (Univ. Dortmund, D)
A Functional Semantics of Attribute Grammars
Kevin Backhouse (Oxford Univ., UK)
TIMES - A Tool for Modelling and Implementation of Embedded Systems
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Petterson, Wang Yi (Uppsala Univ., Sweden)
FASE
Components & Architectures II: Architecture Descriptions

Session chair: Herbert Weber (Berlin, Germany)

Architectural Types Revisited: Extensible And/Or Connections
Marco Bernardo, Francesco Franzè (Libera Universita di Urbino, Italy)
Mapping an ADL to a Component-based Application Development Environment
Virginia C. C. de Paula, Thais V. Batista (Federal University of Rio Grande do Norte, Brasil)
From EDOC components to CCM components: a precise mapping specification
Mariano Belaunde, Mikael Peltier (France Telecom, R & D, France)
ESOP
Lambda calculus

Session chair: Didier Remy

Branching Types
Joe Wells, Christian Haack (Heriot-Watt University, UK)
Exceptions, continuations and macro-expressiveness
James Laird (University of Sussex, UK)
A Theory of Second-Order Trees
Neal Glew (Star Lab, InterTrust Technologies Corporation, USA)
ACL

19.30 Reception

9.00 9.30	Welcome
9.30 10.30	FASE Invited Talk Hellmuth Broda (Sun Microsystems (Schweiz) AG) Jini Software Architecture - The End of Protocols as we know them Session chair: Herbert Weber
10.30 11.15	Coffee
11.15 12.45	TACAS Real-time and probabilistic systems Session chair: Joost-Pieter Katoen Improving the Verification of Timed Systems using Influence Information Victor Braberman, Diego Garbervetsky, Alfredo Olivero (Universidad de Buenos Aires & Universidad Argentina de la Empresa) Digitisation and Full Abstraction for Dense-Time Model Checking Joel Ouaknine (Tulane University, USA) Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach Marta Kwiatkowska, Gethin Norman, David Parker (U. Birmingham, UK)	FASE Components & Architectures I: Formal Frameworks Session chair: Michael Perin (Grenoble, France) An Approach to Composition Motivated by wp Michel Charpentier (University of New Hampshire, USA) Compositional Verification of Secure Applet Interactions Gilles Barthe, Dilian Gurov, Marieke Huisman (INRIA Sophia-Antipolis, France and Swedish Institute of Computer Science, Kista, Sweden) A Generic Component Framework for System Modeling Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen (Technical University of Berlin, Germany and Universidad Politecnica de Catalunya, Spain)	ESOP Typing and modularity Session chair: Thomas Jensen Mixin modules in a call-by-value setting Tom Hirschowitz, Xavier Leroy (Inria Rocquencourt, F) Existential Types for Imperative Languages Dan Grossman (Cornell University, USA) Read Only Types and Functional In-place Update David Aspinall, Martin Hofmann (LFCS, Edinburgh, UK and University of Munich, D)	ACL
12.45 14.15	Lunch
14.15 16.15	TACAS Scheduling Session chair: Kim G. Larsen Timed Automata with Asynchronous Processes: Schedulability and Decidability Elena Fersman, Paul Pettersson, Wang Yi (Uppsala Univ., Sweden) Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems Hojung Cha, Rhan Ha (Hongik Univ. & Yonsei Univ., S Korea) An Analysis of Zero-Clairvoyant Scheduling K. Subramani (West Virginia Univ., USA) Preemptive Job-Shop Scheduling using Stopwatch Automata Yasmina Abdeddaim, Oded Maler (VERIMAG, Grenoble, F)	FASE Model and Program Analysis Session chair: Gabriele Taentzer (Paderborn, Germany) Implementing Condition/Event Nets in the Circal Process Algebra Antonio Cerone (University of Queensland, Australia) Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs Fei Xie, James C. Browne (University of Texas at Austin, USA) Model Generation by Moderated Regular Extrapolation Oliver Niese, Andreas Hagerer, Hardi Hungar, Bernhard Steffen (METAFrame-Technologies GmbH, Dortmund, Germany and University of Dortmund, Germany) Better Slicing of Programs with Jumps and Switches Sumit Kumar, Susan Horwitz (University of Wisconsin, USA and Gramma Tech., Inc.)	ESOP Programming paradigms Session chair: David Schmidt Soft Concurrent Constraint Programming Stefano Bistarelli, Ugo Montanari, Francesca Rossi (CNR Pisa, Università di Pisa, Università di Padova, I) Programming Languages for Compressing Graphics Morgan McGuire, Shriram Krishnamurthi, John F. Hughes (Brown university, USA) An Accumulative Parallel Skeleton for All Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi (University of Tokyo, University of Electro-Communications, Japan) Higher-Order Intensional Type Analysis Stephanie Weirich (Cornell University, USA)	ACL
16.15 16.45	Coffee
16.45 18.15	TACAS Miscellaneous Session chair: Hubert Garavel Explicit Modeling of Influences, and of Their Absence, in Distributed Systems Horst F. Wedde, Arnim Wedig (Univ. Dortmund, D) A Functional Semantics of Attribute Grammars Kevin Backhouse (Oxford Univ., UK) TIMES - A Tool for Modelling and Implementation of Embedded Systems Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Petterson, Wang Yi (Uppsala Univ., Sweden)	FASE Components & Architectures II: Architecture Descriptions Session chair: Herbert Weber (Berlin, Germany) Architectural Types Revisited: Extensible And/Or Connections Marco Bernardo, Francesco Franzè (Libera Universita di Urbino, Italy) Mapping an ADL to a Component-based Application Development Environment Virginia C. C. de Paula, Thais V. Batista (Federal University of Rio Grande do Norte, Brasil) From EDOC components to CCM components: a precise mapping specification Mariano Belaunde, Mikael Peltier (France Telecom, R & D, France)	ESOP Lambda calculus Session chair: Didier Remy Branching Types Joe Wells, Christian Haack (Heriot-Watt University, UK) Exceptions, continuations and macro-expressiveness James Laird (University of Sussex, UK) A Theory of Second-Order Trees Neal Glew (Star Lab, InterTrust Technologies Corporation, USA)	ACL
19.30	Reception