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

• 2007
• 
  Sara Adams, Joël Ouaknine, James Worrell:
  Undecidability of Universality for Timed Automata with Minimal Resources. FORMATS 2007: 25-37
• 
  Grégory Batt, Ramzi Ben Salah, Oded Maler:
  On Timed Models of Gene Networks. FORMATS 2007: 38-52
• 
  Patricia Bouyer, Nicolas Markey:
  Costs Are Expensive! FORMATS 2007: 53-68
• 
  Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik:
  Hypervolume Approximation in Timed Automata Model Checking. FORMATS 2007: 69-81
• 
  Franck Cassez:
  Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS 2007: 5-24
• 
  Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar:
  Counter-Free Input-Determined Timed Automata. FORMATS 2007: 82-97
• 
  Pieter J. L. Cuijpers, Reinder J. Bril:
  Towards Budgeting in Real-Time Calculus: Deferrable Servers. FORMATS 2007: 98-113
• 
  Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen:
  Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129
• 
  Catalin Dima:
  Dynamical Properties of Timed Automata Revisited. FORMATS 2007: 130-146
• 
  Georgios E. Fainekos, George J. Pappas:
  Robust Sampling for MITL Specifications. FORMATS 2007: 147-162
• 
  Carlo A. Furia, Matteo Rossi:
  On the Expressiveness of MTL Variants over Dense Time. FORMATS 2007: 163-178
• 
  Sergio Giro, Pedro R. D'Argenio:
  Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS 2007: 179-194
• 
  Rodolfo Gómez, Howard Bowman:
  Efficient Detection of Zeno Runs in Timed Automata. FORMATS 2007: 195-210
• 
  John Håkansson, Paul Pettersson:
  Partial Order Reduction for Verification of Real-Time Components. FORMATS 2007: 211-226
• 
  Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David:
  Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240
• 
  Susmit Jha, Bryan A. Brady, Sanjit A. Seshia:
  Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256
• 
  Joost-Pieter Katoen:
  Abstraction of Probabilistic Systems. FORMATS 2007: 1-3
• 
  Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
  Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS 2007: 257-273
• 
  Pavel Krcál, Martin Stigge, Wang Yi:
  Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289
• 
  Bruce H. Krogh:
  From Analysis to Design. FORMATS 2007: 4
• 
  Dejan Nickovic, Oded Maler:
  AMT: A Property-Based Monitoring Tool for Analog Systems. FORMATS 2007: 304-319
• 
  Andreas Podelski, Silke Wagner:
  Region Stability Proofs for Hybrid Systems. FORMATS 2007: 320-335
• 
  Anne Remke, Boudewijn R. Haverkort:
  CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351
• 
  Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat:
  Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. FORMATS 2007: 290-303
• 
  Farn Wang:
  Symbolic Simulation-Checking of Dense-Time Automata. FORMATS 2007: 352-368
• 
  Jean-François Raskin, P. S. Thiagarajan:
  Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4763, Springer 2007, ISBN 978-3-540-75453-4 [contents]