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

• 2001
• 
  Alex Aizman:
  Easy concurrency. Int. J. Softw. Tools Technol. Transf. 3(4): 456-468 (2001)
• 
  Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele:
  Generating an action notation environment from Montages descriptions. Int. J. Softw. Tools Technol. Transf. 3(4): 431-455 (2001)
• 
  Alberto Bartoli, Gianluca Dini, Lanfranco Lopriore:
  Application-controlled memory management in a single address space environment. Int. J. Softw. Tools Technol. Transf. 3(2): 235-245 (2001)
• 
  Simona Bernardi, Susanna Donatelli, András Horváth:
  Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. 3(4): 417-430 (2001)
• 
  Gérard Berthelot, Laure Petrucci:
  Specification and validation of a concurrent system: an educational project. Int. J. Softw. Tools Technol. Transf. 3(4): 372-381 (2001)
• 
  Ed Brinksma:
  Verification is experimentation! Int. J. Softw. Tools Technol. Transf. 3(2): 107-111 (2001)
• 
  Randal E. Bryant, Yirng-An Chen:
  Verification of arithmetic circuits using binary moment diagrams. Int. J. Softw. Tools Technol. Transf. 3(2): 137-155 (2001)
• 
  Rance Cleaveland:
  Alternative Approaches to Symbolic Verification - Preface by the Section Editor. Int. J. Softw. Tools Technol. Transf. 3(3): 247-249 (2001)
• 
  Giorgio Delzanno, Andreas Podelski:
  Constraint-based deductive model checking. Int. J. Softw. Tools Technol. Transf. 3(3): 250-270 (2001)
• 
  Rolf Drechsler, Detlef Sieling:
  Binary decision diagrams in theory and practice. Int. J. Softw. Tools Technol. Transf. 3(2): 112-136 (2001)
• 
  Hubert Garavel, César Viho, Massimo Zendri:
  System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. Int. J. Softw. Tools Technol. Transf. 3(3): 314-331 (2001)
• 
  Hartmann J. Genrich, Robert Küffner, Klaus Voss:
  Executable Petri net models for the analysis of metabolic pathways. Int. J. Softw. Tools Technol. Transf. 3(4): 394-404 (2001)
• 
  Justin E. Harlow III, Franc Brglez:
  Design of experiments and evaluation of BDD ordering heuristics. Int. J. Softw. Tools Technol. Transf. 3(2): 193-206 (2001)
• 
  Daniel Hirschkoff:
  Bisimulation verification using the up to techniques. Int. J. Softw. Tools Technol. Transf. 3(3): 271-285 (2001)
• 
  Stefan Höreth:
  A word-level graph manipulation package. Int. J. Softw. Tools Technol. Transf. 3(2): 182-192 (2001)
• 
  Marieke Huisman, Bart Jacobs, Joachim van den Berg:
  A case study in class library verification: Java's vector class. Int. J. Softw. Tools Technol. Transf. 3(3): 332-352 (2001)
• 
  Kurt Jensen:
  Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. Int. J. Softw. Tools Technol. Transf. 3(4): 369-371 (2001)
• 
  Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet:
  A light-weight framework for hardware verification. Int. J. Softw. Tools Technol. Transf. 3(3): 286-313 (2001)
• 
  Ekkart Kindler, Michael Weber:
  The Petri Net Kernel - An infrastructure for building Petri net tools. Int. J. Softw. Tools Technol. Transf. 3(4): 486-497 (2001)
• 
  Magnus Lindahl, Paul Pettersson, Wang Yi:
  Formal design and analysis of a gear controller. Int. J. Softw. Tools Technol. Transf. 3(3): 353-368 (2001)
• 
  Bo Lindstrom:
  Web-based interfaces for simulation of coloured Petri net models. Int. J. Softw. Tools Technol. Transf. 3(4): 405-416 (2001)
• 
  Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders:
  Parallel programming with a pattern language. Int. J. Softw. Tools Technol. Transf. 3(2): 217-234 (2001)
• 
  Shin-ichi Minato:
  Zero-suppressed BDDs and their applications. Int. J. Softw. Tools Technol. Transf. 3(2): 156-170 (2001)
• 
  Janett Mohnke, Paul Molitor, Sharad Malik:
  Application of BDDs in Boolean matching techniques for formal logic combinational verification. Int. J. Softw. Tools Technol. Transf. 3(2): 207-216 (2001)
• 
  Leo Ojala, Nisse Husberg, Teemu Tynjälä:
  Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. Int. J. Softw. Tools Technol. Transf. 3(4): 382-393 (2001)
• 
  David P. L. Simons, Mariëlle Stoelinga:
  Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Int. J. Softw. Tools Technol. Transf. 3(4): 469-485 (2001)
• 
  Fabio Somenzi:
  Efficient manipulation of decision diagrams. Int. J. Softw. Tools Technol. Transf. 3(2): 171-181 (2001)
• 2000
• 
  Alexander Aiken, Manuel Fähndrich, Zhendong Su:
  Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. 3(1): 93-105 (2000)
• 
  Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers:
  VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3(1): 66-77 (2000)
• 
  Fausto Giunchiglia, Paolo Traverso:
  Theorem proving in technology transfer: the user's point of view. Int. J. Softw. Tools Technol. Transf. 3(1): 1-12 (2000)

skipping 4 more matches