Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Haniel Barbosa, Yoni Zohar (eds.) |
Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings |
SBMF |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Adilson Luiz Bonifácio |
Language-Based Testing for Pushdown Reactive Systems. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro |
ESBMC v7.3: Model Checking C++ Programs Using Clang AST. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa |
ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio |
Sound Test Case Generation for Concurrent Mobile Features. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira |
Automated Code Generation for DES Controllers Modeled as Finite State Machines. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira |
CSP Specification and Verification of a Relay-Based Railway Interlocking System. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Steven Jordaan, Nils Timm, Linda Marshall |
AutomaTutor: An Educational Mobile App for Teaching Automata Theory. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cecilia Manzino, Gonzalo de Latorre |
A Haskell-Embedded DSL for Secure Information-Flow. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Stevaux, Ana C. V. de Melo |
A Formal Model for Startups Financial Transactions. |
SBMF |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton, Benjamin Aziz |
Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joabe Jesus, Augusto Sampaio |
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Klaus Riedl |
Level-Up - From Bits to Words. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro |
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maksym Bortin |
Synthesis of Implementations for Divide-and-Conquer Specifications. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Silva, Marcel Oliveira |
Automatic Generation of Verified Concurrent Hardware Using VHDL. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Lima 0001, Vince Molnár (eds.) |
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Abdelghany, Sofiène Tahar |
Formalization of Functional Block Diagrams Using HOL Theorem Proving. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha |
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao |
Statistical Model Checking for Traffic Models. |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Raphael Cravo, Leila Ribeiro 0001 |
Module Integration Using Graph Grammars (MIGRATE). |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima 0001 |
Visual Specification of Properties for Robotic Designs. |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Josua Botha |
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Campos, Marius Minea (eds.) |
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Minimization of the Number of Clocks for Timed Scenarios. |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abdulrazaq Abba, Ana Cavalcanti 0001, Jeremy Jacob |
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Rizwan Ali, Violet Ka I Pun |
Cost Analysis for an Actor-Based Workflow Modelling Language. |
SBMF |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro 0002, Rabah Saleh Hagag |
Safety Assurance of a High Voltage Controller for an Industrial Robotic System. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante |
Modeling Big Data Processing Programs. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Lev Nachmanson |
Navigating the Universe of Z3 Theory Solvers. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Suene Campos, Regivan H. N. Santiago, Manuel A. Martins 0001, Daniel Figueiredo 0001 |
Reversal Fuzzy Switch Graphs. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chong Liu, Nuno Macedo, Alcino Cunha |
Merging Cloned Alloy Models with Colorful Refactorings. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | João Paixão, Pawel Sobocinski 0001 |
Calculational Proofs in Relational Graphical Linear Algebra. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro 0001, Alessandro F. Garcia 0001 |
Revisiting Refactoring Mechanics from Tool Developers' Perspective. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Leopoldo Teixeira, Rohit Gheyi, Paulo Borba |
Safe Evolution of Product Lines Using Configuration Knowledge Laws. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mihir Parang Mehta, William R. Cook |
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro |
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Carvalho, Volker Stolz (eds.) |
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker |
Formal Verification of Neural Networks? |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Optimization of Timed Scenarios. |
SBMF |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Stefan Gruner, Matthias Harvey |
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio |
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Formal Design of Cloud Computing Systems in Maude. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tainã Santos, Gustavo Carvalho, Augusto Sampaio |
Formal Modelling of Environment Restrictions from Natural-Language Requirements. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas |
VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Youssef El Bakouny, Dani Mezher |
The Scallina Grammar - Towards a Scala Extraction for Coq. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Timed Scenarios: Consistency, Equivalence and Optimization. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Programming Language Foundations in Agda. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Madiel S. Conserva Filho, R. Marinho, Alexandre Mota 0001, Jim Woodcock 0001 |
Analysing RoboChart with Probabilities. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Come, Julien Brunel, David Doose |
Source Code Analysis with a Temporal Extension of First-Order Logic. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Massoni, Mohammad Reza Mousavi 0001 (eds.) |
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Mota 0001 |
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sumayya Shiraz, Osman Hasan |
Formal Verification of n-bit ALU Using Theorem Proving. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma |
TeSSLa: Temporal Stream-Based Specification Language. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flávia Falcão, Lucas Lima 0001, Augusto Sampaio |
Safe and Constructive Design with UML Components. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas, Paolo Modesti, Martin Emms |
A Methodology for Protocol Verification Applied to EMV® 1. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Butterfield |
UTCP: Compositional Semantics for Shared-Variable Concurrency. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Metere, Andreas Lindner, Roberto Guanciale |
Sound Transpilation from Binary to Machine-Independent Code. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lucio Mauro Duarte, Leila Ribeiro 0001 |
Graph Grammar Extraction from Source Code. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guillermina Cledou, José Proença, Luís Soares Barbosa |
A Refinement Relation for Families of Timed Automata. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leandro Gomes 0001, Alexandre Madeira, Luís Soares Barbosa |
On Kleene Algebras for Weighted Computation. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin |
Applying a Formal Method in Industry: A 25-Year Trajectory. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz 0001, Alexander Weiss |
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon |
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001 |
Formal Methods for Robotics: RoboChart, RoboSim, and More. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simone André da Costa Cavalheiro, José Luiz Fiadeiro (eds.) |
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
From Scenarios to Timed Automata. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0010, Xiyue Zhang, Yuanyi Ji, Meng Sun 0002 |
Capturing Stochastic and Real-Time Behavior in Reo Connectors. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Otoni, Ana Cavalcanti 0001, Augusto Sampaio |
Local Analysis of Determinism for CSP. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver |
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller |
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole |
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Higo F. Albuquerque, Rodrigo F. Araujo 0001, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho |
OptCE: A Counterexample-Guided Inductive Optimization Solver. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kênia Santos de Oliveira, Stéphane Julia |
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Checking Static Properties Using Conservative SAT Approximations for Reachability. |
SBMF |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Formal Model-Based Constraint Solving and Document Generation. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Lima 0001, Juliano Iyoda, Augusto Sampaio |
Refinement Verification of Sequence Diagrams Using CSP. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio |
Application of Formal Methods to Verify Business Processes. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins 0001 |
On Interval Dynamic Logic. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota 0001, Emanuel Oliveira, Itamar Moraes, Iverson Pereira |
An Approach for Verifying Educational Robots. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Efraim Machado, Aline Andrade |
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota 0001, Flávia de Almeida Barros |
Model Checking Requirements. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado |
Verigraph: A System for Specification and Analysis of Graph Grammars. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, Nazareno Aguirre |
Algebraic Foundations for Specification Refinements. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Stefan Gruner, Matthias Harvey |
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Márcio Cornélio, Bill Roscoe (eds.) |
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias |
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Farias, Christiano Braga, Paulo Blauth Menezes |
Massive Open Online Courses and Monoids. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Augusto Sampaio, Filipe Arruda |
Formal Testing from Natural Language in an Industrial Context. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Edmunds, Marina Waldén |
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leila Ribeiro 0001, Thierry Lecomte (eds.) |
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings |
SBMF |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valdivino Alexandre de Santiago Jr., Sofiène Tahar |
Time Performance Formal Evaluation of Complex Systems. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
Refinement Strategies for Safety-Critical Java. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Chareton, Julien Brunel, David Chemouil |
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Geraldo Ribeiro, Carlos Camarão 0001 |
A Mechanized Textbook Proof of a Type Unification Algorithm. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | F. J. S. Macário, Marcel Vinícius Medeiros Oliveira |
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio |
Automatic Generation of Test Cases and Test Purposes from Natural Language. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|