logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
F

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025

IF
Papers13
Citations
Journal Papers 13
Publication Date
delete
Executable Conformance Testing Theories: From Theory to Practice and Back
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCarvalho, Gustavo; Santana, Lucas; Sobral, Fabio; Souza, Beatriz
deleteShare
deleteSave
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAndrade, Jefferson O.
deleteShare
deleteSave
Resource Contracts for Active Objects
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDridi, Charaf Eddine; Pun, Violet Ka I.; Stolz, Volker
deleteShare
deleteSave
Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteArruda, Filipe; Barros, Flavia; Sampaio, Augusto
deleteShare
deleteSave
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTeodorov, Ciprian; Lima, Lucas; Nogueira, Sidney C.; Guerin, Sylvain; Lagadec, Loic
deleteShare
deleteSave
A Proof of the De Zolt Postulate in Three-Dimensional Space
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCuconato, Bruno; Haeusler, Edward Hermann
deleteShare
deleteSave
State-Based Security and Time-Inserting Supervisors
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGruska, Damas P.
deleteShare
deleteSave
Bridging the B-Method and ACSL: Towards Verified C Code
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDias, Fagner M.; Oliveira, Marcel V. M.; Lecomte, Thierry
deleteShare
deleteSave
A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNdouna, Alex Rodrigue; Frappier, Marc; Mallet, Frederic
deleteShare
deleteSave
The Turner 2-Strings Machines
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLins, Rafael Dueire
deleteShare
deleteSave
Availability Model and Evaluation of Bus Rapid Transit Surveillance System
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTrajano, Raquel F.; Melo, Carlos; Dantas, Jamilson
deleteShare
deleteSave
Inference of Deterministic Finite Automata via Q-Learning
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHosseinkhani, Elaheh; Leucker, Martin
deleteShare
deleteSave
Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLecomte, Thierry
deleteShare
deleteSave