QAPL 2011 - Programme

Ninth Workshop on Quantitative Aspects of Programming Languages

Friday, April 1

14:15 - 14:30
    Opening

14:30 - 15.30
    Invited speaker: Prakash Panangaden (McGill University, Canada)
    Equivalences for Partially Observable Markov Decision Processes

Session: Verification

15:30 - 16:00
    Aleksandr Andreychenko, Pepijn Crouzen, Linar Mikeev and Verena Wolf
    On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

16:00 - 16:30
    Coffee

Session: Verification (continued)

16:30 - 17:00
    Florian Leitner-Fischer and Stefan Leue
    QuantUM: Quantitative Safety Analysis of UML Models

17:00 - 17:30
    Kiraga Alain Freddy and Mullins John
    Admissible adversaries in PRISM for probabilistic security analysis (abstract)

Saturday, April 2

9:30 - 10:30
    Invited speaker: Erik de Vink (Technische Universiteit Eindhoven, the Netherlands)
    Decorating and Model Checking Stochastic Reo Connectors

10:30 - 11:00
    Coffee

Session: Time

11:00 - 11:30
    Michal Rutkowski
    Two-Player Reachability-Price Games on Single-Clock Timed Automata

11:30 - 12:00
    Bogdan Aman and Gabriel Ciobanu
    Time Delays in Membrane Systems and Petri Nets

12:00 - 12:30
    Marco Bernardo
    Abstracting from Exponentially Timed Internal Actions (abstract)

12:30 - 14:00
    Lunch

Session: Process Algebras And Types

14:00 - 14:30
    Yuxin Deng, Rob van Glabbeek, Matthew Hennessy and Carroll Morgan
    Real Reward Testing for Probabilistic Processes (Extended Abstract)

14:30 - 15:00
    Lei Song, Flemming Nielson and Bo Friis Nielsen
    A Stochastic Broadcast Pi-Calculus

15:00 - 15:30
    Daniel Seidel and Janis Voigtlander
    Improvements for Free

15:30 - 16:00
    Pablo Arrighi, Alejandro Diaz-Caro and Benoit Valiron
    Subject reduction in a Curry-style polymorphic type system with a vectorial structure (abstract)

16:00 - 16:30
    Coffee

Sunday, April 3

Session: Hybrid Systems

09:30 - 10:00
    Josee Desharnais and Joseph Assouramou
    Analysis of Non-Linear Probabilistic Hybrid Systems

10:00 - 10:30
    Luca Bortolussi, Vashti Galpin and Jane Hillston
    HYPE with stochastic events

10:30 - 11:00
    Coffee

Session: Distances

11:00 - 11:30
    Uli Fahrenberg, Claus Thrane and Kim G. Larsen
    Distances for Weighted Transition Systems: Games and Properties

11:30 - 12:00
    Josee Desharnais, Mathieu Tracol and Abir Zhioua
    Computing Distances between Probabilistic Automata

12:00 - 12:15
    Closing