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

• 2005
• 
  Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
  Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004. Electronic Notes in Theoretical Computer Science 133, Elsevier 2005 [contents]
• 2004
• 
  Michele Banci, Alessandro Fantechi:
  Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. FMICS 2004: 3-19
• 
  Jiri Barnat, Lubos Brim, Jakub Chaloupka:
  From Distributed Memory Cycle Detection to Parallel LTL Model Checking. FMICS 2004: 21-39
• 
  Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
  Model Checking Publish/Subscribe Notification for thinkteam^®. FMICS 2004: 275-294
• 
  Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
  Preface. FMICS 2004: 1-2
• 
  Mustapha Bourahla, Mohamed Benmohamed:
  Analysis of Real-Time Systems with CTL Model Checkers. FMICS 2004: 41-60
• 
  Yunja Choi:
  Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. FMICS 2004: 61-79
• 
  Martin Fränzle, Christian Herde:
  Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. FMICS 2004: 119-137
• 
  María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez:
  Integration of Reliability and Performance Analyses for Active Network Services. FMICS 2004: 217-236
• 
  Alain Girault, Éric Rutten:
  Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. FMICS 2004: 81-100
• 
  Anders Henriksson, Uwe Aßmann, James Hunt:
  Improving Software Quality in Safety-Critical Applications by Model-Driven Verification. FMICS 2004: 101-117
• 
  Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon:
  On the Formal Verification of Middleware Behavioral Properties. FMICS 2004: 139-157
• 
  Akram Idani, Yves Ledru:
  Object Oriented Concepts Identification from Formal B Specifications. FMICS 2004: 159-174
• 
  Misa Keinänen:
  Obtaining Memory-Efficient Solutions to Boolean Equation Systems. FMICS 2004: 175-191
• 
  Jacques Klein, Benoît Caillaud, Loïc Hélouët:
  Merging Scenarios. FMICS 2004: 193-215
• 
  Jaco van de Pol, Miguel Valero Espada:
  An Abstract Interpretation Toolkit for muCRL. FMICS 2004: 295-313
• 
  Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van:
  Early Verification and Validation of Mission Critical Systems. FMICS 2004: 237-254
• 
  David Sinclair, James F. Power:
  Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. FMICS 2004: 255-273
• 
  Dieter Zöbel, David Polock, Andreas van Arkel:
  Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. FMICS 2004: 315-332