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
Thursday, September 8
QEST Super C, Ford-Saal |
CONCUR Super C, Generali-Saal |
| 09:00 – 10:00 | |
| Session Q9: Invited Talk Chair: Catuscia Palamidessi
|
Session C7: Invited Talk Chair: Barbara König
|
| Geoffrey Smith Quantifying Information Flow Using Min-Entropy (slides)
|
Wil van der Aalst Discovering Concurrency: Learning Business Process Models From Examples (slides)
|
| 10:00 – 10:30 Coffee Break | |
| 10:30 – 12:00 | |
| Session Q10: Modeling and Security Chair: Katinka Wolter
|
Session C8: Pi-Calculus Chair: Irek Ulidowski
|
| Michael Smith, Flemming Nielson and Hanne Riis Nielson Controlling Modelling Artifacts |
Hans Hüttel Typed Psi-Calculi |
| Axel Schroepfer and Florian Kerschbaum Forecasting Run-Times of Secure Two-Party Computation |
Romain Demangeon and Kohei Honda Full Abstraction in a Subtyped Pi-Calculus with Linear Types |
| Elizabeth Lemay, Michael D. Ford, Ken Keefe, Carol Muehrcke and William H. Sanders Model-based Security Metrics using ADversary VIew Security Evaluation (ADVISE) |
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt and Jean-Bernard Stefani Controlling Reversibility in Higher-Order Pi |
| 12:00 – 14:00 Lunch Break | |
| 14:00 – 16:00 | |
| Session Q11: Model Comparison and Analysis Chair: Christel Baier
|
Session C9: Petri Nets Chair: Maciej Koutny
|
| Henri Hansen, Hongyang Qu and Marta Kwiatkowska Partial Order Reduction for Model Checking MDPs under Unconditional Fairness |
Roberto Bruni, Hernan Melgratti and Ugo Montanari A Connector Algebra for P/T Petri Nets Interactions |
| Peter Buchholz and Miklos Telek Composition and Equivalence of Markovian and Non-Markovian Models |
Jerome Leroux The Vector Addition System Reversible Reachability Problem |
| Michael Smith Compositional Abstractions for Long-Run Properties of Stochastic Systems |
Cesar Rodriguez, Stefan Schwoon and Paolo Baldan Efficient Contextual Unfolding |
| Douglas Eskins and William Sanders The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems |
M. Praveen and Kamal Lodaya Parameterized Complexity Results for 1-safe Petri Nets |
| 16:00 – 16:30 Coffee Break | |
| 16:30 – 18:00 | |
| Session Q12: Distributed Systems Chair: Holger Hermanns
|
Session C10: Process Algebra and Modeling Chair: Björn Victor
|
| Rena Bakhshi, Daniela Gavidia, Wan Fokkink and Maarten van Steen A Modeling Framework for Gossip-based Information Spread |
Chaodong He The Decidability of the Reachability Problem for CCS^! |
| Raluca Halalai, Thomas A. Henzinger and Vasu Singh Quantitative Evaluation of BFT Protocols |
Joel Ouaknine, Hristina Palikareva, Bill Roscoe and James Worrell Static Livelock Analysis in CSP |
| Benny Van Houdt Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems |
Thomas Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, Moshe Vardi and Jasmin Fisher Dynamic Reactive Modules |
| 18:00 | |
| QEST 2011 Closing |
|
