Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings > ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings |
Stefan Kowalewski; Anna Philippou
Springer Berlin Heidelberg
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
Authors

Elina Pacini Naumovich; Simona Bernardi; Marco Gribaudo

ARI Id

1664721436228_2921425

Access

Not Available Free

Pages

50-53

DOI

10.1007/978-3-642-00768-2_5

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-00768-2_5

Table of Contents of Book
Showing 1 to 20 of 38 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Hierarchical Set Decision Diagrams and Regular Models
Yann Thierry-Mieg; Denis Poitrenaud; Alexandre Hamez; Fabrice Kordon
1-15
Büchi Complementation and Size-Change Termination
Seth Fogarty; Moshe Y. Vardi
16-30
Learning Minimal Separating DFA’s for Compositional Verification
Yu-Fang Chen; Azadeh Farzan; Edmund M. Clarke; Yih-Kuen Tsay; Bow-Yaw Wang
31-45
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
Mikhail I. Gofman; Ruiqi Luo; Ayla C. Solomon; Yingbin Zhang; Ping Yang; Scott D. Stoller
46-49
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
Elina Pacini Naumovich; Simona Bernardi; Marco Gribaudo
50-53
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
Didier Lime; Olivier H. Roux; Charlotte Seidner; Louis-Marie Traonouez
54-57
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Dietmar Berwanger; Krishnendu Chatterjee; Martin De Wulf; Laurent Doyen; Thomas A. Henzinger
58-61
Compositional Predicate Abstraction from Game Semantics
Adam Bakewell; Dan R. Ghica
62-76
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
Hillel Kugler; Itai Segall
77-91
Computing Weakest Strategies for Safety Games of Imperfect Information
Wouter Kuijper; Jaco van de Pol
92-106
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
Mohamed Faouzi Atig; Ahmed Bouajjani; Shaz Qadeer
107-123
Semantic Reduction of Thread Interleavings in Concurrent Programs
Vineet Kahlon; Sriram Sankaranarayanan; Aarti Gupta
124-138
Inferring Synchronization under Limited Observability
Martin Vechev; Eran Yahav; Greta Yorsh
139-154
The Complexity of Predicting Atomicity Violations
Azadeh Farzan; P. Madhusudan
155-169
MoonWalker: Verification of. NET Programs
Niels H. M. Aan de Brugh; Viet Yen Nguyen; Theo C. Ruys
170-173
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Robert Brummayer; Armin Biere
174-177
The Yogi Project: Software Property Checking via Static Analysis and Testing
Aditya V. Nori; Sriram K. Rajamani; SaiDeep Tetali; Aditya V. Thakur
178-181
TaPAS: The Talence Presburger Arithmetic Suite
Jérôme Leroux; Gérald Point
182-185
Transition-Based Directed Model Checking
Martin Wehrle; Sebastian Kupferschmid; Andreas Podelski
186-200
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 38 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings