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

• 2010
• 
  Tarek F. Abdelzaher:
  Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited Talk). FORMATS 2010: 1
• 
  Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda:
  Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS 2010: 47-61
• 
  Patricia Bouyer, Romain Brenguier, Nicolas Markey:
  Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. FORMATS 2010: 62-76
• 
  Scott Cotton:
  Natural Domain SMT: A Preliminary Assessment. FORMATS 2010: 77-91
• 
  Alexandre Donzé, Oded Maler:
  Robust Satisfaction of Temporal Logic over Real-Valued Signals. FORMATS 2010: 92-106
• 
  Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter:
  Combining Symbolic Representations for Solving Timed Games. FORMATS 2010: 107-121
• 
  Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
  Expected Reachability-Time Games. FORMATS 2010: 122-136
• 
  Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder:
  Safraless Procedures for Timed Specifications. FORMATS 2010: 2-22
• 
  Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux:
  Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151
• 
  John Havlicek, Scott Little, Oded Maler, Dejan Nickovic:
  Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS 2010: 23-24
• 
  Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45
• 
  Dejan Nickovic, Nir Piterman:
  From Mtl to Deterministic Timed Automata. FORMATS 2010: 152-167
• 
  Ernst-Rüdiger Olderog, Mani Swaminathan:
  Layered Composition for Timed Automata. FORMATS 2010: 228-242
• 
  James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
  Memory Event Clocks. FORMATS 2010: 198-212
• 
  Paritosh K. Pandya, Simoni S. Shah:
  Unambiguity in Timed Regular Languages: Automata and Logics. FORMATS 2010: 168-182
• 
  Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi:
  A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197
• 
  Ulrich Schmid:
  Synchrony and Time in Fault-Tolerant Distributed Algorithms - (Invited Tutorial). FORMATS 2010: 46
• 
  Jeremy Sproston, Angelo Troina:
  Simulation and Bisimulation for Probabilistic Timed Automata. FORMATS 2010: 213-227
• 
  Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz:
  A Conformance Testing Relation for Symbolic Timed Automata. FORMATS 2010: 243-255
• 
  Krishnendu Chatterjee, Thomas A. Henzinger:
  Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6246, Springer 2010, ISBN 978-3-642-15296-2 [contents]