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

• 1994
• 
  Anish Arora:
  Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs. FTRTFT 1994: 110-127
• 
  Michael von der Beeck:
  A Comparison of Statecharts Variants. FTRTFT 1994: 128-148
• 
  Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
  A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. FTRTFT 1994: 149-169
• 
  Doeko Bosscher, Indra Polak, Frits W. Vaandrager:
  Verification of an Audio Control Protocol. FTRTFT 1994: 170-192
• 
  Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
  Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994: 193-210
• 
  Hanifa Boucheneb, Gérard Berthelot:
  Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. FTRTFT 1994: 211-227
• 
  Steven Bradley, William Henderson, David Kendall, Adrian Robson:
  Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246
• 
  Manfred Broy, Ketil Stølen:
  Specification and Refinement of Finite Dataflow Networks - a Relational Approach. FTRTFT 1994: 247-267
• 
  Limor Fix, Fred B. Schneider:
  Hybrid Verification by Exploiting the Environment. FTRTFT 1994: 1-18
• 
  Vered Gafni, Amiram Yehudai, Yishai A. Feldman:
  Activation-Oriented Specification of Real-Time Systems. FTRTFT 1994: 268-287
• 
  Thomas A. Henzinger, Peter W. Kopke:
  Verification Methods for the Divergent Runs of Clock Systems. FTRTFT 1994: 351-372
• 
  Jozef Hooman:
  Correctness of Real Time Systems by Construction. FTRTFT 1994: 19-40
• 
  Hans-Martin Hörcher:
  The DST Z-Tools. FTRTFT 1994: 778
• 
  Hans-Martin Hörcher, Uwe Schmidt:
  The VDM Domain Compiler. FTRTFT 1994: 779
• 
  ITEX-DE: A TTCN Development Environment. FTRTFT 1994: 784
• 
  Tomasz Janowski:
  Fault-Tolerant Bisimulation and Process Tranformations. FTRTFT 1994: 373-392
• 
  Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers:
  Layering of Real-Time Distributed Processes. FTRTFT 1994: 393-417
• 
  Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel:
  Provably Correct Systems. FTRTFT 1994: 288-335
• 
  Jifeng He, Jianping Zheng:
  Simulation Approach to Provably Correct Hardware Compilation. FTRTFT 1994: 336-350
• 
  Bengt Jonsson, Chris Ho-Stuart, Wang Yi:
  Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT 1994: 418-430
• 
  Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
  Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454
• 
  Thomas Käufl, Stefan Klingenbeck:
  Tatzelwurm. FTRTFT 1994: 786
• 
  Peter Kearney, Mark Utting:
  A Layered Real-Time Specification of a RISC Processor. FTRTFT 1994: 455-475
• 
  J. K. Kishore, R. S. Manjunatha, V. K. Agrawal, N. K. Malik, Prem Shankar Goel:
  A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft. FTRTFT 1994: 476-487
• 
  Yassine Lakhnech, Jozef Hooman:
  Reasoning about Durations in Metric Temporal Logic. FTRTFT 1994: 488-510
• 
  Leslie Lamport, Stephan Merz:
  Specifying and Verifying Fault-Tolerant Systems. FTRTFT 1994: 41-76
• 
  Gérard Le Lann:
  Scheduling in Critical Real-Time Systems: a Minfesto. FTRTFT 1994: 511-528
• 
  Poul Bøgh Lassen:
  IFAD VDM-SL Toolbox. FTRTFT 1994: 781
• 
  Thomas Lindner:
  Case Study Production Cell. FTRTFT 1994: 780
• 
  Zhiming Liu, Mathai Joseph:
  Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT 1994: 529-546