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

• 2004
• 
  Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani:
  SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20
• 
  Bernhard Beckert, Steffen Schlager:
  Software Verification with Integrated Data Type Refinement for Integer Arithmetic. IFM 2004: 207-226
• 
  Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin:
  Design Verification for Control Engineering. IFM 2004: 21-35
• 
  Raymond T. Boute:
  Integrating Formal Methods by Unifying Abstractions. IFM 2004: 441-460
• 
  Marius C. Bujorianu:
  Integration of Specification Languages Using Viewpoints. IFM 2004: 421-440
• 
  Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha:
  State/Event-Based Software Model Checking. IFM 2004: 128-147
• 
  Yifeng Chen, Zhiming Liu:
  Integrating Temporal Logics. IFM 2004: 402-420
• 
  Gabriel Ciobanu, Dorel Lucanu:
  Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327
• 
  Paul Curzon, Ann Blandford:
  Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM 2004: 461-480
• 
  Jin Song Dong, Shengchao Qin, Jun Sun:
  Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186
• 
  Steve Dunne:
  Understanding Object-Z Operations as Generalised Substitutions. IFM 2004: 328-342
• 
  Bill J. Ellis, Andrew Ireland:
  An Integration of Program Analysis and Automated Theorem Proving. IFM 2004: 67-86
• 
  Adalberto Farias, Alexandre Mota, Augusto Sampaio:
  Efficient CSP_Z Data Abstraction. IFM 2004: 108-127
• 
  Kevin Lano, David Clark, Kelly Androutsopoulos:
  UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206
• 
  Thomas F. Melham:
  Integrating Model Checking and Theorem Proving in a Reflective Functional Language. IFM 2004: 36-39
• 
  Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim:
  Linking CSP-OZ with UML and Java: A Case Study. IFM 2004: 267-286
• 
  Francisco José Galán Morillo, José Miguel Cañete Valdeón:
  A Method for Compiling and Executing Expressive Assertions. IFM 2004: 521-540
• 
  Simon Pickin, Jean-Marc Jézéquel:
  Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. IFM 2004: 481-500
• 
  Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi:
  An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381
• 
  Steve A. Schneider, Helen Treharne:
  Verifying Controlled Components. IFM 2004: 87-107
• 
  Tiberiu Seceleanu, Juha Plosila:
  Constituent Elements of a Correctness-Preserving UML Design Approach. IFM 2004: 227-246
• 
  Cécile Bui Thanh, Hanna Klaudel:
  Object-Oriented Modelling with High-Level Modular Petri Nets. IFM 2004: 287-306
• 
  Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque:
  A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. IFM 2004: 382-401
• 
  Xu Wang, A. W. Roscoe, Ranko Lazic:
  Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM 2004: 247-266
• 
  Luke Wildman, Roger Duke, Paul A. Strooper:
  Viewpoint-Based Testing of Concurrent Components. IFM 2004: 501-520
• 
  Tim A. C. Willemse:
  Embeddings of Hybrid Automata in Process Algebra. IFM 2004: 343-362
• 
  Kirsten Winter:
  Formalising Behaviour Trees with CSP. IFM 2004: 148-167
• 
  Jim Woodcock, Ana Cavalcanti:
  A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66
• 
  Eerke A. Boiten, John Derrick, Graeme Smith:
  Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, ISBN 3-540-21377-5 [contents]