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

• 2001
• 
  Bernhard K. Aichernig:
  Test-Case Calculation through Abstraction. FME 2001: 571-589
• 
  Mícheál Mac an Airchinnigh:
  Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. FME 2001: 396-418
• 
  Vangalur S. Alagar, Zheng Xi:
  A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. FME 2001: 173-196
• 
  Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé:
  Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System. FME 2001: 449-464
• 
  Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko:
  Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME 2001: 2-19
• 
  Dirk Beyer:
  Improvements in BDD-Based Reachability Analysis of Timed Automata. FME 2001: 318-343
• 
  Dragan Bosnacki, Dennis Dams, Leszek Holenderski:
  A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533
• 
  Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo:
  Verifying Implementation Relations. FME 2001: 364-383
• 
  Muffy Calder, Savi Maharaj, Carron Shankland:
  An Adequate Logic for Full LOTOS. FME 2001: 384-395
• 
  Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh:
  Model-Checking over Multi-valued Logics. FME 2001: 72-98
• 
  Fabrice Derepas, Paul Gastin, David Plainfossé:
  Avoiding State Explosion for Distributed Systems with Timestamps. FME 2001: 119-134
• 
  Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon:
  A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME 2001: 590-610
• 
  Sophie Dupuy-Chessa, Lydie du Bousquet:
  Validation of UML Models Thanks to Z and Lustre. FME 2001: 242-258
• 
  Cormac Flanagan, K. Rustan M. Leino:
  Houdini, an Annotation Assistant for ESC/Java. FME 2001: 500-517
• 
  Andres Flores, Richard Moore, Luis Reynoso:
  A Formal Model of Object-Oriented Design and GoF Design Patterns. FME 2001: 223-241
• 
  Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley:
  Transacted Memory for Smart Cards. FME 2001: 478-499
• 
  Steffen Helke, Thomas Santen:
  Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: 20-42
• 
  Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo:
  From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. FME 2001: 436-448
• 
  Daniel Jackson:
  Lightweight Formal Methods. FME 2001: 1
• 
  Michael Johnson, Robert D. Rosebrugh:
  View Updatability Based on the Models of a Formal Specification. FME 2001: 534-549
• 
  Simon L. Peyton Jones:
  Composing Contracts: An Adventure in Financial Engineering. FME 2001: 435
• 
  Jan Jürjens:
  Secrecy-Preserving Refinement. FME 2001: 135-152
• 
  Shmuel Katz:
  Faithful Translations among Models and Specifications. FME 2001: 419-434
• 
  Ralf Lämmel:
  Grammar Adaptation. FME 2001: 550-570
• 
  Odile Laurent, Pierre Michel, Virginie Wiels:
  Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477
• 
  Michael Leuschel, Thierry Massart, Andrew Currie:
  How to Make FDR Spin LTL Model Checking of CSP by Refinement. FME 2001: 99-118
• 
  Heiko Mantel:
  Information Flow Control and Applications - Bridging a Gap. FME 2001: 153-172
• 
  Jayadev Misra:
  A Programming Model for Wide-Area Computing. FME 2001: 222
• 
  Claus Pahl:
  Components, Contracts, and Connectors for the Unified Modelling Language UML. FME 2001: 259-277
• 
  Stephen Paynter:
  Real-Time Logic Revisited. FME 2001: 300-317

skipping 6 more matches