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

• 2022
• 
  Julius Adelt, Julian Gebker, Paula Herber:
  Towards Reusable Formal Models for Custom Real-Time Operating Systems. FMICS 2022: 69-85
• 
  Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel:
  Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. FMICS 2022: 121-133
• 
  Rose Bohrer:
  Chemical Case Studies in KeYmaera X. FMICS 2022: 103-120
• 
  Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles:
  Deductive Verification of Smart Contracts with Dafny. FMICS 2022: 50-66
• 
  Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel:
  Model-Based Testing of Internet of Things Protocols. FMICS 2022: 172-189
• 
  Marco Grochowski, Marcus Völker, Stefan Kowalewski:
  Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. FMICS 2022: 137-154
• 
  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
  Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7
• 
  Anton Hampus, Mattias Nyberg:
  Formally Verifying Decompositions of Stochastic Specifications. FMICS 2022: 193-210
• 
  Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn:
  A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. FMICS 2022: 226-243
• 
  Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher:
  Verification of Behavior Trees using Linear Constrained Horn Clauses. FMICS 2022: 211-225
• 
  Bas Luttik:
  Supporting Railway Innovations with Formal Modelling and Verification. FMICS 2022: 8-11
• 
  André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira:
  Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. FMICS 2022: 155-171
• 
  Anna Stramaglia, Jeroen J. A. Keiren:
  Formal Verification of an Industrial UML-like Model using mCRL2. FMICS 2022: 86-102
• 
  Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober:
  Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. FMICS 2022: 15-31
• 
  Fabian Vu, Christopher Happe, Michael Leuschel:
  Generating Domain-Specific Interactive Validation Documents. FMICS 2022: 32-49
• 
  Jan Friso Groote, Marieke Huisman:
  Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Lecture Notes in Computer Science 13487, Springer 2022, ISBN 978-3-031-15007-4 [contents]