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
Wednesday, September 7
QEST Super C, Ford-Saal |
CONCUR Super C, Generali-Saal |
| 09:00 – 10:00 | |
| Session Q6a: Model Checking Chair: Andrew Miner
|
Session C5: Invited Talk Chair: Jos Baeten
|
| Martin Schwarick, Christian Rohr and Monika Heiner MARCIE - Model checking And Reachability analysis done effiCIEntly |
Rachid Guerraoui Generalized Universality |
| Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli and Giuliana Franceschinis Probe Automata for Passage Time Specification |
|
| 10:00 – 10:30 Coffee Break | |
| 10:30 – 12:00 | |
| Session Q6b: Model Checking Chair: Axel Legay
|
Session C6: Separation Logic Chair: Gerald Lüttgen
|
| Yingke Chen, Hua Mao, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen and Brian Nielsen Learning Probabilistic Automata for Model Checking |
Jonathan Hayman Granularity and Concurrent Separation Logic |
| Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha and Youngmin Kwon Model Checking MDPs with a Unique Compact Invariant Set of Distributions |
Byron Cook, Christoph Haase, Joel Ouaknine, Matthew Parkinson and James Worrell Tractable Reasoning in a Fragment of Separation Logic |
| Andras Horvath, Marco Paolieri, Lorenzo Ridi and Enrico Vicario Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers |
Tony Hoare, Akbar Hussain, Bernhard Möller, Peter O'Hearn, Rasmus Lerchedahl Petersen and Georg Struth On Locality and the Exchange Law for Concurrent Processes |
| 12:00 – 13:30 Lunch Break | |
| 13:30 – 15:00 | |
| Session Q7: Tools (12 min talks!) Chair: Anne Remke
|
Session Q8: Fast Abstracts (12 min talks!) Chair: Benny Van Houdt
|
| Paolo Ballarini, Hilal Djafri, Serge Haddad, Marie Duflot and Nihal Pekergin COSMOS: a Statistical Model Checker for the Hybrid Automata Stochastic Logic |
Istvan Kolossvary and Miklos Telek Explicit Evaluation of ME(3) Membership |
| Chunyan Mu and David Clark A Tool: Quantitative Analysis of Programs |
Philipp Reinecke, Alexandra Danilkina and Katinka Wolter Parallel Restart in Competitive Scenarios |
| Anton Stefanek, Richard Hayden and Jeremy Bradley GPA – A Tool for Fluid Scalability Analysis of Massively Parallel Systems |
Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Emmanuele Zambon and Boudewijn R. Haverkort Is Quantitative Analysis of Stuxnet Possible? |
| Mark Timmer SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes |
Luca Bortolussi and Vashti Galpin Bisimulation for Stochastic Hybrid Models |
| Axel Legay, Mikkel L. Pedersen, Benoit Delahaye, Andrzej Wasowski and Kim G. Larsen APAC: A Tool for Reasoning about Abstract Probabilistic Automata |
Dieter Fiems and Koen De Turck Mean Queue Content of Discrete-time Queues with Zero-regenerative Arrivals |
| Laura Carnevali, Lorenzo Ridi and Enrico Vicario Sirio: A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models |
Hind Castel-Taleb and Idriss Ismael Aouled Stochastic Comparison of Markov Processes Through Coupling by Mapping Functions |
| Polyvios Tsirimpas and William Knottenbelt SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies |
|
| 15:00 Social Event | |
