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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-031-49341-6 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Adilson Luiz Bonifácio |
Language-Based Testing for Pushdown Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 75-91, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 141-152, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa |
ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 55-71, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio |
Sound Test Case Generation for Concurrent Mobile Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 92-109, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 113-130, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 36-54, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Steven Jordaan, Nils Timm, Linda Marshall |
AutomaTutor: An Educational Mobile App for Teaching Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 131-140, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cecilia Manzino, Gonzalo de Latorre |
A Haskell-Embedded DSL for Secure Information-Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 20-35, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Stevaux, Ana C. V. de Melo |
A Formal Model for Startups Financial Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 3-19, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton, Benjamin Aziz |
Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 109-123, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joabe Jesus, Augusto Sampaio |
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 91-108, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Klaus Riedl |
Level-Up - From Bits to Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 124-142, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 39-54, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 3-21, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maksym Bortin |
Synthesis of Implementations for Divide-and-Conquer Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 73-88, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Silva, Marcel Oliveira |
Automatic Generation of Verified Concurrent Hardware Using VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 55-72, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-031-22475-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Abdelghany, Sofiène Tahar |
Formalization of Functional Block Diagrams Using HOL Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 22-35, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 1-16, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao |
Statistical Model Checking for Traffic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 17-33, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Raphael Cravo, Leila Ribeiro 0001 |
Module Integration Using Graph Grammars (MIGRATE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 87-103, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima 0001 |
Visual Specification of Properties for Robotic Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 34-52, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Josua Botha |
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 53-69, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-030-92136-1 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Minimization of the Number of Clocks for Timed Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 122-139, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abdulrazaq Abba, Ana Cavalcanti 0001, Jeremy Jacob |
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 70-86, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Rizwan Ali, Violet Ka I Pun |
Cost Analysis for an Actor-Based Workflow Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 104-121, 2021, Springer, 978-3-030-92136-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 45-63, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 101-118, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Lev Nachmanson |
Navigating the Universe of Z3 Theory Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 8-24, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Suene Campos, Regivan H. N. Santiago, Manuel A. Martins 0001, Daniel Figueiredo 0001 |
Reversal Fuzzy Switch Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 137-154, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chong Liu, Nuno Macedo, Alcino Cunha |
Merging Cloned Alloy Models with Colorful Refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 173-191, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | João Paixão, Pawel Sobocinski 0001 |
Calculational Proofs in Relational Graphical Linear Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 83-100, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 25-42, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Leopoldo Teixeira, Rohit Gheyi, Paulo Borba |
Safe Evolution of Product Lines Using Configuration Knowledge Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 210-227, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mihir Parang Mehta, William R. Cook |
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 155-170, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 192-209, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-030-63881-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker |
Formal Verification of Neural Networks? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 3-7, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Optimization of Timed Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 119-136, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, pp. 64-80, 2020, Springer, 978-3-030-63881-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Stefan Gruner, Matthias Harvey |
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 126-143, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio |
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 163-179, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 39-55, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Formal Design of Cloud Computing Systems in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 5-19, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tainã Santos, Gustavo Carvalho, Augusto Sampaio |
Formal Modelling of Environment Restrictions from Natural-Language Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 252-270, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas |
VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 109-125, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Youssef El Bakouny, Dani Mezher |
The Scallina Grammar - Towards a Scala Extraction for Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 90-108, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Timed Scenarios: Consistency, Equivalence and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 215-233, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Programming Language Foundations in Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 56-73, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Madiel S. Conserva Filho, R. Marinho, Alexandre Mota 0001, Jim Woodcock 0001 |
Analysing RoboChart with Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 198-214, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Come, Julien Brunel, David Doose |
Source Code Analysis with a Temporal Extension of First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 20-38, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-030-03043-8 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Mota 0001 |
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 1-4, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sumayya Shiraz, Osman Hasan |
Formal Verification of n-bit ALU Using Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 74-89, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 144-162, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flávia Falcão, Lucas Lima 0001, Augusto Sampaio |
Safe and Constructive Design with UML Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 234-251, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas, Paolo Modesti, Martin Emms |
A Methodology for Protocol Verification Applied to EMV® 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, pp. 180-197, 2018, Springer, 978-3-030-03043-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Butterfield |
UTCP: Compositional Semantics for Shared-Variable Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 253-270, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Metere, Andreas Lindner, Roberto Guanciale |
Sound Transpilation from Binary to Machine-Independent Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 197-214, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lucio Mauro Duarte, Leila Ribeiro 0001 |
Graph Grammar Extraction from Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 52-69, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guillermina Cledou, José Proença, Luís Soares Barbosa |
A Refinement Relation for Families of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 161-178, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leandro Gomes 0001, Alexandre Madeira, Luís Soares Barbosa |
On Kleene Algebras for Weighted Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 271-286, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 70-87, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 179-196, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 15-32, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001 |
Formal Methods for Robotics: RoboChart, RoboSim, and More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 3-6, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-319-70847-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
From Scenarios to Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 33-51, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 287-304, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Otoni, Ana Cavalcanti 0001, Augusto Sampaio |
Local Analysis of Determinism for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 107-124, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 142-158, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller |
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 7-11, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 91-106, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 125-141, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 215-232, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Checking Static Properties Using Conservative SAT Approximations for Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 233-250, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Formal Model-Based Constraint Solving and Document Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 3-20, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Lima 0001, Juliano Iyoda, Augusto Sampaio |
Refinement Verification of Sequence Diagrams Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 235-252, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio |
Application of Formal Methods to Verify Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 41-58, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 129-144, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 59-77, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Efraim Machado, Aline Andrade |
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 161-178, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 217-234, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 78-94, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, Nazareno Aguirre |
Algebraic Foundations for Specification Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 112-128, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Stefan Gruner, Matthias Harvey |
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 199-216, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-319-29472-8 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 145-160, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Farias, Christiano Braga, Paulo Blauth Menezes |
Massive Open Online Courses and Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 179-195, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Augusto Sampaio, Filipe Arruda |
Formal Testing from Natural Language in an Industrial Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 21-38, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Edmunds, Marina Waldén |
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 97-111, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![, 978-3-319-49814-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valdivino Alexandre de Santiago Jr., Sofiène Tahar |
Time Performance Formal Evaluation of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 162-177, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
Refinement Strategies for Safety-Critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 93-109, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Chareton, Julien Brunel, David Chemouil |
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 56-73, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Geraldo Ribeiro, Carlos Camarão 0001 |
A Mechanized Textbook Proof of a Type Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 127-141, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 3-18, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 145-161, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|