• 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 22 matches

• 2009
• 
  Eugene Asarin, Aldric Degorre:
  Volume and Entropy of Regular Timed Languages: Analytic Approach. FORMATS 2009: 13-27
• 
  Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
  Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42
• 
  Nikolaj S. Bjørner, Leonardo Mendonça de Moura:
  Tapas: Theory Combinations and Practical Applications. FORMATS 2009: 1-6
• 
  Anne Bouillard, Stefan Haar, Sidney Rosario:
  Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. FORMATS 2009: 43-57
• 
  Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero:
  Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS 2009: 58-72
• 
  Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen:
  Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87
• 
  Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain:
  Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. FORMATS 2009: 88-102
• 
  Christian Colombo, Gordon J. Pace, Gerardo Schneider:
  Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117
• 
  Catalin Dima, Ruggero Lanotte:
  Removing All Silent Transitions from Timed Automata. FORMATS 2009: 118-132
• 
  Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert:
  Realizability of Real-Time Logics. FORMATS 2009: 133-148
• 
  Martin Fränzle, Mani Swaminathan:
  Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. FORMATS 2009: 149-163
• 
  Pierre Ganty, Rupak Majumdar:
  Analyzing Real-Time Event-Driven Programs. FORMATS 2009: 164-178
• 
  Stephane Gaubert:
  Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. FORMATS 2009: 7-11
• 
  Rodolfo Gómez:
  A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. FORMATS 2009: 179-194
• 
  Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer:
  Compositional Abstraction for Stochastic Systems. FORMATS 2009: 195-211
• 
  Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227
• 
  Guangyuan Li:
  Checking Timed Büchi Automata Emptiness Using LU-Abstractions. FORMATS 2009: 228-242
• 
  George J. Pappas:
  Approximations of Discrete, Continuous, and Hybrid Systems. FORMATS 2009: 12
• 
  Karin Quaas:
  On the Supports of Recognizable Timed Series. FORMATS 2009: 243-257
• 
  Shinya Umeno:
  Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. FORMATS 2009: 258-274
• 
  Matthias Woehrle, Kai Lampka, Lothar Thiele:
  Exploiting Timed Automata for Conformance Testing of Power Measurements. FORMATS 2009: 275-290
• 
  Joël Ouaknine, Frits W. Vaandrager:
  Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5813, Springer 2009, ISBN 978-3-642-04367-3 [contents]