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

• 2016
• 
  Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros:
  Model Checking Requirements. SBMF 2016: 217-234
• 
  Pablo F. Castro, Nazareno Aguirre:
  Algebraic Foundations for Specification Refinements. SBMF 2016: 112-128
• 
  Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado:
  Verigraph: A System for Specification and Analysis of Graph Grammars. SBMF 2016: 78-94
• 
  Andrew Edmunds, Marina Waldén:
  Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. SBMF 2016: 97-111
• 
  Hugo Farias, Christiano Braga, Paulo Blauth Menezes:
  Massive Open Online Courses and Monoids. SBMF 2016: 179-195
• 
  Michael Leuschel:
  Formal Model-Based Constraint Solving and Document Generation. SBMF 2016: 3-20
• 
  Lucas Lima, Juliano Iyoda, Augusto Sampaio:
  Refinement Verification of Sequence Diagrams Using CSP. SBMF 2016: 235-252
• 
  Efraim Machado, Aline Andrade:
  A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. SBMF 2016: 161-178
• 
  Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias:
  An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF 2016: 145-160
• 
  Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio:
  Application of Formal Methods to Verify Business Processes. SBMF 2016: 41-58
• 
  Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira:
  An Approach for Verifying Educational Robots. SBMF 2016: 59-77
• 
  Augusto Sampaio, Filipe Arruda:
  Formal Testing from Natural Language in an Industrial Context. SBMF 2016: 21-38
• 
  Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins:
  On Interval Dynamic Logic. SBMF 2016: 129-144
• 
  Nils Timm, Stefan Gruner, Matthias Harvey:
  A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. SBMF 2016: 199-216
• 
  Leila Ribeiro, Thierry Lecomte:
  Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Lecture Notes in Computer Science 10090, 2016, ISBN 978-3-319-49814-0 [contents]