• 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

• 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
• 
  Werner Damm, Bengt Jonsson:
  Eliminating Queues from RT UML Model Representations. FTRTFT 2002: 375-394
• 
  Henning Dierks, Marc Lettrari:
  Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454
• 
  Bruce Powel Douglass:
  Real-Time UML. FTRTFT 2002: 53-70
• 
  Martin Fränzle:
  Take It NP-Easy: Bounded Model Construction for Duration Calculus. FTRTFT 2002: 245-264
• 
  David N. Jansen, Holger Hermanns, Joost-Pieter Katoen:
  A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
• 
  Arshad Jhumka, Martin Hiller, Neeraj Suri:
  Component-Based Synthesis of Dependable Embedded Software. FTRTFT 2002: 111-128
• 
  Ahmed Khoumsi:
  A Method for Testing the Conformance of Real Time Systems. FTRTFT 2002: 331-354
• 
  Alexander Knapp, Stephan Merz, Christopher Rauh:
  Model Checking - Timed UML State Machines and Collaborations. FTRTFT 2002: 395-416
• 
  Dexter Kozen, Matthew Stillerman:
  Eager Class Initialization for Java. FTRTFT 2002: 71-80
• 
  Christophe Lohr, Jean-Pierre Courtiat:
  From the Specification to the Scheduling of Time-Dependent Systems. FTRTFT 2002: 129-146
• 
  Oded Maler, Bruce H. Krogh, Moez Mahfoudh:
  On Control with Bounded Computational Resources. FTRTFT 2002: 147-164
• 
  John Alexander McDermid:
  Software Hazard and Safety Analysis. FTRTFT 2002: 23-36
• 
  Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain:
  Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244
• 
  Jens Palsberg, Di Ma:
  A Typed Interrupt Calculus. FTRTFT 2002: 291-310
• 
  Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny:
  Towards Bounded Model Checking for the Universal Fragment of TCTL. FTRTFT 2002: 265-290
• 
  Amir Pnueli:
  Applications of Formal Methods in Biology. FTRTFT 2002: 81-82
• 
  John M. Rushby:
  An Overview of Formal Verification for the Time-Triggered Architecture. FTRTFT 2002: 83-106
• 
  Joseph Sifakis:
  Scheduler Modeling Based on the Controller Synthesis Paradigm. FTRTFT 2002: 107-110
• 
  Stavros Tripakis:
  Fault Diagnosis for Timed Automata. FTRTFT 2002: 205-224
• 
  Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo:
  Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. FTRTFT 2002: 185-204
• 
  Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya:
  Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT 2002: 165-184
• 
  Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng:
  Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
• 
  Werner Damm, Ernst-Rüdiger Olderog:
  Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings. Lecture Notes in Computer Science 2469, Springer 2002, ISBN 3-540-44165-4 [contents]