Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Theoretical Computer Science and General Issues

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Editors: Legay, Axel, Bozga, Marius (Eds.)

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-319-10512-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-10511-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.
The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers cover topics of foundations and semantics; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and tools for analyzing timed systems and resolving temporal constraints; applications in real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

Table of contents (17 chapters)

  • The Modeling and Analysis of Mixed-Criticality Systems

    Baruah, Sanjoy

    Pages 1-6

  • Modeling Bitcoin Contracts by Timed Automata

    Andrychowicz, Marcin (et al.)

    Pages 7-22

  • Data-Driven Statistical Learning of Temporal Logic Properties

    Bartocci, Ezio (et al.)

    Pages 23-37

  • Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices

    Al-Bataineh, Omar (et al.)

    Pages 38-52

  • Delay-Dependent Partial Order Reduction Technique for Time Petri Nets

    Boucheneb, Hanifa (et al.)

    Pages 53-68

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-319-10512-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-10511-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Modeling and Analysis of Timed Systems
Book Subtitle
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Editors
  • Axel Legay
  • Marius Bozga
Series Title
Theoretical Computer Science and General Issues
Series Volume
8711
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-10512-3
DOI
10.1007/978-3-319-10512-3
Softcover ISBN
978-3-319-10511-6
Edition Number
1
Number of Pages
X, 253
Number of Illustrations
74 b/w illustrations
Topics