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

• 2004
• 
  Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén:
  Forward Reachability Analysis of Timed Petri Nets. FORMATS/FTRTFT 2004: 343-362
• 
  Mikhail Bernadsky, Raman Sharykin, Rajeev Alur:
  Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT 2004: 309-324
• 
  Simona Bernardi, Susanna Donatelli, Giovanna Dondossola:
  Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT 2004: 36-51
• 
  Thomas Brihaye, Véronique Bruyère, Jean-François Raskin:
  Model-Checking for Weighted Timed Automata. FORMATS/FTRTFT 2004: 277-292
• 
  Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert:
  Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276
• 
  Deepak D'Souza, Nicolas Tabareau:
  On Timed Automata with Input-Determined Guards. FORMATS/FTRTFT 2004: 68-83
• 
  Samar Dajani-Brown, Darren D. Cofer, Amar Bouali:
  Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT 2004: 5-20
• 
  Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode:
  On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT 2004: 52-67
• 
  Catalin Dima, Alain Girault, Yves Sorel:
  Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT 2004: 215-230
• 
  Bruno Dutertre, Maria Sorea:
  Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT 2004: 199-214
• 
  Paul Feautrier:
  From Software to Hardware and Back. FORMATS/FTRTFT 2004: 1-2
• 
  Harald Fecher:
  The Influence of Durational Actions on Time Equivalences. FORMATS/FTRTFT 2004: 231-245
• 
  Felix C. Gärtner, Arshad Jhumka:
  Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. FORMATS/FTRTFT 2004: 183-198
• 
  Philippe Gerner, Thao Dang:
  Computing Schedules for Multithreaded Real-Time Programs Using Geometry. FORMATS/FTRTFT 2004: 325-342
• 
  Olga Grinchtein, Bengt Jonsson, Martin Leucker:
  Learning of Event-Recording Automata. FORMATS/FTRTFT 2004: 379-396
• 
  Dilsun Kirli Kaynar, Nancy A. Lynch:
  Decomposing Verification of Timed I/O Automata. FORMATS/FTRTFT 2004: 84-101
• 
  Chiheb Kossentini, Paul Caspi:
  Mixed Delay and Threshold Voters in Critical Real-Time Systems. FORMATS/FTRTFT 2004: 21-35
• 
  Moez Krichen, Stavros Tripakis:
  Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151
• 
  Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang:
  Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308
• 
  Oded Maler, Dejan Nickovic:
  Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166
• 
  Nicolas Markey, Philippe Schnoebelen:
  Symbolic Model Checking for Simply-Timed Systems. FORMATS/FTRTFT 2004: 102-117
• 
  Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon:
  A Unified Fault-Tolerance Protocol. FORMATS/FTRTFT 2004: 167-182
• 
  Peter Y. A. Ryan:
  Of Elections and Electrons. FORMATS/FTRTFT 2004: 3-4
• 
  Maria Sorea:
  Lazy Approximation for Dense Real-Time Systems. FORMATS/FTRTFT 2004: 363-378
• 
  Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin:
  Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133
• 
  Fang Yu, Bow-Yaw Wang, Yao-Wen Huang:
  Bounded Model Checking for Region Automata. FORMATS/FTRTFT 2004: 246-262
• 
  Yassine Lakhnech, Sergio Yovine:
  Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Lecture Notes in Computer Science 3253, Springer 2004, ISBN 3-540-23167-6 [contents]
• 2002
• 
  Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
  UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
• 
  Ahmed Bouajjani, Agathe Merceron:
  Parametric Verification of a Group Membership Algorithm. FTRTFT 2002: 311-330
• 
  Giorgio C. Buttazzo:
  Real-Time Operating Systems: Problems and Novel Solutions. FTRTFT 2002: 37-52

skipping 212 more matches