default search action

combined dblp search
author search
venue search
publication search

ask others

26th SBMF 2023: Manaus, Brazil

> Home > Conferences and Workshops > SBMF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2023
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

Specification and Modeling Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/StevauxM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/StevauxM23
Rodrigo Stevaux, Ana C. V. de Melo:
A Formal Model for Startups Financial Transactions. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/ManzinoL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ManzinoL23
Cecilia Manzino, Gonzalo de Latorre:
A Haskell-Embedded DSL for Secure Information-Flow. 20-35
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BezerraOLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BezerraOLP23
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. 36-54
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LimaRU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LimaRU23
Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa:
ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. 55-71

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Bonifacio23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Bonifacio23
Adilson Luiz Bonifácio:
Language-Based Testing for Pushdown Reactive Systems. 75-91
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AlmeidaNS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AlmeidaNS23
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio:
Sound Test Case Generation for Concurrent Mobile Features. 92-109

Verification and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/PossatoVST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/PossatoVST23
Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira:
Automated Code Generation for DES Controllers Modeled as Finite State Machines. 113-130
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/JordaanTM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/JordaanTM23
Steven Jordaan, Nils Timm, Linda Marshall:
AutomaTutor: An Educational Mobile App for Teaching Automata Theory. 131-140
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SongGBMC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SongGBMC23
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro:
ESBMC v7.3: Model Checking C++ Programs Using Clang AST. 141-152

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.