• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2014
• 
  Omar I. Al-Bataineh, Mark Reynolds, Tim French:
  Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS 2014: 38-52
• 
  Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek:
  Modeling Bitcoin Contracts by Timed Automata. FORMATS 2014: 7-22
• 
  Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti:
  Data-Driven Statistical Learning of Temporal Logic Properties. FORMATS 2014: 23-37
• 
  Sanjoy K. Baruah:
  The Modeling and Analysis of Mixed-Criticality Systems - Extended Abstract. FORMATS 2014: 1-6
• 
  Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat:
  Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. FORMATS 2014: 85-99
• 
  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. FORMATS 2014: 237-251
• 
  Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati:
  Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. FORMATS 2014: 53-68
• 
  Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts:
  On MITL and Alternating Timed Automata over Infinite Words. FORMATS 2014: 69-84
• 
  Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang:
  Verification and Performance Evaluation of Timed Game Strategies. FORMATS 2014: 100-114
• 
  Peter Fontana, Rance Cleaveland:
  The Power of Proofs: New Algorithms for Timed Automata Model Checking. FORMATS 2014: 115-129
• 
  Taylor T. Johnson, Sayan Mitra:
  Anonymized Reachability of Hybrid Automata Networks. FORMATS 2014: 130-145
• 
  Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi:
  Weak Singular Hybrid Automata. FORMATS 2014: 161-175
• 
  Jan Kurátko, Stefan Ratschan:
  Combined Global and Local Search for the Falsification of Hybrid Systems. FORMATS 2014: 146-160
• 
  Stefano Minopoli, Goran Frehse:
  Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. FORMATS 2014: 176-190
• 
  Nima Roohi, Mahesh Viswanathan:
  Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. FORMATS 2014: 191-205
• 
  Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri:
  Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. FORMATS 2014: 206-221
• 
  Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler:
  Timed Pattern Matching. FORMATS 2014: 222-236
• 
  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 [contents]