Program

The program of FORMATS overlaps with QEST, which runs in the days September 1-3
Proceedings are published as LNCS 9268 and they are available during the conference

Wednesday September 2, 2015
    • 9:30—10:30, Invited Talk (MADRID MEET) James Worrell (University of Oxford, UK). Title to be announced.
    • 10:30-11:00, Coffee break
    • 11:00—13:00, Timed Automata (I) – session chair Cesar Sanchez
Amnon Rosenmann, Florian Lorber, Dejan Nickovic and Bernhard K. Aichernig “Bounded Determinization of Timed Automata with Silent Transitions”
Rajesh Kumar, Enno Ruijters and Mariëlle Stoelinga “Quantitative Attack Tree Analysis via Priced Timed Automata”
Guoqiang Li, Mizuhito Ogawa and Shoji Yuen “Nested Timed Automata with Frozen Clocks”
Étienne André and Nicolas Markey “Language Preservation Problems in Parametric Timed Automata”
    • 13:00-14:30, Lunch
    • 14:30—16:00, Stochastic Systems – session chair Marielle Stoelinga
Andrea Marin and Sabina Rossi “Quantitative Analysis of Concurrent Reversible Computations”
Roberta Lanciani and Luca Bortolussi “Fluid Model Checking of Timed Properties”
Clemens Dubslaff and Christel Baier “Quantitative Analysis of Communication Scenarios”
    • 16:00-16:30, Coffee break
    • 16:30—18:30, Hybrid Systems – session chair Sriram Sankaranarayanan
Pavithra Prabhakar, Nima Roohi and Mahesh Viswanathan “Deciding Concurrent Planar Monotonic Linear Hybrid Systems”
Patricia Bouyer-Decitre, Nicolas Markey, Nicolas Perrin and Philipp Schlehuber “Timed automata abstraction of switched dynamical systems using control funnels”
Eike Moehlmann, Willem Hagemann and Oliver Theel “Hybrid Tools for Hybrid Systems – Proving Stability and Safety at once”
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate and Joost-Pieter Katoen “Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems”
Thursday September 3, 2015
    • 9:30—10:30, Invited Talk (QEST & FORMATS) Jozef Hooman
    • 10:30-11:00, Coffee break
    • 11:00—13:00, Timed Automata (II) – session chair Jeremy Sproston
Frédéric Herbreteau and Tran Thanh Tung “Improving search order for reachability testing in timed automata”
Nicolas Basset “Timed symbolic dynamics”
Gethin Norman, David Parker and Xueyi Zou “Verification and Control of Partially Observable Probabilistic Real-Time Systems”
Aleksandra Jovanovic, Gethin Norman and Marta Kwiatkowska “Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata”
  • 13:00-14:30, Lunch
  • 14:30—15:30, Matthew Hennessy (Trinity College Dublin, Ireland) Title to be announced
  • 15:30—21:00, Excursion and Social Dinner
Friday September 4, 2015
    • 10:00-11:00, Invited Talk (FORMATS) Jeremy Sproston – session chair Enrico Vicario
    • 11:00-11:30, Coffee break
    • 11:30—13:30, Applications – session chair Dejan Nickovic
Philipp Reinkemeier, Albert Benveniste, Werner Damm and Ingo Stierand “Contracts for Schedulability Analysis”
Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop Butucaru and Robert De Simone “On the Scalability of Constraint Solving for Real-Time Scheduling”
Xavier Allamigeon, Vianney Boeuf and Stephane Gaubert “Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems applied to Timed Petri Nets”
Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn Jongerden, Rene Rydhof Hansen and Kim Guldstrand Larsen “A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems”
  • 13:30-15:00, Lunch
Accepted Papers
  • Eike Moehlmann, Willem Hagemann and Oliver Theel “Hybrid Tools for Hybrid Systems – Proving Stability and Safety at once”
  • Gethin Norman, David Parker and Xueyi Zou “Verification and Control of Partially Observable Probabilistic Real-Time Systems”
  • Frédéric Herbreteau and Tran Thanh Tung “Improving search order for reachability testing in timed automata 9 9
  • Amnon Rosenmann, Florian Lorber, Dejan Nickovic and Bernhard K. Aichernig “Bounded Determinization of Timed Automata with Silent Transitions 10 10
  • Patricia Bouyer-Decitre, Nicolas Markey, Nicolas Perrin and Philipp Schlehuber “Timed automata abstraction of switched dynamical systems using control funnels 13 13
  • Philipp Reinkemeier, Albert Benveniste, Werner Damm and Ingo Stierand “Contracts for Schedulability Analysis 14 14
  • Rajesh Kumar, Enno Ruijters and Mariëlle Stoelinga “Quantitative Attack Tree Analysis via Priced Timed Automata 15 15
  • Nicolas Basset “Timed symbolic dynamics”
  • Roberta Lanciani and Luca Bortolussi “Fluid Model Checking of Timed Properties”
  • Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate and Joost-Pieter Katoen “Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems”
  • Guoqiang Li, Mizuhito Ogawa and Shoji Yuen “Nested Timed Automata with Frozen Clocks”
  • Xavier Allamigeon, Vianney Boeuf and Stephane Gaubert “Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems applied to Timed Petri Nets”
  • Aleksandra Jovanovic, Gethin Norman and Marta Kwiatkowska “Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata”
  • Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop Butucaru and Robert De Simone “On the Scalability of Constraint Solving for Real-Time Scheduling”
  • Andrea Marin and Sabina Rossi “Quantitative Analysis of Concurrent Reversible Computations”
  • Étienne André and Nicolas Markey “Language Preservation Problems in Parametric Timed Automata”
  • Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn Jongerden, Rene Rydhof Hansen and Kim Guldstrand Larsen “A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems”
  • Clemens Dubslaff and Christel Baier “Quantitative Analysis of Communication Scenarios”
  • Pavithra Prabhakar, Nima Roohi and Mahesh Viswanathan “Deciding Concurrent Planar Monotonic Linear Hybrid Systems”
Invited Papers
  • Jeremy Sproston “Verification and control of probabilistic rectangular hybrid automata”
  • Jozef Hooman “Uniting Academic Achievements on Performance Analysis with Industrial Needs”