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

• 2009
• 
  Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová:
  Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
• 
  Eerke A. Boiten, John Derrick:
  Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199
• 
  Thang H. Bui, Albert Nymeyer:
  Formal Verification Based on Guided Random Walks. IFM 2009: 72-87
• 
  Michael J. Butler:
  Decomposition Structures for Event-B. IFM 2009: 20-38
• 
  Jordi Cabot, Robert Clarisó, Daniel Riera:
  Verifying UML/OCL Operation Contracts. IFM 2009: 40-55
• 
  Robert Colvin, Ian J. Hayes:
  CSP with Hierarchical State. IFM 2009: 118-135
• 
  Byron Cook:
  Taming the Unbounded for Hardware Synthesis. IFM 2009: 39
• 
  Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
  Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
• 
  Osman Hasan, Naeem Abbasi, Sofiène Tahar:
  Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. IFM 2009: 277-291
• 
  Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial:
  Developing Topology Discovery in Event-B. IFM 2009: 1-19
• 
  Ralf Lämmel, Vadim Zaytsev:
  An Introduction to Grammar Convergence. IFM 2009: 246-260
• 
  Zarrin Langari, Richard J. Trefler:
  Application of Graph Transformation in Verification of Dynamic Systems. IFM 2009: 261-276
• 
  Jérémy Milhau, Benoît Fraikin, Marc Frappier:
  Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM 2009: 337-351
• 
  Gordon J. Pace, Gerardo Schneider:
  Challenges in the Specification of Full Contracts. IFM 2009: 292-306
• 
  Astrid Rakow:
  Decompositional Petri Net Reductions. IFM 2009: 352-366
• 
  Gwen Salaün, Tevfik Bultan:
  Realizability of Choreographies Using Process Algebra Encodings. IFM 2009: 167-182
• 
  Steve A. Schneider, Helen Treharne:
  Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. IFM 2009: 103-117
• 
  Jan Stöcker, Frédéric Lang, Hubert Garavel:
  Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. IFM 2009: 88-102
• 
  Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George:
  Model Checking LTL Formulae in RAISE with FDR. IFM 2009: 231-245
• 
  Sebastian Voss, Maria Sorea, Klaus Echtle:
  SAL-Based Symbolic Scheduling in Time-Triggered Networks. IFM 2009: 200-214
• 
  Benjamin Weiß:
  Predicate Abstraction in a Program Logic Calculus. IFM 2009: 136-150
• 
  Peter Y. H. Wong, Jeremy Gibbons:
  Property Specifications for Workflow Modelling. IFM 2009: 56-71
• 
  Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu:
  Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336
• 
  Frank Zeyda, Ana Cavalcanti:
  Mechanised Translation of Control Law Diagrams into Circus. IFM 2009: 151-166
• 
  Michael Leuschel, Heike Wehrheim:
  Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science 5423, Springer 2009, ISBN 978-3-642-00254-0 [contents]