Skip to main content
Springer Nature Link
Log in

Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Sriram Sankaranarayanan

    1. University of Colorado, Boulder, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Enrico Vicario

    1. University of Florence, Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9268)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FORMATS 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

Similar content being viewed by others

Keywords

Table of contents (20 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Verification and Control of Probabilistic Rectangular Hybrid Automata

    • Jeremy Sproston
    Pages 1-9

  3. Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets

    • Xavier Allamigeon, Vianney Bœuf, Stéphane Gaubert
    Pages 10-26

  4. Language Preservation Problems in Parametric Timed Automata

    • Étienne André, Nicolas Markey
    Pages 27-43

  5. Timed Symbolic Dynamics

    • Nicolas Basset
    Pages 44-59

  6. Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels

    • Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
    Pages 60-75

  7. Quantitative Analysis of Communication Scenarios

    • Clemens Dubslaff, Christel Baier
    Pages 76-92

  8. Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

    • Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
    Pages 93-107

  9. On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

    • Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone
    Pages 108-123

  10. Improving Search Order for Reachability Testing in Timed Automata

    • Frédéric Herbreteau, Thanh-Tung Tran
    Pages 124-139

  11. Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata

    • Aleksandra Jovanović, Marta Kwiatkowska, Gethin Norman
    Pages 140-155

  12. Quantitative Attack Tree Analysis via Priced Timed Automata

    • Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga
    Pages 156-171

  13. Fluid Model Checking of Timed Properties

    • Luca Bortolussi, Roberta Lanciani
    Pages 172-188

  14. Nested Timed Automata with Frozen Clocks

    • Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
    Pages 189-205

  15. Quantitative Analysis of Concurrent Reversible Computations

    • Andrea Marin, Sabina Rossi
    Pages 206-221

  16. Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once

    • Eike Möhlmann, Willem Hagemann, Oliver Theel
    Pages 222-239

  17. Verification and Control of Partially Observable Probabilistic Real-Time Systems

    • Gethin Norman, David Parker, Xueyi Zou
    Pages 240-255

  18. Deciding Concurrent Planar Monotonic Linear Hybrid Systems

    • Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan
    Pages 256-269

  19. Contracts for Schedulability Analysis

    • Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
    Pages 270-287

  20. Bounded Determinization of Timed Automata with Silent Transitions

    • Florian Lorber, Amnon Rosenmann, Dejan Ničković, Bernhard K. Aichernig
    Pages 288-304
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Editors and Affiliations

  • University of Colorado, Boulder, USA

    Sriram Sankaranarayanan

  • University of Florence, Florence, Italy

    Enrico Vicario

Bibliographic Information

Publish with us

Policies and ethics

Back to top