


default search action
12. FORMATS 2014: Florence, Italy
- Axel Legay, Marius Bozga:
Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings. Lecture Notes in Computer Science 8711, Springer 2014, ISBN 978-3-319-10511-6 - Sanjoy K. Baruah:
The Modeling and Analysis of Mixed-Criticality Systems - Extended Abstract. 1-6 - Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek:
Modeling Bitcoin Contracts by Timed Automata. 7-22 - Ezio Bartocci
, Luca Bortolussi
, Guido Sanguinetti
:
Data-Driven Statistical Learning of Temporal Logic Properties. 23-37 - Omar I. Al-Bataineh, Mark Reynolds
, Tim French
:
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. 38-52 - Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati:
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. 53-68 - Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts:
On MITL and Alternating Timed Automata over Infinite Words. 69-84 - Bernard Berthomieu, Silvano Dal-Zilio
, Lukasz Fronc, François Vernadat:
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. 85-99 - Alexandre David, Huixing Fang
, Kim Guldstrand Larsen
, Zhengkui Zhang:
Verification and Performance Evaluation of Timed Game Strategies. 100-114 - Peter Fontana, Rance Cleaveland:
The Power of Proofs: New Algorithms for Timed Automata Model Checking. 115-129 - Taylor T. Johnson
, Sayan Mitra
:
Anonymized Reachability of Hybrid Automata Networks. 130-145 - Jan Kurátko
, Stefan Ratschan:
Combined Global and Local Search for the Falsification of Hybrid Systems. 146-160 - Shankara Narayanan Krishna, Umang Mathur
, Ashutosh Trivedi:
Weak Singular Hybrid Automata. 161-175 - Stefano Minopoli, Goran Frehse
:
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. 176-190 - Nima Roohi, Mahesh Viswanathan:
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. 191-205 - Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri
:
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. 206-221 - Dogan Ulus
, Thomas Ferrère, Eugene Asarin
, Oded Maler:
Timed Pattern Matching. 222-236 - Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba
:
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. 237-251

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.