• 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

• 2007
• 
  Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol:
  Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4346, Springer 2007, ISBN 978-3-540-70951-0 [contents]
• 2006
• 
  Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
  Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315
• 
  Jiri Barnat, Pavel Moravec:
  Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC 2006: 316-330
• 
  Borzoo Bonakdarpour, Sandeep S. Kulkarni:
  Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276
• 
  Lubos Brim:
  Distributed Verification: Exploring the Power of Raw Computing Power. FMICS/PDMC 2006: 23-34
• 
  Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
  On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99
• 
  Allan Clark, Stephen Gilmore:
  Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC 2006: 181-194
• 
  Pieter J. L. Cuijpers, A. V. Fyukov:
  Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC 2006: 195-210
• 
  Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu:
  Can Saturation Be Parallelised? FMICS/PDMC 2006: 331-346
• 
  Harald Fecher, Jens Schönborn:
  UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC 2006: 244-260
• 
  Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch:
  Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
• 
  Moritz Hammer, Michael Weber:
  "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. FMICS/PDMC 2006: 51-66
• 
  Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz:
  Test Coverage for Loose Timing Annotations. FMICS/PDMC 2006: 100-115
• 
  Anders Hessel, Paul Pettersson:
  Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC 2006: 116-131
• 
  Ben Krause, Tim Wahls:
  jmle: A Tool for Executing JML Specifications Via Constraint Programming. FMICS/PDMC 2006: 293-296
• 
  Kai Lampka, Markus Siegle, Max Walter:
  An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC 2006: 35-50
• 
  Aad Mathijssen, A. Johannes Pretorius:
  Verified Design of an Automated Parking Garage. FMICS/PDMC 2006: 165-180
• 
  Jan Tobias Mühlberg, Gerald Lüttgen:
  Blasting Linux Code. FMICS/PDMC 2006: 211-226
• 
  Christophe Pajault, Jean-François Pradat-Peyre:
  Distributed Colored Petri Net Model-Checking with Cyclades. FMICS/PDMC 2006: 347-361
• 
  Indranil Saha, Suman Roy:
  A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC 2006: 227-243
• 
  Hassen Saïdi:
  Discovering Symmetries. FMICS/PDMC 2006: 67-83
• 
  Anna Slobodová:
  Challenges for Formal Verification in Industrial Setting. FMICS/PDMC 2006: 1-22
• 
  Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák:
  Verifying VHDL Designs with Multiple Clocks in SMV. FMICS/PDMC 2006: 148-164
• 
  Tim A. C. Willemse:
  Heuristics for ioco -Based Test-Based Modelling. FMICS/PDMC 2006: 132-147
• 
  Wenhui Zhang:
  SAT-Based Verification of LTL Formulas. FMICS/PDMC 2006: 277-292