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

• 1998
• 
  Parosh Aziz Abdulla, Bengt Jonsson:
  Verifying Networks of Timed Processes (Extended Abstract). TACAS 1998: 298-312
• 
  Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen:
  Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280
• 
  Alexander Aiken, Manuel Fähndrich, Zhendong Su:
  Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
• 
  Khalil Ajami, Serge Haddad, Jean-Michel Ilié:
  Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS 1998: 52-67
• 
  Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani:
  Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344
• 
  Hanêne Ben-Abdallah, Stefan Leue:
  MESA: Support for Scenario-Based Design of Concurrent Systems. TACAS 1998: 118-135
• 
  Nikolaj S. Bjørner, Mark C. Pichora:
  Deciding Fixed and Non-fixed Size Bit-vectors. TACAS 1998: 376-392
• 
  Udo Brockmeyer, Gunnar Wittich:
  Tamagotchis Need Not Die - Verification of STATEMENT Design. TACAS 1998: 217-231
• 
  Randal E. Bryant:
  Formal Verification of Pipelined Processors. TACAS 1998: 1-4
• 
  Thierry Cattel:
  Modeling and Verification of SC++ Applications. TACAS 1998: 232-248
• 
  Witold Charatonik, Andreas Podelski:
  Set-Based Analysis of Reactive Infinite-State Systems. TACAS 1998: 358-375
• 
  Conrado Daws, Stavros Tripakis:
  Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS 1998: 313-329
• 
  Hubert Garavel:
  OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing. TACAS 1998: 68-84
• 
  Bernd Grahlmann:
  Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. TACAS 1998: 102-117
• 
  E. Pascal Gribomont, Guy Zenner:
  Automated Verification of Szymanski's Algorithm. TACAS 1998: 424-438
• 
  Michaela Huhn, Peter Niebert, Frank Wallner:
  Verification Based on Local States. TACAS 1998: 36-51
• 
  Henrik Ejersbo Jensen, Nancy A. Lynch:
  A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. TACAS 1998: 409-423
• 
  Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
  Static Partial Order Reduction. TACAS 1998: 345-357
• 
  Karen Laster, Orna Grumberg:
  Modular Model Checking of Software. TACAS 1998: 20-35
• 
  Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen:
  Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS 1998: 201-216
• 
  Magnus Lindahl, Paul Pettersson, Wang Yi:
  Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297
• 
  Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka:
  Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19
• 
  Amir Pnueli, Michael Siegel, Eli Singerman:
  Translation Validation. TACAS 1998: 151-166
• 
  Franz Regensburger, Aenne Barnard:
  Formal Verification of SDL Systems at the Siemens Mobile Phone Department. TACAS 1998: 439-455
• 
  Theo C. Ruys, Ed Brinksma:
  Experience with Literate Programming in the Modelling and Validation of Systems. TACAS 1998: 393-408
• 
  David James Sherman, Nicolas Magnier:
  Factotum: Automatic and Systematic Sharing Support for Systems Analyzers. TACAS 1998: 249-262
• 
  Christoph Sprenger:
  A Verified Model Checker for the Modal µ-calculus in Coq. TACAS 1998: 167-183
• 
  Perdita Stevens, Colin Stirling:
  Practical Model-Checking Using Games. TACAS 1998: 85-101
• 
  Miroslav N. Velev, Randal E. Bryant:
  Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation. TACAS 1998: 136-150
• 
  Bernhard Steffen:
  Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1384, Springer 1998, ISBN 3-540-64356-7 [contents]