default search action

combined dblp search
author search
venue search
publication search

ask others

27th SBMF 2024: Vitória, 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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2024
Sidney C. Nogueira, Ciprian Teodorov:
Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings. Lecture Notes in Computer Science 15403, Springer 2025, ISBN 978-3-031-78115-5

Formal Analysis and Verification in Temporal and Symbolic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Saeedloei24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Saeedloei24
Neda Saeedloei:
On the Existence of Unions of Timed Scenarios. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/KulczynskiLMPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/KulczynskiLMPS24
Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn:
SMTQuery: Analysing SMT-LIB String Benchmarks. 22-34
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/DhonthiSHH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DhonthiSHH24
Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi:
Autonomous Vehicles Path Planning Under Temporal Logic Specifications. 35-45

Formal Semantics and Verification of UML Models

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FerreiraL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FerreiraL24
Diego Ferreira, Lucas Lima:
A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification. 49-67
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FerreiraL24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FerreiraL24a
Diego Ferreira, Lucas Lima:
Verifying Integrated Designs of UML State Machines and Activities Using CSP. 68-85
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CarvalhoDS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CarvalhoDS24
Gustavo Carvalho, José Dihego, Augusto Sampaio:
An Integrated Framework for Analysing, Simulating and Testing UML Models. 86-104

Formal Verification and Proof Techniques in Algorithms and Logics

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/RamosRS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/RamosRS24
Filipe Ramos, Karina Girardi Roggia, Rafael Castro Gonçalves Silva:
Brzozowski's Algorithm for Automata Minimization Verified in Coq. 107-119
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/NunesRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NunesRT24
Miguel Alfredo Nunes, Karina Girardi Roggia, Paulo Henrique Torrens:
Soundness-Preserving Fusion of Modal Logics in Coq. 120-138
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/VelasquezHH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/VelasquezHH24
Bernny Velasquez, Jessica Herring, Nadeem Abdul Hamid:
Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm. 139-152

Formal Methods for Security and Privacy

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/WashburnS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/WashburnS24
Alex J. Washburn, Subash Shankar:
Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM. 155-170
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SoaresABFL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SoaresABFL24
Luigi D. C. Soares, Mário S. Alvim, Di Bu, Natasha Fernandes, Yin Liao:
Formal Privacy Analyses for Open Banking. 171-193
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FerreiraASRA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FerreiraASRA24
Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. W. Roscoe, Filipe Arruda:
Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts. 194-204

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.