qest logo
Conference program
Monday September 8, 2014
  • 9:00am—10:00am, Keynote

    Tamer Başar (University of Illinois at Urbana-Champaign). Multi‐Agent Networked Systems with Adversarial Elements.

  • 10:00am—11:00am, Kronecker and product form methods

    Elvio Gilberto Amparore, Peter Buchholz and Susanna Donatelli. A matrix-free structured solution for Markov Regenerative Processes.

    Daniel Kressner and Francisco Macedo. Low-rank tensor methods for communicating Markov processes.

  • 11:30am—1:00pm, Hybrid systems

    Luca Bortolussi and Guido Sanguinetti. A statistical approach for computing reachability of non-linear and stochastic dynamical systems.

    Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle and Alessandro Abate. Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

    Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate. Finite Abstractions of Stochastic Max-Plus-Linear Systems.

  • 2:30pm—4:00pm, Mean-field/population analysis

    Richard Hayden, Illes Horvath and Miklos Telek. Mean field for performance models with generally distributed-timed transitions.

    Luca Bortolussi and Rytis Paškauskas. Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models.

    Marcel C. Guenther and Jeremy T. Bradley. On performance of Gossip communication in a crowd-sensing scenario.

  • 4:30pm—6:00pm, Models and tools

    Oana Andrei, Muffy Calder, Matthew Higgs and Mark Girolami. Probabilistic Model Checking of DTMC Models of User Activity Patterns.

    Geert Heijenk, Martijn van Eenennaam and Anne Remke. Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks.

    Elvio Gilberto Amparore. A new GreatSPN GUI for GSPN editing and CSLTA model checking (tool paper).

    Moreno Marzolla. The Octave queueing Package (tool paper).

  • 6:30pm—11:00pm, Reception at Villa Bardini
Tuesday September 9, 2014
  • 9:00am—10:00am, Keynote (joint program with FORMATS)

    Sanjoy Baruah (University of North Carolina at Chapel Hill). The Modeling and Analysis of Mixed-Criticality Systems.

  • 10:00am—11:00am, Simulation

    Stéphane Durand, Bruno Gaujal, Florence Perronnin and Jean-Marc Vincent. A perfect sampling algorithm of random walks with forbidden arcs.

    Rasha Osman and Pietro Piazzolla. Modelling Replication in NoSQL Datastores.

  • 11:30am—1:00pm, Queueing, debugging, and tools

    Herwig Bruneel, Wouter Rogiest, Joris Walraevens and Sabine Wittevrongel. On queues with general service demands and constant service capacity.

    Craig Buchanan and Ken Keefe. Simulation Debugging and Visualization in the Mobius Modeling Framework.

    Thomas Heyman, Davy Preuveneers and Wouter Joosen. Scalar: A distributed benchmarking framework for systematic scalability analysis (tool paper).

    Nobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki and Yasunao Katayama. Non-Intrusive Scalable Memory Access Tracer (tool paper).

  • 2:30pm—4:00pm, Process algebras and equivalencies

    Anastasis Georgoulas, Jane Hillston, Dimitrios Milios and Guido Sanguinetti. Probabilistic Programming Process Algebra.

    Cheng Feng and Jane Hillston. PALOMA: A Process Algebra for Located Markovian Agents.

    Marco Bernardo, Davide Sangiorgi and Valeria Vignudelli. On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.

  • 4:30pm—6:00pm, Automata and Markov process theory

    Radu Mardare, Kim Guldstrand Larsen, Manfred Jaeger and Hua Mao. Continuity Properties of Distances for Markov Processes.

    Nathalie Bertrand, Thomas Brihaye and Blaise Genest. Deciding the value 1 problem for reachability in 1-clock decision stochastic timed automata.

    Rohit Chadha, Dileep Kini and Mahesh Viswanathan. Decidable Problems for Unary PFAs.

  • 8:00pm—11:30pm, Social dinner at Castello dell'Acciaiolo
Wednesday September 10, 2014
  • 9:00am—10:00am, Keynote (joint program with SAFECOMP)

    Enrique Madeira (University of Coimbra). Quantitative safety assessment: experiments and field measurements.

  • 10:00am—11:00am, Fault Injection Techniques (SAFECOMP Session)

    Iban Ayestaran, Carlos F. Nicolas, Jon Perez, Asier Larrucea, Peter Puschner. A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.

    Horst Schirmeier, Christoph Borchert, Olaf Spinczyk. Rapid Fault-Space Exploration by Evolutionary Pruning.

  • 11:30am—1:00pm, Applications, theory, and tools

    Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri and Sindhu Suresh. A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids.

    Yusuke Kawamoto, Konstantinos Chatzikokolakis and Catuscia Palamidessi. Compositionality Results for Quantitative Information Flow.

    An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol and Zbigniew Kalbarczyk. CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems (tool paper).

    Tool demonstrations (also during lunch).

  • 2:30pm—3:30pm, Keynote

    Samuel Kounev (Universität Würzburg). Quantitative Evaluation of Service Dependability in Shared Execution Environments.

  • 3:30pm—4:30pm, Probabilistic Model Checking

    Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov and Youssef Hamadi. Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.

    Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen and Bernd Becker. Accelerating Parametric Probabilistic Verification.

  • 5:00pm—6:00pm, Verification & Validation Techniques (SAFECOMP Session)

    Xueyi Zou, Rob Alexander, John McDermid. Safety Validation of Sense and Avoid Algorithms using Simulation and Evolutionary Search.

    Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber. Debugging with Timed Automata Mutations.

Jun 2014
Online registration is open!

Jun 2014
Program announced

Jun 2014
Keynotes announced

May 2014
List of accepted papers

Apr 2014
New conference location, inside the historic city center!

Mar 2014
Submission deadline extended to March 21st

Nov 2014
Call for papers

Nov 2014
Website online

Organized by
University of Florence