default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. 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.
last updated on 2025-12-04 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
