SBMF 2025: 28TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS

A
Andrade, Jefferson	Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems
Arruda, Filipe	Deriving Sound Test Scripts from Requirements written in a Controlled Natural Language
Authors, Various	Industry panel A Research Agenda for the Living SysML v2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
B
Barros, Flavia	Deriving Sound Test Scripts from Requirements written in a Controlled Natural Language
C
Carvalho, Gustavo	Executable Conformance Testing Theories: from Theory to Practice and Back
Chechik, Marsha	Formal Reasoning for Assuring Product Lines of Complex Systems
Cuconato, Bruno	A Proof of the De Zolt Postulate in Three-dimensional Space
D
Dantas, Jamilson	Availability Model and Evaluation of Bus Rapid Transit Surveillance System
Dias, Fagner	Bridging the B-Method and ACSL: Towards Verified C Code
Dridi, Charaf Eddine	Resource Contracts for Active Objects
Dueire Lins, Rafael	The Turner 2-Strings Machines
F
Frappier, Marc	A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements using TASTD
G
Gruska, Damas	State-based Security and Time-Inserting Supervisors
Guerin, Sylvain	A Research Agenda for the Living SysML v2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
H
Haeusler, Edward Hermann	A Proof of the De Zolt Postulate in Three-dimensional Space
Hamdan, Rafael	Industry talk (TBA)
Hosseinkhani, Elaheh	Inference of Deterministic Finite Automata via Q-Learning
L
Lagadec, Loïc	A Research Agenda for the Living SysML v2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
Lecomte, Thierry	Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems Bridging the B-Method and ACSL: Towards Verified C Code
Leucker, Martin	Inference of Deterministic Finite Automata via Q-Learning
M
Mallet, Frederic	A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements using TASTD
Melo, Carlos	Availability Model and Evaluation of Bus Rapid Transit Surveillance System
N
Ndouna, Alex Rodrigue	A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements using TASTD
Nogueira, Sidney C.	A Research Agenda for the Living SysML v2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
O
Oliveira, Marcel	Bridging the B-Method and ACSL: Towards Verified C Code
P
Pun, Violet Ka I	Resource Contracts for Active Objects
S
Sampaio, Augusto	Safe Evolution of Smart Contracts Supported by LLMs and Bounded Model Checking Deriving Sound Test Scripts from Requirements written in a Controlled Natural Language
Santana, Lucas	Executable Conformance Testing Theories: from Theory to Practice and Back
Sobral, Fábio	Executable Conformance Testing Theories: from Theory to Practice and Back
Souza, Beatriz	Executable Conformance Testing Theories: from Theory to Practice and Back
Stolz, Volker	Resource Contracts for Active Objects
T
Teodorov, Ciprian	A Research Agenda for the Living SysML v2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
Trajano, Raquel	Availability Model and Evaluation of Bus Rapid Transit Surveillance System
V
Vangheluwe, Hans	Exploring Modelling Language Engineering

Disclaimer | Powered by EasyChair Smart Program