Friday, April 1

Room E1.3/003

14:15 - 15:30 SESSION 1

14.15: Welcome

14.30: Invited Talk: Prakash Panangaden (McGill University, Canada)

Equivalences for Partially Observable Markov Decision Processes

15:30 - 16:00 SESSION 2: Verification

15.30: On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

Aleksandr Andreychenko, Pepijn Crouzen, Linar Mikeev and Verena Wolf (Saarland University, Germany)

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 2 (continued): Verification

16.30: QuantUM: Quantitative Safety Analysis of UML Models

Florian Leitner-Fischer and Stefan Leue  (University of Konstanz, Germany)

17.00: Admissible adversaries in PRISM for probabilistic security analysis (abstract)

Kiraga Alain Freddy and John Mullins (École Polytechnique de Montréal, Canada)

Saturday, April 2

09:30 - 10:30 SESSION 3

09.30: Invited speaker: Erik de Vink (Technische Universiteit Eindhoven, the Netherlands)

Decorating and Model Checking Stochastic Reo Connectors

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 4: Time

11.00: Two-Player Reachability-Price Games on Single-Clock Timed Automata

Michal Rutkowski (University of Warwick, UK)

11.30: Time Delays in Membrane Systems and Petri Nets

Bogdan Aman and Gabriel Ciobanu (A.I.Cuza University of Iasi, Romania)

12.00: Abstracting from Exponentially Timed Internal Actions (abstract)

Marco Bernardo (Università di Urbino, Italy)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 5: Process Algebras and Types

14:00: Real Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin Deng (Shanghai Jiao Tong University, China), Rob van Glabbeek (National ICT Australia, Australia), Matthew Hennessy (Trinity College Dublin, Ireland) and Carroll Morgan (University of New South Wales, Australia)

14:30: A Stochastic Broadcast Pi-Calculus

Lei Song (IT University of Copenhagen, Denmark), Flemming Nielson (Technical University of Denmark, Denmark) and Bo Friis Nielsen (Technical University of Denmark, Denmark)

15:00: Improvements for Free

Daniel Seidel and Janis Voigtländer  (Rheinische Friedrich-Wilhelms-Universität Bonn, Germany)

15:30: Subject reduction in a Curry-style polymorphic type system with a vectorial structure (abstract)

Pablo Arrighi (École Normale Supérieure de Lyon, France), Alejandro Díaz-Caro (Université de Grenoble, France) and Benoît Valiron (Université Paris 13, France)

16:00 - 16:30 Coffee

Sunday, April 3

09:30 - 10:30 SESSION 6: Hybrid Systems

09.30: Analysis of Non-Linear Probabilistic Hybrid Systems

Joseé Desharnais (Université Laval, Canada) and Joseph Assouramou (Université Laval, Canada)

10.00: HYPE with stochastic events

Luca Bortolussi (University of Trieste, Italy), Vashti Galpin (University of Edinburgh, UK) and Jane Hillston (University of Edinburgh, UK)

10:30 - 11:00 Coffee

11:00 - 12:15 SESSION 7: Distances

11.00: Distances for Weighted Transition Systems: Games and Properties

Uli Fahrenberg (IRISA/INRA Rennes Cedex, France), Claus Thrane (Aalborg University, Denmark) and Kim G. Larsen (Aalborg University, Denmark)

11.30: Computing Distances between Probabilistic Automata

Joseé Desharnais  (Université Laval, Canada), Mathieu Tracol (Université Paris-Sud, France) and Abir Zhioua (Université Laval, Canada)

12.00: Closing

12.15: End of workshop

HOME PAGE: http://www.dcs.gla.ac.uk/qapl11/