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

• 2024
• 
  Haniel Barbosa, Yoni Zohar:
  Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings. Lecture Notes in Computer Science 14414, Springer 2024, ISBN 978-3-031-49341-6 [contents]
• 2023
• 
  Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio:
  Sound Test Case Generation for Concurrent Mobile Features. SBMF 2023: 92-109
• 
  P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira:
  CSP Specification and Verification of a Relay-Based Railway Interlocking System. SBMF 2023: 36-54
• 
  Adilson Luiz Bonifácio:
  Language-Based Testing for Pushdown Reactive Systems. SBMF 2023: 75-91
• 
  Steven Jordaan, Nils Timm, Linda Marshall:
  AutomaTutor: An Educational Mobile App for Teaching Automata Theory. SBMF 2023: 131-140
• 
  Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa:
  ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. SBMF 2023: 55-71
• 
  Cecilia Manzino, Gonzalo de Latorre:
  A Haskell-Embedded DSL for Secure Information-Flow. SBMF 2023: 20-35
• 
  Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira:
  Automated Code Generation for DES Controllers Modeled as Finite State Machines. SBMF 2023: 113-130
• 
  Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro:
  ESBMC v7.3: Model Checking C++ Programs Using Clang AST. SBMF 2023: 141-152
• 
  Rodrigo Stevaux, Ana C. V. de Melo:
  A Formal Model for Startups Financial Transactions. SBMF 2023: 3-19
• 2022
• 
  Mohamed Abdelghany, Sofiène Tahar:
  Formalization of Functional Block Diagrams Using HOL Theorem Proving. SBMF 2022: 22-35
• 
  Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro:
  A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. SBMF 2022: 39-54
• 
  Maksym Bortin:
  Synthesis of Implementations for Divide-and-Conquer Specifications. SBMF 2022: 73-88
• 
  Matthias Güdemann, Klaus Riedl:
  Level-Up - From Bits to Words. SBMF 2022: 124-142
• 
  Geoff W. Hamilton, Benjamin Aziz:
  Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. SBMF 2022: 109-123
• 
  Joabe Jesus, Augusto Sampaio:
  Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. SBMF 2022: 91-108
• 
  Neda Saeedloei, Feliks Kluzniak:
  An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. SBMF 2022: 3-21
• 
  Luciano Silva, Marcel Oliveira:
  Automatic Generation of Verified Concurrent Hardware Using VHDL. SBMF 2022: 55-72
• 
  Lucas Lima, Vince Molnár:
  Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13768, Springer 2022, ISBN 978-3-031-22475-1 [contents]
• 2021
• 
  Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob:
  Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. SBMF 2021: 70-86
• 
  Muhammad Rizwan Ali, Violet Ka I Pun:
  Cost Analysis for an Actor-Based Workflow Modelling Language. SBMF 2021: 104-121
• 
  Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao:
  Statistical Model Checking for Traffic Models. SBMF 2021: 17-33
• 
  Diogo Raphael Cravo, Leila Ribeiro:
  Module Integration Using Graph Grammars (MIGRATE). SBMF 2021: 87-103
• 
  Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima:
  Visual Specification of Properties for Robotic Designs. SBMF 2021: 34-52
• 
  Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha:
  A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. SBMF 2021: 1-16
• 
  Neda Saeedloei, Feliks Kluzniak:
  Minimization of the Number of Clocks for Timed Scenarios. SBMF 2021: 122-139
• 
  Nils Timm, Josua Botha:
  Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. SBMF 2021: 53-69
• 
  Sérgio Campos, Marius Minea:
  Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13130, Springer 2021, ISBN 978-3-030-92136-1 [contents]
• 2020
• 
  Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro:
  Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. SBMF 2020: 192-209
• 
  Nikolaj S. Bjørner, Lev Nachmanson:
  Navigating the Universe of Z3 Theory Solvers. SBMF 2020: 8-24

skipping 260 more matches