default search action

combined dblp search
author search
venue search
publication search

ask others

28th SBMF 2025: Recife, 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/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2025
Maurice H. ter Beek, Leopoldo Teixeira:
Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings. Lecture Notes in Computer Science 16363, Springer 2026, ISBN 978-3-032-12085-4

Process Algebras and Time

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Gruska25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Gruska25
Damas P. Gruska:
State-Based Security and Time-Inserting Supervisors. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/NdounaFM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NdounaFM25
Alex Rodrigue Ndouna, Marc Frappier, Frédéric Mallet:
A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD. 19-36

Formal Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/DiasOL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DiasOL25
Fagner Dias, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte:
Bridging the B-Method and ACSL: Towards Verified C Code. 39-60
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/TeodorovLNGL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/TeodorovLNGL25
Ciprian Teodorov, Lucas Lima, Sidney C. Nogueira, Sylvain Guérin, Loïc Lagadec:
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models. 61-81
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Andrade25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Andrade25
Jefferson O. Andrade:
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems. 82-97

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/ArrudaBS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ArrudaBS25
Filipe Arruda, Flávia A. Barros, Augusto Sampaio:
Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language. 101-118
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CarvalhoSSS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CarvalhoSSS25
Gustavo Carvalho, Lucas Santana, Fábio Sobral, Beatriz Souza:
Executable Conformance Testing Theories: From Theory to Practice and Back. 119-137

Availability and Contracts

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/TrajanoMD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/TrajanoMD25
Raquel F. Trajano, Carlos Melo, Jamilson Dantas:
Availability Model and Evaluation of Bus Rapid Transit Surveillance System. 141-155
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/DridiPS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DridiPS25
Charaf Eddine Dridi, Violet Ka I Pun, Volker Stolz:
Resource Contracts for Active Objects. 156-175

Formal Methods and AI

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/HosseinkhaniL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/HosseinkhaniL25
Elaheh Hosseinkhani, Martin Leucker:
Inference of Deterministic Finite Automata via Q-Learning. 179-195
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Lecomte25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Lecomte25
Thierry Lecomte:
Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems. 196-206

Teaching and Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Lins25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Lins25
Rafael Dueire Lins:
The Turner 2-Strings Machines. 209-224
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CuconatoH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CuconatoH25
Bruno Cuconato, Edward Hermann Haeusler:
A Proof of the De Zolt Postulate in Three-Dimensional Space. 225-241

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.