- Suene Campos, Regivan H. N. Santiago
, Manuel A. Martins, Daniel Figueiredo:
Reversal Fuzzy Switch Graphs. SBMF 2020: 137-154 - Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos:
Statistical Model Checking in Drug Repurposing for Alzheimer's Disease. SBMF 2020: 64-80 - Martin Leucker:
Formal Verification of Neural Networks? SBMF 2020: 3-7 - Chong Liu, Nuno Macedo, Alcino Cunha:
Merging Cloned Alloy Models with Colorful Refactorings. SBMF 2020: 173-191 - Mihir Parang Mehta, William R. Cook:
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. SBMF 2020: 155-170 - Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag:
Safety Assurance of a High Voltage Controller for an Industrial Robotic System. SBMF 2020: 45-63 - João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
Modeling Big Data Processing Programs. SBMF 2020: 101-118 - Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro, Alessandro F. Garcia:
Revisiting Refactoring Mechanics from Tool Developers' Perspective. SBMF 2020: 25-42 - João Paixão, Pawel Sobocinski:
Calculational Proofs in Relational Graphical Linear Algebra. SBMF 2020: 83-100 - Neda Saeedloei, Feliks Kluzniak:
Optimization of Timed Scenarios. SBMF 2020: 119-136 - Leopoldo Teixeira, Rohit Gheyi, Paulo Borba:
Safe Evolution of Product Lines Using Configuration Knowledge Laws. SBMF 2020: 210-227 - Gustavo Carvalho, Volker Stolz:
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science 12475, Springer 2020, ISBN 978-3-030-63881-8 [contents] - 2018
- Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio:
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. SBMF 2018: 163-179 - Youssef El Bakouny, Dani Mezher:
The Scallina Grammar - Towards a Scala Extraction for Coq. SBMF 2018: 90-108 - David Come, Julien Brunel, David Doose:
Source Code Analysis with a Temporal Extension of First-Order Logic. SBMF 2018: 20-38 - Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-Based Specification Language. SBMF 2018: 144-162 - Flávia Falcão, Lucas Lima, Augusto Sampaio:
Safe and Constructive Design with UML Components. SBMF 2018: 234-251 - Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. SBMF 2018: 39-55 - Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock:
Analysing RoboChart with Probabilities. SBMF 2018: 198-214 - Leo Freitas:
VDM at Large: Modelling the EMV® 2nd 2 nd Generation Kernel. SBMF 2018: 109-125 - Leo Freitas, Paolo Modesti, Martin Emms:
A Methodology for Protocol Verification Applied to EMV® 1. SBMF 2018: 180-197 - José Meseguer:
Formal Design of Cloud Computing Systems in Maude. SBMF 2018: 5-19 - Alexandre Mota:
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser. SBMF 2018: 1-4 - Neda Saeedloei, Feliks Kluzniak:
Timed Scenarios: Consistency, Equivalence and Optimization. SBMF 2018: 215-233 - Tainã Santos, Gustavo Carvalho, Augusto Sampaio:
Formal Modelling of Environment Restrictions from Natural-Language Requirements. SBMF 2018: 252-270 - Sumayya Shiraz, Osman Hasan:
Formal Verification of n-bit ALU Using Theorem Proving. SBMF 2018: 74-89 - Nils Timm, Stefan Gruner, Matthias Harvey:
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. SBMF 2018: 126-143 - Philip Wadler:
Programming Language Foundations in Agda. SBMF 2018: 56-73 - Tiago Massoni, Mohammad Reza Mousavi:
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. Lecture Notes in Computer Science 11254, Springer 2018, ISBN 978-3-030-03043-8 [contents] - 2017
- Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. SBMF 2017: 15-32
