Program
Global Schedule
| Mo Sep 5 |
Tue Sep 6 |
Wed Sep 7 |
Thu Sep 8 |
Fr Sep 9 |
Sa Sep 10 |
| QEST Tutorials | QEST | QEST | QEST | TGC | TGC |
| CONCUR | CONCUR | CONCUR | CONCUR | GASICS | |
| EXPRESS | COMPMOD |
||||
| SOS | LAM | ||||
| MLQA | FOCLASA | ||||
| SECCO | YR-CONCUR | ||||
| Reception | Excursion & Banquet |
Monday, September 5: QEST Tutorials, EXPRESS/SOS, MLQA/SECCO
Tuesday, September 6
QEST Super C, Ford-Saal |
CONCUR Super C, Generali-Saal |
| 08:45 | |
| Opening Main Building, Aula (exceptional) |
|
| 09:00 – 10:00 | |
| Session Q1/C1: Invited Talk CONCUR & QEST Main Building, Aula (exceptional) Chair: Joost-Pieter Katoen
|
|
| Parosh Abdulla Probabilistic Reasoning in the Infinite World: On the Verification of Infinite-State Markov Chains (slides)
|
|
| 10:00 – 10:30 Coffee Break | |
| 10:30 – 12:00 | |
| Session Q2: Mean-Field and Fluid Analysis Chair: Miklos Telek
|
Session C2: Real-Time Systems Chair: Yuxi Fu
|
| Luca Bortolussi Hybrid Limits of Continuous Time Markov Chains |
Paritosh Pandya and Simoni Shah On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing |
| Laura Aspirot, Ernesto Mordecki and Gerardo Rubino Fluid Limits Applied to Peer to Peer Network Analysis |
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur and Claus Thrane Timed Automata Can Always Be Made Implementable |
| Giuliano Casale and Mirco Tribastone Fluid Analysis of Queueing in Two-Stage Random Environments |
Frédéric Herbreteau and B. Srivathsan Coarse Abstractions Make Zeno Behaviours Difficult to Detect |
| 12:00 – 14:00 Lunch Break | |
| 14:00 – 15:00 | |
| Session Q3: Invited Talk Chair: Alma Riska
|
Session C3a: Probabilistic Systems Chair: Joost-Pieter Katoen
|
| Lothar Thiele Temperature-aware Scheduling (slides)
|
Lei Song, Lijun Zhang and Jens Chr. Godskesen Bisimulations Meet PCTL Equivalences for Probabilistic Automata |
| Silvia Crafa and Francesco Ranzato A Spectrum of Behavioral Relations over LTSs on Probability Distributions |
|
| 15:00 – 16:00 | |
| Session Q4: Measurements Chair: Alma Riska
|
Session C3b: Probabilistic Systems Chair: Joost-Pieter Katoen
|
| Parijat Dube, Seetharami Seelam, Yanbin Liu, Megumi Ito, Michel Hack, Liana Fong, Graeme Johnson, Michael Dawson, Li Zhang and Yuqing Gao A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions |
Tomas Brazdil, Jan Krcal, Jan Kretinsky and Vojtech Rehak Fixed-delay Events in Generalized Semi-Markov Processes Revisited |
| David Daly, Parijat Dube, Kaoutar El Maghraoui and Zhang Li A Hybrid Approach for Large Cache Performance Studies |
Ruggero Lanotte and Massimo Merro Semantic Analysis of Gossip Protocols for Wireless Sensor Networks |
| 16:00 – 16:30 Coffee Break | |
| 16:30 – 18:00 | |
| Session Q5: Stochastic Hybrid Systems Chair: Pedro D´Argenio
|
Session C4: Automata Chair: Anna Ingólfsdóttir
|
| Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems |
Benedikt Bollig An Automaton over Data Words that Captures EMSO Logic |
| Ernst Moritz Hahn, Gethin Norman, Dave Parker, Björn Wachter and Lijun Zhang Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems |
Richard Mayr, Parosh Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukas Holik, Chih-Duo Hong and Tomas Vojnar Advanced Ramsey-based Büchi Automata Inclusion Testing |
| Jeremy Sproston Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata |
Salvatore La Torre and Margherita Napoli Reachability of Multistack Pushdown Systems with Scope-bounded Matching Relations |
