Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/sbmf:"
download as .bib file
@proceedings{DBLP:conf/sbmf/2023,
editor = {Haniel Barbosa and
Yoni Zohar},
title = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-49342-3},
doi = {10.1007/978-3-031-49342-3},
isbn = {978-3-031-49341-6},
timestamp = {Sat, 09 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AlmeidaNS23,
author = {Rafaela Almeida and
Sidney C. Nogueira and
Augusto Sampaio},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {Sound Test Case Generation for Concurrent Mobile Features},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {92--109},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_6},
doi = {10.1007/978-3-031-49342-3\_6},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AlmeidaNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BezerraOLP23,
author = {P. E. R. Bezerra and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Thierry Lecomte and
Dalay Israel de Almeida Pereira},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {{CSP} Specification and Verification of a Relay-Based Railway Interlocking
System},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {36--54},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_3},
doi = {10.1007/978-3-031-49342-3\_3},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/BezerraOLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Bonifacio23,
author = {Adilson Luiz Bonif{\'{a}}cio},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {Language-Based Testing for Pushdown Reactive Systems},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {75--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_5},
doi = {10.1007/978-3-031-49342-3\_5},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Bonifacio23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JordaanTM23,
author = {Steven Jordaan and
Nils Timm and
Linda Marshall},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {AutomaTutor: An Educational Mobile App for Teaching Automata Theory},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {131--140},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_8},
doi = {10.1007/978-3-031-49342-3\_8},
timestamp = {Sat, 09 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/JordaanTM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LimaRU23,
author = {Guilherme Lima and
Alexandre Rademaker and
Rosario Uceda{-}Sosa},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {{ULKB} Logic: {A} HOL-Based Framework for Reasoning over Knowledge
Graphs},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {55--71},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_4},
doi = {10.1007/978-3-031-49342-3\_4},
timestamp = {Sat, 09 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/LimaRU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ManzinoL23,
author = {Cecilia Manzino and
Gonzalo de Latorre},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {A Haskell-Embedded {DSL} for Secure Information-Flow},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {20--35},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_2},
doi = {10.1007/978-3-031-49342-3\_2},
timestamp = {Sat, 09 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/ManzinoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/PossatoVST23,
author = {Tiago Possato and
Jo{\~{a}}o H. Valentini and
Luiz Fernando Puttow Southier and
Marcelo Teixeira},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {Automated Code Generation for {DES} Controllers Modeled as Finite
State Machines},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {113--130},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_7},
doi = {10.1007/978-3-031-49342-3\_7},
timestamp = {Sat, 09 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/PossatoVST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SongGBMC23,
author = {Kunjian Song and
Mikhail R. Gadelha and
Franz Brau{\ss}e and
Rafael S. Menezes and
Lucas C. Cordeiro},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {{ESBMC} v7.3: Model Checking {C++} Programs Using Clang {AST}},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {141--152},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_9},
doi = {10.1007/978-3-031-49342-3\_9},
timestamp = {Sat, 09 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SongGBMC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/StevauxM23,
author = {Rodrigo Stevaux and
Ana C. V. de Melo},
editor = {Haniel Barbosa and
Yoni Zohar},
title = {A Formal Model for Startups Financial Transactions},
booktitle = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
{SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14414},
pages = {3--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49342-3\_1},
doi = {10.1007/978-3-031-49342-3\_1},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/StevauxM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AbdelghanyT22,
author = {Mohamed Abdelghany and
Sofi{\`{e}}ne Tahar},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Formalization of Functional Block Diagrams Using {HOL} Theorem Proving},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {22--35},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_2},
doi = {10.1007/978-3-031-22476-8\_2},
timestamp = {Thu, 08 Dec 2022 15:05:31 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/AbdelghanyT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AmaroFR22,
author = {Maycon Amaro and
Samuel da Silva Feitosa and
Rodrigo Geraldo Ribeiro},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {A Sound Strategy to Compile General Recursion into Finite Depth Pattern
Matching},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {39--54},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_3},
doi = {10.1007/978-3-031-22476-8\_3},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/AmaroFR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Bortin22,
author = {Maksym Bortin},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Synthesis of Implementations for Divide-and-Conquer Specifications},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {73--88},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_5},
doi = {10.1007/978-3-031-22476-8\_5},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Bortin22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GudemannR22,
author = {Matthias G{\"{u}}demann and
Klaus Riedl},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Level-Up - From Bits to Words},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {124--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_8},
doi = {10.1007/978-3-031-22476-8\_8},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/GudemannR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/HamiltonA22,
author = {Geoff W. Hamilton and
Benjamin Aziz},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Excommunication: Transforming {\(\pi\)}-Calculus Specifications to
Remove Internal Communication},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {109--123},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_7},
doi = {10.1007/978-3-031-22476-8\_7},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/HamiltonA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JesusS22,
author = {Joabe Jesus and
Augusto Sampaio},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Compositional Verification of Simulink Block Diagrams Using tock-CSP
and CSP-Prover},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {91--108},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_6},
doi = {10.1007/978-3-031-22476-8\_6},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/JesusS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SaeedloeiK22,
author = {Neda Saeedloei and
Feliks Kluzniak},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {An Efficient Customized Clock Allocation Algorithm for a Class of
Timed Automata},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {3--21},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_1},
doi = {10.1007/978-3-031-22476-8\_1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SaeedloeiK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SilvaO22,
author = {Luciano Silva and
Marcel Oliveira},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Automatic Generation of Verified Concurrent Hardware Using {VHDL}},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {55--72},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_4},
doi = {10.1007/978-3-031-22476-8\_4},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SilvaO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2022,
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8},
doi = {10.1007/978-3-031-22476-8},
isbn = {978-3-031-22475-1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AbbaCJ21,
author = {Abdulrazaq Abba and
Ana Cavalcanti and
Jeremy Jacob},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Temporal Reasoning Through Automatic Translation of tock-CSP into
Timed Automata},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {70--86},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_5},
doi = {10.1007/978-3-030-92137-8\_5},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/AbbaCJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AliP21,
author = {Muhammad Rizwan Ali and
Violet Ka I Pun},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Cost Analysis for an Actor-Based Workflow Modelling Language},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {104--121},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_7},
doi = {10.1007/978-3-030-92137-8\_7},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/AliP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BKPR21,
author = {Thamilselvam B and
Subrahmanyam Kalyanasundaram and
Shubham Parmar and
M. V. Panduranga Rao},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Statistical Model Checking for Traffic Models},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {17--33},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_2},
doi = {10.1007/978-3-030-92137-8\_2},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/BKPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CravoR21,
author = {Diogo Raphael Cravo and
Leila Ribeiro},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Module Integration Using Graph Grammars {(MIGRATE)}},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {87--103},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_6},
doi = {10.1007/978-3-030-92137-8\_6},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/CravoR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LindosoNDL21,
author = {Waldeck Lindoso and
Sidney C. Nogueira and
Renato Domingues and
Lucas Lima},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Visual Specification of Properties for Robotic Designs},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {34--52},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_3},
doi = {10.1007/978-3-030-92137-8\_3},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/LindosoNDL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MenezesMR21,
author = {Bruno Menezes and
Ana Teresa C. Martins and
Thiago Alves Rocha},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {A Two-Level Approach Based on Model Checking to Support Architecture
Conformance Checking},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {1--16},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_1},
doi = {10.1007/978-3-030-92137-8\_1},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/MenezesMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SaeedloeiK21,
author = {Neda Saeedloei and
Feliks Kluzniak},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Minimization of the Number of Clocks for Timed Scenarios},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {122--139},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_8},
doi = {10.1007/978-3-030-92137-8\_8},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SaeedloeiK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/TimmB21,
author = {Nils Timm and
Josua Botha},
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Model Checking and Strategy Synthesis for Multi-agent Systems for
Resource Allocation},
booktitle = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
pages = {53--69},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8\_4},
doi = {10.1007/978-3-030-92137-8\_4},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/TimmB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2021,
editor = {S{\'{e}}rgio Campos and
Marius Minea},
title = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
{SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13130},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92137-8},
doi = {10.1007/978-3-030-92137-8},
isbn = {978-3-030-92136-1},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AlvesTAC20,
author = {Thayonara Alves and
Leopoldo Teixeira and
Vander Alves and
Thiago M. Castro},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Porting the Software Product Line Refinement Theory to the Coq Proof
Assistant},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {192--209},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_12},
doi = {10.1007/978-3-030-63882-5\_12},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/AlvesTAC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BjornerN20,
author = {Nikolaj S. Bj{\o}rner and
Lev Nachmanson},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Navigating the Universe of {Z3} Theory Solvers},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {8--24},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_2},
doi = {10.1007/978-3-030-63882-5\_2},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BjornerN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CamposSMF20,
author = {Suene Campos and
Regivan H. N. Santiago and
Manuel A. Martins and
Daniel Figueiredo},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Reversal Fuzzy Switch Graphs},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {137--154},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_9},
doi = {10.1007/978-3-030-63882-5\_9},
timestamp = {Fri, 14 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CamposSMF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FernandesGOC20,
author = {Herbert Rausch Fernandes and
Giovanni Freitas Gomes and
Antonio Carlos Pinheiro de Oliveira and
S{\'{e}}rgio Vale Aguiar Campos},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Statistical Model Checking in Drug Repurposing for Alzheimer's Disease},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {64--80},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_5},
doi = {10.1007/978-3-030-63882-5\_5},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FernandesGOC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Leucker20,
author = {Martin Leucker},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Formal Verification of Neural Networks?},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {3--7},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_1},
doi = {10.1007/978-3-030-63882-5\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Leucker20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LiuMC20,
author = {Chong Liu and
Nuno Macedo and
Alcino Cunha},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Merging Cloned Alloy Models with Colorful Refactorings},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {173--191},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_11},
doi = {10.1007/978-3-030-63882-5\_11},
timestamp = {Tue, 25 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LiuMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MehtaC20,
author = {Mihir Parang Mehta and
William R. Cook},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Separation Logic-Based Verification Atop a Binary-Compatible Filesystem
Model},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {155--170},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_10},
doi = {10.1007/978-3-030-63882-5\_10},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/MehtaC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MurrayASRH20,
author = {Yvonne Murray and
David A. Anisi and
Martin Sirev{\aa}g and
Pedro Ribeiro and
Rabah Saleh Hagag},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Safety Assurance of a High Voltage Controller for an Industrial Robotic
System},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {45--63},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_4},
doi = {10.1007/978-3-030-63882-5\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MurrayASRH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/NetoMVM20,
author = {Jo{\~{a}}o Batista de Souza Neto and
Anamaria Martins Moreira and
Genoveva Vargas{-}Solar and
Martin A. Musicante},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Modeling Big Data Processing Programs},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {101--118},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_7},
doi = {10.1007/978-3-030-63882-5\_7},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/NetoMVM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/OliveiraGPMRG20,
author = {Jonhnanthan Oliveira and
Rohit Gheyi and
Felipe Pontes and
Melina Mongiovi and
M{\'{a}}rcio Ribeiro and
Alessandro F. Garcia},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Revisiting Refactoring Mechanics from Tool Developers' Perspective},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {25--42},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_3},
doi = {10.1007/978-3-030-63882-5\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/OliveiraGPMRG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/PaixaoS20,
author = {Jo{\~{a}}o Paix{\~{a}}o and
Pawel Sobocinski},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Calculational Proofs in Relational Graphical Linear Algebra},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {83--100},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_6},
doi = {10.1007/978-3-030-63882-5\_6},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/PaixaoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SaeedloeiK20,
author = {Neda Saeedloei and
Feliks Kluzniak},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Optimization of Timed Scenarios},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {119--136},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_8},
doi = {10.1007/978-3-030-63882-5\_8},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SaeedloeiK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/TeixeiraGB20,
author = {Leopoldo Teixeira and
Rohit Gheyi and
Paulo Borba},
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Safe Evolution of Product Lines Using Configuration Knowledge Laws},
booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
pages = {210--227},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5\_13},
doi = {10.1007/978-3-030-63882-5\_13},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/TeixeiraGB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2020,
editor = {Gustavo Carvalho and
Volker Stolz},
title = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
{SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12475},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63882-5},
doi = {10.1007/978-3-030-63882-5},
isbn = {978-3-030-63881-8},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AlmeidaNS18,
author = {Rafaela Almeida and
Sidney C. Nogueira and
Augusto Sampaio},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Automatic Test Case Generation for Concurrent Features from Natural
Language Descriptions},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {163--179},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_11},
doi = {10.1007/978-3-030-03044-5\_11},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AlmeidaNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BakounyM18,
author = {Youssef El Bakouny and
Dani Mezher},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {The Scallina Grammar - Towards a Scala Extraction for Coq},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {90--108},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_7},
doi = {10.1007/978-3-030-03044-5\_7},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/BakounyM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ComeBD18,
author = {David Come and
Julien Brunel and
David Doose},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Source Code Analysis with a Temporal Extension of First-Order Logic},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {20--38},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_3},
doi = {10.1007/978-3-030-03044-5\_3},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/ComeBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ConventHLS0T18,
author = {Lukas Convent and
Sebastian Hungerecker and
Martin Leucker and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {TeSSLa: Temporal Stream-Based Specification Language},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {144--162},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_10},
doi = {10.1007/978-3-030-03044-5\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ConventHLS0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FalcaoLS18,
author = {Fl{\'{a}}via Falc{\~{a}}o and
Lucas Lima and
Augusto Sampaio},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Safe and Constructive Design with {UML} Components},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {234--251},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_15},
doi = {10.1007/978-3-030-03044-5\_15},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FalcaoLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FeitosaRB18,
author = {Samuel da Silva Feitosa and
Rodrigo Geraldo Ribeiro and
Andr{\'{e}} Rauber Du Bois},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {A Type-Directed Algorithm to Generate Well-Typed Featherweight Java
Programs},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {39--55},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_4},
doi = {10.1007/978-3-030-03044-5\_4},
timestamp = {Fri, 10 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FeitosaRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FilhoMMW18,
author = {Madiel S. Conserva Filho and
R. Marinho and
Alexandre Mota and
Jim Woodcock},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Analysing RoboChart with Probabilities},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {198--214},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_13},
doi = {10.1007/978-3-030-03044-5\_13},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FilhoMMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Freitas18,
author = {Leo Freitas},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {{VDM} at Large: Modelling the EMV{\textregistered} 2nd 2 nd Generation
Kernel},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {109--125},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_8},
doi = {10.1007/978-3-030-03044-5\_8},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Freitas18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FreitasME18,
author = {Leo Freitas and
Paolo Modesti and
Martin Emms},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {A Methodology for Protocol Verification Applied to EMV{\textregistered}
1},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {180--197},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_12},
doi = {10.1007/978-3-030-03044-5\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FreitasME18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Meseguer18,
author = {Jos{\'{e}} Meseguer},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Formal Design of Cloud Computing Systems in Maude},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {5--19},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_2},
doi = {10.1007/978-3-030-03044-5\_2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Meseguer18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Mota18,
author = {Alexandre Mota},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {The Pragmatic Dimension of Formal Methods: Towards Building a Sound
Synthesiser},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {1--4},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_1},
doi = {10.1007/978-3-030-03044-5\_1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Mota18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SaeedloeiK18,
author = {Neda Saeedloei and
Feliks Kluzniak},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Timed Scenarios: Consistency, Equivalence and Optimization},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {215--233},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_14},
doi = {10.1007/978-3-030-03044-5\_14},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SaeedloeiK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SantosCS18,
author = {Tain{\~{a}} Santos and
Gustavo Carvalho and
Augusto Sampaio},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Formal Modelling of Environment Restrictions from Natural-Language
Requirements},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {252--270},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_16},
doi = {10.1007/978-3-030-03044-5\_16},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SantosCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ShirazH18,
author = {Sumayya Shiraz and
Osman Hasan},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Formal Verification of n-bit {ALU} Using Theorem Proving},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {74--89},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_6},
doi = {10.1007/978-3-030-03044-5\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ShirazH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/TimmGH18,
author = {Nils Timm and
Stefan Gruner and
Matthias Harvey},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Constraint Reusing and k-Induction for Three-Valued Bounded Model
Checking},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {126--143},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_9},
doi = {10.1007/978-3-030-03044-5\_9},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/TimmGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Wadler18,
author = {Philip Wadler},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Programming Language Foundations in Agda},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {56--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_5},
doi = {10.1007/978-3-030-03044-5\_5},
timestamp = {Mon, 19 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Wadler18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2018,
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5},
doi = {10.1007/978-3-030-03044-5},
isbn = {978-3-030-03043-8},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Al-ShareefiLD17,
author = {Farah Al{-}Shareefi and
Alexei Lisitsa and
Clare Dixon},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Abstract State Machines and System Theoretic Process Analysis for
Safety-Critical Systems},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {15--32},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_3},
doi = {10.1007/978-3-319-70848-5\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Al-ShareefiLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AlbuquerqueABCF17,
author = {Higo F. Albuquerque and
Rodrigo F. Araujo and
Iury Valente de Bessa and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {OptCE: {A} Counterexample-Guided Inductive Optimization Solver},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {125--141},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_9},
doi = {10.1007/978-3-319-70848-5\_9},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AlbuquerqueABCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AmericoVACM17,
author = {Arthur Am{\'{e}}rico and
Artur Vaz and
M{\'{a}}rio S. Alvim and
S{\'{e}}rgio Vale Aguiar Campos and
Annabelle McIver},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Formal Analysis of the Information Leakage of the DC-Nets and Crowds
Anonymity Protocols},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {142--158},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_10},
doi = {10.1007/978-3-319-70848-5\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AmericoVACM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AntoninoGR17,
author = {Pedro Antonino and
Thomas Gibson{-}Robinson and
A. W. Roscoe},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Checking Static Properties Using Conservative {SAT} Approximations
for Reachability},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {233--250},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_15},
doi = {10.1007/978-3-319-70848-5\_15},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AntoninoGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Benzmuller17,
author = {Christoph Benzm{\"{u}}ller},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Recent Successes with a Meta-Logical Approach to Universal Logical
Reasoning (Extended Abstract)},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {7--11},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_2},
doi = {10.1007/978-3-319-70848-5\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Benzmuller17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Butterfield17,
author = {Andrew Butterfield},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {{UTCP:} Compositional Semantics for Shared-Variable Concurrency},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {253--270},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_16},
doi = {10.1007/978-3-319-70848-5\_16},
timestamp = {Fri, 24 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Butterfield17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Cavalcanti17,
author = {Ana Cavalcanti},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Formal Methods for Robotics: RoboChart, RoboSim, and More},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {3--6},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_1},
doi = {10.1007/978-3-319-70848-5\_1},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Cavalcanti17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CledouPB17,
author = {Guillermina Cledou and
Jos{\'{e}} Proen{\c{c}}a and
Lu{\'{\i}}s Soares Barbosa},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {A Refinement Relation for Families of Timed Automata},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {161--178},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_11},
doi = {10.1007/978-3-319-70848-5\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CledouPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DeckerGHLS0W17,
author = {Normann Decker and
Philip Gottschling and
Christian Hochberger and
Martin Leucker and
Torben Scheffel and
Malte Schmitz and
Alexander Weiss},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core
Systems},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {179--196},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_12},
doi = {10.1007/978-3-319-70848-5\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DeckerGHLS0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DuarteR17,
author = {Lucio Mauro Duarte and
Leila Ribeiro},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Graph Grammar Extraction from Source Code},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {52--69},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_5},
doi = {10.1007/978-3-319-70848-5\_5},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/DuarteR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GadelhaCN17,
author = {Mikhail Y. R. Gadelha and
Lucas C. Cordeiro and
Denis A. Nicole},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Encoding Floating-Point Numbers Using the {SMT} Theory in {ESBMC:}
An Empirical Evaluation over the {SV-COMP} Benchmarks},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {91--106},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_7},
doi = {10.1007/978-3-319-70848-5\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/GadelhaCN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GomesMB17,
author = {Leandro Gomes and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {On Kleene Algebras for Weighted Computation},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {271--286},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_17},
doi = {10.1007/978-3-319-70848-5\_17},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/GomesMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LecomteDPM17,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
{\'{E}}tienne Prun and
Erwan Mottin},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Applying a Formal Method in Industry: {A} 25-Year Trajectory},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {70--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_6},
doi = {10.1007/978-3-319-70848-5\_6},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/LecomteDPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LiZJS17,
author = {Yi Li and
Xiyue Zhang and
Yuanyi Ji and
Meng Sun},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Capturing Stochastic and Real-Time Behavior in Reo Connectors},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {287--304},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_18},
doi = {10.1007/978-3-319-70848-5\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LiZJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MetereLG17,
author = {Roberto Metere and
Andreas Lindner and
Roberto Guanciale},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Sound Transpilation from Binary to Machine-Independent Code},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {197--214},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_13},
doi = {10.1007/978-3-319-70848-5\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MetereLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/OliveiraJ17,
author = {K{\^{e}}nia Santos de Oliveira and
St{\'{e}}phane Julia},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Using Linear Logic to Verify Requirement Scenarios in Composite Web
Service},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {215--232},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_14},
doi = {10.1007/978-3-319-70848-5\_14},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/OliveiraJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/OtoniCS17,
author = {Rodrigo Otoni and
Ana Cavalcanti and
Augusto Sampaio},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Local Analysis of Determinism for {CSP}},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {107--124},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_8},
doi = {10.1007/978-3-319-70848-5\_8},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/OtoniCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SaeedloeiK17,
author = {Neda Saeedloei and
Feliks Kluzniak},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {From Scenarios to Timed Automata},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {33--51},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_4},
doi = {10.1007/978-3-319-70848-5\_4},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SaeedloeiK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2017,
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5},
doi = {10.1007/978-3-319-70848-5},
isbn = {978-3-319-70847-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BarzaCISMB16,
author = {S{\'{e}}rgio Barza and
Gustavo Carvalho and
Juliano Iyoda and
Augusto Sampaio and
Alexandre Mota and
Fl{\'{a}}via de Almeida Barros},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Model Checking Requirements},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {217--234},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_13},
doi = {10.1007/978-3-319-49815-7\_13},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BarzaCISMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CastroA16,
author = {Pablo F. Castro and
Nazareno Aguirre},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Algebraic Foundations for Specification Refinements},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {112--128},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_7},
doi = {10.1007/978-3-319-49815-7\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CastroA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CostaBARBHM16,
author = {Andrei Costa and
Jonas Santos Bezerra and
Guilherme Grochau Azzi and
Leonardo Marques Rodrigues and
Thiago Rafael Becker and
Ricardo Gabriel Herdt and
Rodrigo Machado},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Verigraph: {A} System for Specification and Analysis of Graph Grammars},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {78--94},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_5},
doi = {10.1007/978-3-319-49815-7\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/CostaBARBHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/EdmundsW16,
author = {Andrew Edmunds and
Marina Wald{\'{e}}n},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Modelling 'Operation-Calls' in Event-B with Shared-Event Composition},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {97--111},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_6},
doi = {10.1007/978-3-319-49815-7\_6},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/EdmundsW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FariasBM16,
author = {Hugo Farias and
Christiano Braga and
Paulo Blauth Menezes},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Massive Open Online Courses and Monoids},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {179--195},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_11},
doi = {10.1007/978-3-319-49815-7\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FariasBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Leuschel16,
author = {Michael Leuschel},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Formal Model-Based Constraint Solving and Document Generation},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {3--20},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_1},
doi = {10.1007/978-3-319-49815-7\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Leuschel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LimaIS16,
author = {Lucas Lima and
Juliano Iyoda and
Augusto Sampaio},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Refinement Verification of Sequence Diagrams Using {CSP}},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {235--252},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_14},
doi = {10.1007/978-3-319-49815-7\_14},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LimaIS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MachadoA16,
author = {Efraim Machado and
Aline Andrade},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {A Refinement Repair Algorithm Based on Refinement Game for {KMTS}
Models},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {161--178},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_10},
doi = {10.1007/978-3-319-49815-7\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MachadoA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MolinaCDRCAF16,
author = {Facundo Molina and
C{\'{e}}sar Cornejo and
Renzo Degiovanni and
Germ{\'{a}}n Regis and
Pablo F. Castro and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {An Evolutionary Approach to Translate Operational Specifications into
Declarative Specifications},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {145--160},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_9},
doi = {10.1007/978-3-319-49815-7\_9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MoralesMV16,
author = {Luis E. Mendoza Morales and
Carlos Monsalve and
M{\'{o}}nica Villavicencio},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Application of Formal Methods to Verify Business Processes},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {41--58},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_3},
doi = {10.1007/978-3-319-49815-7\_3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MoralesMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/NogueiraFMOMP16,
author = {Sidney C. Nogueira and
Taciana Pontual Falc{\~{a}}o and
Alexandre Mota and
Emanuel Oliveira and
Itamar Moraes and
Iverson Pereira},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {An Approach for Verifying Educational Robots},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {59--77},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_4},
doi = {10.1007/978-3-319-49815-7\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/NogueiraFMOMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SampaioA16,
author = {Augusto Sampaio and
Filipe Arruda},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Formal Testing from Natural Language in an Industrial Context},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {21--38},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_2},
doi = {10.1007/978-3-319-49815-7\_2},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SampaioA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SantiagoBMM16,
author = {Regivan H. N. Santiago and
Benjam{\'{\i}}n R. C. Bedregal and
Alexandre Madeira and
Manuel A. Martins},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {On Interval Dynamic Logic},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {129--144},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_8},
doi = {10.1007/978-3-319-49815-7\_8},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SantiagoBMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/TimmGH16,
author = {Nils Timm and
Stefan Gruner and
Matthias Harvey},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {A Bounded Model Checker for Three-Valued Abstractions of Concurrent
Software Systems},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {199--216},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_12},
doi = {10.1007/978-3-319-49815-7\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/TimmGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2015,
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29473-5},
doi = {10.1007/978-3-319-29473-5},
isbn = {978-3-319-29472-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2016,
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7},
doi = {10.1007/978-3-319-49815-7},
isbn = {978-3-319-49814-0},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BragaL15,
author = {Christiano Braga and
Bruno Lopes},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL
Case},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {74--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_5},
doi = {10.1007/978-3-319-29473-5\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BragaL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CharetonBC15,
author = {Christophe Chareton and
Julien Brunel and
David Chemouil},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Evaluating the Assignment of Behavioral Goals to Coalitions of Agents},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {56--73},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_4},
doi = {10.1007/978-3-319-29473-5\_4},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CharetonBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JuniorT15,
author = {Valdivino Alexandre de Santiago Jr. and
Sofi{\`{e}}ne Tahar},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Time Performance Formal Evaluation of Complex Systems},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {162--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_10},
doi = {10.1007/978-3-319-29473-5\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/JuniorT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MacarioO15,
author = {F. J. S. Mac{\'{a}}rio and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Hard-Wiring {CSP} Hiding: Implementing Channel Abstraction to Generate
Verified Concurrent Hardware},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_1},
doi = {10.1007/978-3-319-29473-5\_1},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MacarioO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MiyazawaC15,
author = {Alvaro Miyazawa and
Ana Cavalcanti},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Refinement Strategies for Safety-Critical Java},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {93--109},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_6},
doi = {10.1007/978-3-319-29473-5\_6},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/MiyazawaC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/NogueiraAAIS15,
author = {Sidney C. Nogueira and
Hugo Leonardo da Silva Araujo and
Renata B. S. Araujo and
Juliano Iyoda and
Augusto Sampaio},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Automatic Generation of Test Cases and Test Purposes from Natural
Language},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {145--161},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_9},
doi = {10.1007/978-3-319-29473-5\_9},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/NogueiraAAIS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/RibeiroC15,
author = {Rodrigo Geraldo Ribeiro and
Carlos Camar{\~{a}}o},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {A Mechanized Textbook Proof of a Type Unification Algorithm},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {127--141},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_8},
doi = {10.1007/978-3-319-29473-5\_8},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/RibeiroC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SilvaCS15,
author = {Bruno Cesar F. Silva and
Gustavo Carvalho and
Augusto Sampaio},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Test Case Generation from Natural Language Requirements Using {CPN}
Simulation},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {178--193},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_11},
doi = {10.1007/978-3-319-29473-5\_11},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SilvaCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SilvaSM15,
author = {Tarciana Dias da Silva and
Augusto Sampaio and
Alexandre Mota},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Verifying Transformations of Java Programs Using Alloy},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {110--126},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_7},
doi = {10.1007/978-3-319-29473-5\_7},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SilvaSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/TimmG15,
author = {Nils Timm and
Stefan Gruner},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Instantiation Reduction in Iterative Parameterised Three-Valued Model
Checking},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {19--35},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_2},
doi = {10.1007/978-3-319-29473-5\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/TimmG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/WoodcockWC15,
author = {Jim Woodcock and
Andy J. Wellings and
Ana Cavalcanti},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Mobile {CSP}},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {39--55},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_3},
doi = {10.1007/978-3-319-29473-5\_3},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/WoodcockWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2014,
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15075-8},
doi = {10.1007/978-3-319-15075-8},
isbn = {978-3-319-15074-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AhmadHST14,
author = {Sohaib Ahmad and
Osman Hasan and
Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Formalization of Zsyntax to Reason About Molecular Pathways in {HOL4}},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {32--47},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_3},
doi = {10.1007/978-3-319-15075-8\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AhmadHST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AlmeidaMAM14,
author = {Diego R. Almeida and
Alan Moraes and
Wilkerson de L. Andrade and
Patr{\'{\i}}cia D. L. Machado},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Towards a Family of Test Selection Criteria for Symbolic Models of
Real-Time Systems},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {48--63},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_4},
doi = {10.1007/978-3-319-15075-8\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AlmeidaMAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BonichonDLM14,
author = {Richard Bonichon and
David D{\'{e}}harbe and
Thierry Lecomte and
Val{\'{e}}rio Medeiros Jr.},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {LLVM-Based Code Generation for {B}},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_1},
doi = {10.1007/978-3-319-15075-8\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BonichonDLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CalegariMS14,
author = {Daniel Calegari and
Till Mossakowski and
Nora Szasz},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Model-Driven Engineering in the Heterogeneous Tool Set},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {64--79},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_5},
doi = {10.1007/978-3-319-15075-8\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CalegariMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Ciaffaglione14,
author = {Alberto Ciaffaglione},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {A Coinductive Animation of Turing Machines},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {80--95},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_6},
doi = {10.1007/978-3-319-15075-8\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Ciaffaglione14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FedyukovichS14,
author = {Grigory Fedyukovich and
Natasha Sharygina},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Towards Completeness in Bounded Model Checking Through Automatic Recursion
Depth Detection},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {96--112},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_7},
doi = {10.1007/978-3-319-15075-8\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FedyukovichS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FerreiraBC14,
author = {Bruno Ferreira and
Fernando A. F. Braz and
S{\'{e}}rgio Vale Aguiar Campos},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks
Mobility Model},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {113--129},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_8},
doi = {10.1007/978-3-319-15075-8\_8},
timestamp = {Sun, 23 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FerreiraBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MadeiraNMB14,
author = {Alexandre Madeira and
Renato Neves and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {A Dynamic Logic for Every Season},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {130--145},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_9},
doi = {10.1007/978-3-319-15075-8\_9},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MadeiraNMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Marti-OlietDV14,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Francisco Dur{\'{a}}n and
Alberto Verdejo},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Equational Abstractions in Rewriting Logic and Maude},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {17--31},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_2},
doi = {10.1007/978-3-319-15075-8\_2},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Marti-OlietDV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/NevesMB14,
author = {Renato Neves and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Completeness and Decidability Results for Hybrid(ised) Logics},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {146--161},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_10},
doi = {10.1007/978-3-319-15075-8\_10},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/NevesMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/TimmG14,
author = {Nils Timm and
Stefan Gruner},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Parameterisation of Three-Valued Abstractions},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {162--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_11},
doi = {10.1007/978-3-319-15075-8\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/TimmG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BandurW13,
author = {Victor Bandur and
Jim Woodcock},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Unifying Theories of Logic and Specification},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {18--33},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_3},
doi = {10.1007/978-3-642-41071-0\_3},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/BandurW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BragaS13,
author = {Christiano Braga and
Cassio Santos},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Meaningful Models - {A} Research Agenda on Model-Driven Engineering
-},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_1},
doi = {10.1007/978-3-642-41071-0\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BragaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CalegariS13,
author = {Daniel Calegari and
Nora Szasz},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Institution-Based Semantics for {MOF} and QVT-Relations},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {34--50},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_4},
doi = {10.1007/978-3-642-41071-0\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CalegariS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GladischT13,
author = {Christoph Gladisch and
Shmuel S. Tyszberowicz},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Specifying a Linked Data Structure in {JML} for Formal Verification
and Runtime Checking},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {99--114},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_8},
doi = {10.1007/978-3-642-41071-0\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/GladischT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GuerraAW13,
author = {Paulo T. Guerra and
Aline Andrade and
Renata Wassermann},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Toward the Revision of {CTL} Models through Kripke Modal Transition
Systems},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {115--130},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_9},
doi = {10.1007/978-3-642-41071-0\_9},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/GuerraAW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/HelaliHT13,
author = {Ghassen Helali and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {131--146},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_10},
doi = {10.1007/978-3-642-41071-0\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/HelaliHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JuniorCF13,
author = {Luiz Carlos Lemos Junior and
Simone Andr{\'{e}} da Costa Cavalheiro and
Luciana Foss},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {147--162},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_11},
doi = {10.1007/978-3-642-41071-0\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/JuniorCF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LiS13,
author = {Qin Li and
Graeme Smith},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {A Refinement Framework for Autonomous Agents},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {163--178},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_12},
doi = {10.1007/978-3-642-41071-0\_12},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LimaDC13,
author = {Lucas Lima and
Andr{\'{e}} Didier and
M{\'{a}}rcio Corn{\'{e}}lio},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {A Formal Semantics for SysML Activity Diagrams},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {179--194},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_13},
doi = {10.1007/978-3-642-41071-0\_13},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/LimaDC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LiuHT13,
author = {Liya Liu and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Formal Analysis of Memory Contention in a Multiprocessor System},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {195--210},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_14},
doi = {10.1007/978-3-642-41071-0\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LiuHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LoweKSS13,
author = {Michael L{\"{o}}we and
Harald K{\"{o}}nig and
Christoph Schulz and
Marius Schultchen},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Algebraic Graph Transformations with Inheritance},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {211--226},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_15},
doi = {10.1007/978-3-642-41071-0\_15},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/LoweKSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MarcilonJ13,
author = {Thiago Braga Marcilon and
Francisco Heron de Carvalho Junior},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Derivation and Verification of Parallel Components for the Needs of
an {HPC} Cloud},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {51--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_5},
doi = {10.1007/978-3-642-41071-0\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MarcilonJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/McMillan13,
author = {Kenneth L. McMillan},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Deductive Generalization},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {17},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_2},
doi = {10.1007/978-3-642-41071-0\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/McMillan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SantosBM13,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {An Executable Semantics for a Multimedia Authoring Language},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {67--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_6},
doi = {10.1007/978-3-642-41071-0\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SantosBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SimonsenKK13,
author = {Kent Inge Fagerland Simonsen and
Lars Michael Kristensen and
Ekkart Kindler},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Generating Protocol Software from {CPN} Models Annotated with Pragmatics},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {227--242},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_16},
doi = {10.1007/978-3-642-41071-0\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SimonsenKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/VeneroS13,
author = {Mirtha Lina Fern{\'{a}}ndez Venero and
Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {On the Use of {SPIN} for Studying the Behavior of Nested Petri Nets},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {83--98},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_7},
doi = {10.1007/978-3-642-41071-0\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/VeneroS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2013,
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0},
doi = {10.1007/978-3-642-41071-0},
isbn = {978-3-642-41070-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AcostaKCA12,
author = {Araceli Acosta and
Cecilia Kilmurray and
Pablo F. Castro and
Nazareno Aguirre},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Model Checking Propositional Deontic Temporal Logic via a {\(\mu\)}-Calculus
Characterization},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {3--18},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_3},
doi = {10.1007/978-3-642-33296-8\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AcostaKCA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BarbosaD12,
author = {Haniel Barbosa and
David D{\'{e}}harbe},
editor = {Rohit Gheyi and
David A. Naumann},
title = {An Approach Using the {B} Method to Formal Verification of {PLC} Programs
in an Industrial Setting},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {19--34},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_4},
doi = {10.1007/978-3-642-33296-8\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BarbosaD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BrazCFC12,
author = {Fernando A. F. Braz and
Jader S. Cruz and
Alessandra C. Faria{-}Campos and
S{\'{e}}rgio Vale Aguiar Campos},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of
an Electrophysiological Model Using Probabilistic Model Checking},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {35--50},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_5},
doi = {10.1007/978-3-642-33296-8\_5},
timestamp = {Sun, 23 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/BrazCFC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CarvalhoFMS12,
author = {Gustavo Carvalho and
Diogo Falc{\~{a}}o and
Alexandre Mota and
Augusto Sampaio},
editor = {Rohit Gheyi and
David A. Naumann},
title = {A Process Algebra Based Strategy for Generating Test Vectors from
{SCR} Specifications},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {67--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_7},
doi = {10.1007/978-3-642-33296-8\_7},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CarvalhoFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CavalheiroFR12,
author = {Simone Andr{\'{e}} da Costa Cavalheiro and
Luciana Foss and
Leila Ribeiro},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Specification Patterns for Properties over Reachable States of Graph
Grammars},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {83--98},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_8},
doi = {10.1007/978-3-642-33296-8\_8},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/CavalheiroFR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DaviesGMW12,
author = {Jim Davies and
Jeremy Gibbons and
David Milward and
James Welch},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Compositionality and Refinement in Model-Driven Engineering},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {99--114},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_9},
doi = {10.1007/978-3-642-33296-8\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DaviesGMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DidierM12,
author = {Andr{\'{e}} Didier and
Alexandre Mota},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Identifying Hardware Failures Systematically},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {115--130},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_10},
doi = {10.1007/978-3-642-33296-8\_10},
timestamp = {Sun, 12 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DidierM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/HuangZSZQ12,
author = {Yanhong Huang and
Yongxin Zhao and
Jianqi Shi and
Huibiao Zhu and
Shengchao Qin},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Investigating Time Properties of Interrupt-Driven Programs},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {131--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_11},
doi = {10.1007/978-3-642-33296-8\_11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/HuangZSZQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MatosM12,
author = {Ernesto Cid Brasil de Matos and
Anamaria Martins Moreira},
editor = {Rohit Gheyi and
David A. Naumann},
title = {{BETA:} {A} {B} Based Testing Approach},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {51--66},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_6},
doi = {10.1007/978-3-642-33296-8\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MatosM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/RegisRAM12,
author = {Germ{\'{a}}n Regis and
Nicol{\'{a}}s Ricci and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Specifying and Verifying Declarative Fluent Temporal Logic Properties
of Workflows},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {147--162},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_12},
doi = {10.1007/978-3-642-33296-8\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/RegisRAM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Rushby12,
author = {John M. Rushby},
editor = {Rohit Gheyi and
David A. Naumann},
title = {The Versatile Synchronous Observer},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_1},
doi = {10.1007/978-3-642-33296-8\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Rushby12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Schulte12,
author = {Wolfram Schulte},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Thirteen Years of Automated Code Analysis at Microsoft},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_2},
doi = {10.1007/978-3-642-33296-8\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Schulte12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SchulzLK12,
author = {Christoph Schulz and
Michael L{\"{o}}we and
Harald K{\"{o}}nig},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Composition of Model Transformations: {A} Categorical Framework},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {163--178},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_13},
doi = {10.1007/978-3-642-33296-8\_13},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SchulzLK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SekerinskiZ12,
author = {Emil Sekerinski and
Tian Zhang},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Verification Rules for Exception Handling in Eiffel},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {179--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_14},
doi = {10.1007/978-3-642-33296-8\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SekerinskiZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SharmaGB12,
author = {Subodh Sharma and
Ganesh Gopalakrishnan and
Greg Bronevetsky},
editor = {Rohit Gheyi and
David A. Naumann},
title = {A Sound Reduction of Persistent-Sets for Deadlock Detection in {MPI}
Applications},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {194--209},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_15},
doi = {10.1007/978-3-642-33296-8\_15},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SharmaGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ZanariniLS12,
author = {Dante Zanarini and
Carlos Luna and
Luis Sierra},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {210--225},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_16},
doi = {10.1007/978-3-642-33296-8\_16},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ZanariniLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2012,
editor = {Rohit Gheyi and
David A. Naumann},
title = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8},
doi = {10.1007/978-3-642-33296-8},
isbn = {978-3-642-33295-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BragaMCSL11,
author = {Christiano Braga and
Roberto Menezes and
Thiago Comicio and
Cassio Santos and
Edson Landim},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {On the Specification, Verification and Implementation of Model Transformations
with Transformation Contracts},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {108--123},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_8},
doi = {10.1007/978-3-642-25032-3\_8},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BragaMCSL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ButtnerG11,
author = {Fabian B{\"{u}}ttner and
Martin Gogolla},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Modular Embedding of the Object Constraint Language into a Programming
Language},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {124--139},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_9},
doi = {10.1007/978-3-642-25032-3\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ButtnerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ChapmanBW11,
author = {Roderick Chapman and
Eric Botcazou and
Angela Wallenburg},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {SPARKSkein: {A} Formal and Fast Reference Implementation of Skein},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {16--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_2},
doi = {10.1007/978-3-642-25032-3\_2},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ChapmanBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CharetonBC11,
author = {Christophe Chareton and
Julien Brunel and
David Chemouil},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {A Formal Treatment of Agents, Goals and Operations Using Alternating-Time
Temporal Logic},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {188--203},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_13},
doi = {10.1007/978-3-642-25032-3\_13},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CharetonBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DiasI11,
author = {Diego Machado Dias and
Juliano Manabu Iyoda},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Behavioural Preservation in Fault Tolerant Patterns},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {156--171},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_11},
doi = {10.1007/978-3-642-25032-3\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DiasI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/KalvalaW11,
author = {Sara Kalvala and
Richard Warburton},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {A Formal Approach to Fixing Bugs},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {172--187},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_12},
doi = {10.1007/978-3-642-25032-3\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/KalvalaW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/KonigLS11,
author = {Harald K{\"{o}}nig and
Michael L{\"{o}}we and
Christoph Schulz},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Model Transformation and Induced Instance Migration: {A} Universal
Framework},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {1--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_1},
doi = {10.1007/978-3-642-25032-3\_1},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/KonigLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MatielloM11,
author = {Pedro Matiello and
Ana Cristina Vieira de Melo},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {PiStache: Implementing {\(\pi\)}-Calculus in Scala},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {76--91},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_6},
doi = {10.1007/978-3-642-25032-3\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MatielloM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/OliveiraDC11,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
David D{\'{e}}harbe and
Lu{\'{\i}}s C. D. S. Cruz},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {B to {CSP} Migration: Towards a Formal and Automated Model-Driven
Engineering of Hardware/Software Co-design},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {44--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_4},
doi = {10.1007/978-3-642-25032-3\_4},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/OliveiraDC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Preoteasa11,
author = {Viorel Preoteasa},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Algebra of Monotonic Boolean Transformers},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {140--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_10},
doi = {10.1007/978-3-642-25032-3\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Preoteasa11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/RochaM11,
author = {Camilo Rocha and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Simulation and Verification of Synchronous Set Relations in Rewriting
Logic},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {60--75},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_5},
doi = {10.1007/978-3-642-25032-3\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/RochaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SteenkenWW11,
author = {Dominik Steenken and
Heike Wehrheim and
Daniel Wonisch},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Sound and Complete Abstract Graph Transformation},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {92--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_7},
doi = {10.1007/978-3-642-25032-3\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SteenkenWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/WelschP11,
author = {Yannick Welsch and
Arnd Poetzsch{-}Heffter},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Full Abstraction at Package Boundaries of Object-Oriented Languages},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {28--43},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_3},
doi = {10.1007/978-3-642-25032-3\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/WelschP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2010,
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19829-8},
doi = {10.1007/978-3-642-19829-8},
isbn = {978-3-642-19828-1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2011,
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3},
doi = {10.1007/978-3-642-25032-3},
isbn = {978-3-642-25031-6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AkhtarMQ10,
author = {Sabina Akhtar and
Stephan Merz and
Martin Quinson},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A High-Level Language for Modeling Algorithms and Their Properties},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {49--63},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_4},
doi = {10.1007/978-3-642-19829-8\_4},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AkhtarMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BauerHB10,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Michel Bidoit},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Modal Interface Theory with Data Constraints},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {80--95},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_6},
doi = {10.1007/978-3-642-19829-8\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BauerHB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BonsangueCGLRS10,
author = {Marcello M. Bonsangue and
Georgiana Caltais and
Eugen{-}Ioan Goriac and
Dorel Lucanu and
Jan J. M. M. Rutten and
Alexandra Silva},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Decision Procedure for Bisimilarity of Generalized Regular Expressions},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {226--241},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_15},
doi = {10.1007/978-3-642-19829-8\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BonsangueCGLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CalegariLST10,
author = {Daniel Calegari and
Carlos Luna and
Nora Szasz and
Alvaro Tasistro},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Type-Theoretic Framework for Certified Model Transformations},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {112--127},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_8},
doi = {10.1007/978-3-642-19829-8\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CalegariLST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CrispimLV10,
author = {Pedro Crispim and
Ant{\'{o}}nia Lopes and
Vasco Thudichum Vasconcelos},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Runtime Verification for Generic Classes with ConGu 2},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {33--48},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_3},
doi = {10.1007/978-3-642-19829-8\_3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CrispimLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GawlitzaSV10,
author = {Thomas Martin Gawlitza and
Helmut Seidl and
Kumar Neeraj Verma},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Normalization of Linear Horn Clauses},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {242--257},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_16},
doi = {10.1007/978-3-642-19829-8\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/GawlitzaSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GomesO10,
author = {Artur Oliveira Gomes and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Formal Development of a Cardiac Pacemaker: From Specification to Code},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {210--225},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_14},
doi = {10.1007/978-3-642-19829-8\_14},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/GomesO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/KleineS10,
author = {Moritz Kleine and
Jeff W. Sanders},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Simulating Truly Concurrent {CSP}},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {128--143},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_9},
doi = {10.1007/978-3-642-19829-8\_9},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/KleineS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LeuschelB10,
author = {Michael Leuschel and
Jens Bendisposto},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Directed Model Checking for {B:} An Evaluation and New Techniques},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {1--16},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_1},
doi = {10.1007/978-3-642-19829-8\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LeuschelB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LiuMW10,
author = {Zhiming Liu and
Charles Morisset and
Shuling Wang},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Graph-Based Implementation for Mechanized Refinement Calculus of
{OO} Programs},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {258--273},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_17},
doi = {10.1007/978-3-642-19829-8\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LiuMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MassoniGB10,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Synchronizing Model and Program Refactoring},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {96--111},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_7},
doi = {10.1007/978-3-642-19829-8\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/MassoniGB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MatoussiGL10,
author = {Abderrahman Matoussi and
Fr{\'{e}}d{\'{e}}ric Gervais and
R{\'{e}}gine Laleau},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Specification of a Localization Component Driven by a Goal-Based Approach:
Some Lessons We Learned},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {177--193},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_12},
doi = {10.1007/978-3-642-19829-8\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MatoussiGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MazzaPM10,
author = {Eduardo Mazza and
Marie{-}Laure Potet and
Daniel Le M{\'{e}}tayer},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Formal Framework for Specifying and Analyzing Logs as Electronic
Evidence},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {194--209},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_13},
doi = {10.1007/978-3-642-19829-8\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MazzaPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MostowskiP10,
author = {Wojciech Mostowski and
Erik Poll},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Midlet Navigation Graphs in {JML}},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {17--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_2},
doi = {10.1007/978-3-642-19829-8\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MostowskiP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SilvaM10,
author = {Paulo Salem da Silva and
Ana Cristina Vieira de Melo},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Formal Environment Model for Multi-Agent Systems},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {64--79},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_5},
doi = {10.1007/978-3-642-19829-8\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SilvaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/TamaletM10,
author = {Alejandro Tamalet and
Ken Madlener},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Reasoning about Assignments in Recursive Data Structures},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {161--176},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_11},
doi = {10.1007/978-3-642-19829-8\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/TamaletM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/YounesCZ10,
author = {H{\aa}kan L. S. Younes and
Edmund M. Clarke and
Paolo Zuliani},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Statistical Verification of Probabilistic Properties with Unbounded
Until},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {144--160},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_10},
doi = {10.1007/978-3-642-19829-8\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/YounesCZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ZeydaC10,
author = {Frank Zeyda and
Ana Cavalcanti},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Automating Refinement of \emph{Circus} Programs},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {274--290},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_18},
doi = {10.1007/978-3-642-19829-8\_18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/ZeydaC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AndradeM09,
author = {Wilkerson de L. Andrade and
Patr{\'{\i}}cia D. L. Machado},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Interruption Testing of Reactive Systems},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {37--53},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_4},
doi = {10.1007/978-3-642-10452-7\_4},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/AndradeM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AndradeMAA09,
author = {Wilkerson de L. Andrade and
Patr{\'{\i}}cia D. L. Machado and
Everton L. G. Alves and
Diego R. Almeida},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Test Case Generation of Embedded Real-Time Systems with Interruptions
for FreeRTOS},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {54--69},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_5},
doi = {10.1007/978-3-642-10452-7\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AndradeMAA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BlancK09,
author = {Nicolas Blanc and
Daniel Kroening},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Speeding Up Simulation of SystemC Using Model Checking},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_1},
doi = {10.1007/978-3-642-10452-7\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/BlancK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ButterfieldC09,
author = {Andrew Butterfield and
Art {\'{O}} Cath{\'{a}}in},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Concurrent Models of Flash Memory Device Behaviour},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {70--83},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_6},
doi = {10.1007/978-3-642-10452-7\_6},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ButterfieldC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CaprettaUV09,
author = {Venanzio Capretta and
Tarmo Uustalu and
Varmo Vene},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Corecursive Algebras: {A} Study of General Structured Corecursion},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {84--100},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_7},
doi = {10.1007/978-3-642-10452-7\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/CaprettaUV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DamascenoFM09,
author = {Adriana Damasceno and
Adalberto Farias and
Alexandre Mota},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {A Mechanized Strategy for Safe Abstraction of {CSP} Specifications},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {118--133},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_9},
doi = {10.1007/978-3-642-10452-7\_9},
timestamp = {Sun, 12 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DamascenoFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DamchoomB09,
author = {Kriangsak Damchoom and
Michael J. Butler},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Applying Event and Machine Decomposition to a Flash-Based Filestore
in Event-B},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {134--152},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_10},
doi = {10.1007/978-3-642-10452-7\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DamchoomB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DeharbeGM09,
author = {David D{\'{e}}harbe and
Stephenson Galv{\~{a}}o and
Anamaria Martins Moreira},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Formalizing FreeRTOS: First Steps},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {101--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_8},
doi = {10.1007/978-3-642-10452-7\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DeharbeGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FerreiraO09,
author = {Miguel Alexandre Ferreira and
Jos{\'{e}} Nuno Oliveira},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {An Integrated Formal Methods Tool-Chain and Its Application to Verifying
a File System Model},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {153--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_11},
doi = {10.1007/978-3-642-10452-7\_11},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FerreiraO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FrancaBBFF09,
author = {Ricardo Bedin Fran{\c{c}}a and
Leandro Buss Becker and
Jean{-}Paul Bodeveix and
Jean{-}Marie Farines and
Mamoun Filali},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Towards Safe Design of Synchronous Bus Protocols in Event-B},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {170--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_12},
doi = {10.1007/978-3-642-10452-7\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FrancaBBFF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FreireM09,
author = {Elisabete Freire and
Lu{\'{\i}}s Monteiro},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Defining Behaviours by Quasi-finality},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {290--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_20},
doi = {10.1007/978-3-642-10452-7\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/FreireM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Freitas09,
author = {Leo Freitas},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Mechanising Data-Types for Kernel Design in {Z}},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {186--203},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_13},
doi = {10.1007/978-3-642-10452-7\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Freitas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GheyiMBS09,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba and
Augusto Sampaio},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {A Complete Set of Object Modeling Laws for Alloy},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {204--219},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_14},
doi = {10.1007/978-3-642-10452-7\_14},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/GheyiMBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Giro09,
author = {Sergio Giro},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Undecidability Results for Distributed Probabilistic Systems},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {220--235},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_15},
doi = {10.1007/978-3-642-10452-7\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Giro09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JuniorD09,
author = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
David D{\'{e}}harbe},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Formal Modelling of a Microcontroller Instruction Set in {B}},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {282--289},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_19},
doi = {10.1007/978-3-642-10452-7\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/JuniorD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/KaufmanSM09,
author = {Renata Kaufman and
Augusto Sampaio and
Alexandre Mota},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Formalisation and Analysis of Objects as {CSP} Processes},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {236--250},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_16},
doi = {10.1007/978-3-642-10452-7\_16},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/KaufmanSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/KimK09,
author = {Moonzoo Kim and
Yunho Kim},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Concolic Testing of the Multi-sector Read Operation for Flash Memory
File System},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {251--265},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_17},
doi = {10.1007/978-3-642-10452-7\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/KimK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/KleineH09,
author = {Moritz Kleine and
Steffen Helke},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Low-Level Code Verification Based on {CSP} Models},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {266--281},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_18},
doi = {10.1007/978-3-642-10452-7\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/KleineH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MouraB09,
author = {Leonardo Mendon{\c{c}}a de Moura and
Nikolaj S. Bj{\o}rner},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Satisfiability Modulo Theories: An Appetizer},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {23--36},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_3},
doi = {10.1007/978-3-642-10452-7\_3},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MouraB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MuhlbergL09,
author = {Jan Tobias M{\"{u}}hlberg and
Gerald L{\"{u}}ttgen},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Verifying Compiled File System Code},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {306--320},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_21},
doi = {10.1007/978-3-642-10452-7\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MuhlbergL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Uchitel09,
author = {Sebasti{\'{a}}n Uchitel},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Partial Behaviour Modelling: Foundations for Incremental and Iterative
Model-Based Software Engineering},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {17--22},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_2},
doi = {10.1007/978-3-642-10452-7\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Uchitel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/VizzottoLS09,
author = {Juliana Kaizer Vizzotto and
Giovani Rubert Librelotto and
Amr Sabry},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Reasoning about General Quantum Programs over Mixed States},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {321--335},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_22},
doi = {10.1007/978-3-642-10452-7\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/VizzottoLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Xi09,
author = {Hongwei Xi},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {A Simple and General Theoretical Account for Abstract Types},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {336--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_23},
doi = {10.1007/978-3-642-10452-7\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Xi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2008,
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/240/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2009,
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7},
doi = {10.1007/978-3-642-10452-7},
isbn = {978-3-642-10451-0},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CatanoBGOR09,
author = {N{\'{e}}stor Cata{\~{n}}o and
Fernando Barraza and
Daniel Garc{\'{\i}}a and
Pablo Ortega and
Camilo Rueda},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {A Case Study in JML-Assisted Software Development},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {5--21},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.042},
doi = {10.1016/J.ENTCS.2009.05.042},
timestamp = {Thu, 09 Mar 2023 13:31:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CatanoBGOR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cavalcanti09,
author = {Ana Cavalcanti},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Stateflow Diagrams in Circus},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {23--41},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.043},
doi = {10.1016/J.ENTCS.2009.05.043},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cavalcanti09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaMMN09,
author = {Umberto Souza da Costa and
Anamaria Martins Moreira and
Martin A. Musicante and
Pl{\'{a}}cido A. Souza Neto},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Specification and Runtime Verification of Java Card Programs},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {61--78},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.045},
doi = {10.1016/J.ENTCS.2009.05.045},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaMMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaR09,
author = {Simone Andr{\'{e}} da Costa and
Leila Ribeiro},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Formal Verification of Graph Grammars using Mathematical Induction},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {43--60},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.044},
doi = {10.1016/J.ENTCS.2009.05.044},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DantasDGMJ09,
author = {Bartira Dantas and
David D{\'{e}}harbe and
Stephenson Galv{\~{a}}o and
Anamaria Martins Moreira and
Val{\'{e}}rio Medeiros J{\'{u}}nior},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Verified Compilation and the {B} Method: {A} Proposal and a First
Appraisal},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {79--96},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.046},
doi = {10.1016/J.ENTCS.2009.05.046},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DantasDGMJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DidierFM09,
author = {Andr{\'{e}} Didier and
Adalberto Farias and
Alexandre Mota},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Checking {Z} Data Refinements Using Traces Refinement},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {129--148},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.049},
doi = {10.1016/J.ENTCS.2009.05.049},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DidierFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FalcaoIS09,
author = {Fl{\'{a}}via Falc{\~{a}}o and
Juliano Iyoda and
Augusto Sampaio},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Multiple Synchrony in {MSC}},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {149--166},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.050},
doi = {10.1016/J.ENTCS.2009.05.050},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FalcaoIS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jeron09,
author = {Thierry J{\'{e}}ron},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Symbolic Model-based Test Selection},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {167--184},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.051},
doi = {10.1016/J.ENTCS.2009.05.051},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jeron09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Machado09,
author = {Patr{\'{\i}}cia D. L. Machado},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Preface},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {1--3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.041},
doi = {10.1016/J.ENTCS.2009.05.041},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Machado09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MyreenG09,
author = {Magnus O. Myreen and
Michael J. C. Gordon},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Transforming Programs into Recursive Functions},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {185--200},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.052},
doi = {10.1016/J.ENTCS.2009.05.052},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MyreenG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OliveiraDF09,
author = {Diego Caminha Barbosa De Oliveira and
David D{\'{e}}harbe and
Pascal Fontaine},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Combining Decision Procedures by (Model-)Equality Propagation},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {113--128},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.048},
doi = {10.1016/J.ENTCS.2009.05.048},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OliveiraDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PernaW09,
author = {Juan Ignacio Perna and
Jim Woodcock},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Mechanised Wire-wise Verification of Handel-C Synthesis},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {201--219},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.053},
doi = {10.1016/J.ENTCS.2009.05.053},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PernaW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RegnierLA09,
author = {Paul Regnier and
George Lima and
Aline Maria Santos Andrade},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {A {TLA+} Formal Specification and Verification of a New Real-Time
Communication Protocol},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {221--238},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.054},
doi = {10.1016/J.ENTCS.2009.05.054},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RegnierLA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SilvaM09,
author = {Paulo Salem da Silva and
Ana Cristina Vieira de Melo},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Model Checking Merged Program Traces},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {97--112},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.047},
doi = {10.1016/J.ENTCS.2009.05.047},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SilvaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZeydaC09,
author = {Frank Zeyda and
Ana Cavalcanti},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Mechanical Reasoning about Families of {UTP} Theories},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {239--257},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.055},
doi = {10.1016/J.ENTCS.2009.05.055},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZeydaC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2006,
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/195/suppl/C},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2005,
editor = {Augusto Sampaio},
title = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/184/suppl/C},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarbozaASL08,
author = {Frederico J. R. Barboza and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva and
George Lima},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Specification and Verification of the {IEEE} 802.11 Medium Access
Control and an Analysis of its Applicability to Real-Time Systems},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {3--20},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.024},
doi = {10.1016/J.ENTCS.2007.08.024},
timestamp = {Thu, 09 Feb 2023 11:07:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarbozaASL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeekGJ08,
author = {Maurice H. ter Beek and
Fabio Gadducci and
Dirk Janssens},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {A Calculus for Team Automata},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {41--55},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.022},
doi = {10.1016/J.ENTCS.2007.08.022},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeekGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesDPLR08,
author = {Mario R. F. Benevides and
Carla A. D. M. Delgado and
Carlos L{\'{o}}pez Pombo and
Luis Lopes and
Ricardo Ribeiro},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {A Compositional Automata-based Approach for Model Checking Multi-Agent
Systems},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {133--149},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.030},
doi = {10.1016/J.ENTCS.2007.08.030},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesDPLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonifacioMSM08,
author = {Adilson Luiz Bonif{\'{a}}cio and
Arnaldo Vieira Moura and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Towards Deriving Test Sequences by Model Checking},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {21--40},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.025},
doi = {10.1016/J.ENTCS.2007.08.025},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonifacioMSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CabralS08,
author = {Gustavo Cabral and
Augusto Sampaio},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Formal Specification Generation from Requirement Documents},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {171--188},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.032},
doi = {10.1016/J.ENTCS.2007.08.032},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CabralS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaviesFW08,
author = {Jim Davies and
David Faitelson and
James Welch},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Domain-specific Semantics and Data Refinement of Object Models},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {151--170},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.031},
doi = {10.1016/J.ENTCS.2007.08.031},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaviesFW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerreiraSM08,
author = {Patr{\'{\i}}cia Ferreira and
Augusto Sampaio and
Alexandre Mota},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Viewing {CSP} Specifications with {UML-RT} Diagrams},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {57--74},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.026},
doi = {10.1016/J.ENTCS.2007.08.026},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerreiraSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HolscherKK08,
author = {Karsten H{\"{o}}lscher and
Renate Klempien{-}Hinrichs and
Peter Knirsch},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Undecidable Control Conditions in Graph Transformation Units},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {95--111},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.028},
doi = {10.1016/J.ENTCS.2007.08.028},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HolscherKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JuniorL08,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {An Institutional Theory for {\#}-Components},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {113--132},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.029},
doi = {10.1016/J.ENTCS.2007.08.029},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JuniorL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MassoniGB08,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {A Framework for Establishing Formal Conformance between Object Models
and Object-Oriented Programs},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {189--209},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.033},
doi = {10.1016/J.ENTCS.2007.08.033},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MassoniGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MiddelkoopHKL08,
author = {Ronald Middelkoop and
Cornelis Huizing and
Ruurd Kuiper and
Erik J. Luit},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Invariants for Non-Hierarchical Object Structures},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {211--229},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.034},
doi = {10.1016/J.ENTCS.2007.08.034},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MiddelkoopHKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoreiraR08,
author = {Anamaria Martins Moreira and
Leila Ribeiro},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Preface},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {1},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.023},
doi = {10.1016/J.ENTCS.2007.08.023},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoreiraR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XavierCS08,
author = {Manuela Xavier and
Ana Cavalcanti and
Augusto Sampaio},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Type Checking Circus Specifications},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {75--93},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.027},
doi = {10.1016/J.ENTCS.2007.08.027},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/XavierCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BazilioHE07,
author = {Carlos Baz{\'{\i}}lio and
Edward Hermann Haeusler and
Markus Endler},
editor = {Augusto Sampaio},
title = {Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed
Systems},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {189--207},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.022},
doi = {10.1016/J.ENTCS.2007.03.022},
timestamp = {Wed, 12 Jun 2024 21:04:53 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BazilioHE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorgesM07,
author = {Rafael Magalh{\~{a}}es Borges and
Alexandre Cabral Mota},
editor = {Augusto Sampaio},
title = {Integrating {UML} and Formal Methods},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {97--112},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.017},
doi = {10.1016/J.ENTCS.2007.03.017},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BorgesM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeharbeRV07,
author = {David D{\'{e}}harbe and
Silvio Ranise and
Jorgiano Vidal},
editor = {Augusto Sampaio},
title = {Distributing the Workload in a Lazy Theorem-Prover},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {21--37},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.013},
doi = {10.1016/J.ENTCS.2007.03.013},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeharbeRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FaitelsonWD07,
author = {David Faitelson and
James Welch and
Jim Davies},
editor = {Augusto Sampaio},
title = {From Predicates to Programs: The Semantics of a Method Language},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {171--187},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.021},
doi = {10.1016/J.ENTCS.2007.03.021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FaitelsonWD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GheyiMB07,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {Augusto Sampaio},
title = {A Static Semantics for Alloy and its Impact in Refactorings},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {209--233},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.023},
doi = {10.1016/J.ENTCS.2007.03.023},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GheyiMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GomesMD07,
author = {Bruno Emerson Gurgel Gomes and
Anamaria Martins Moreira and
David D{\'{e}}harbe},
editor = {Augusto Sampaio},
title = {Developing Java Card Applications with {B}},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {81--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.016},
doi = {10.1016/J.ENTCS.2007.03.016},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GomesMD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JuniorSC07,
author = {Antonio Carvalho J{\'{u}}nior and
Leila Silva and
M{\'{a}}rcio Corn{\'{e}}lio},
editor = {Augusto Sampaio},
title = {Using CafeOBJ to Mechanise Refactoring Proofs and Application},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {39--61},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.014},
doi = {10.1016/J.ENTCS.2007.03.014},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JuniorSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MachadoSM07,
author = {Patr{\'{\i}}cia D. L. Machado and
Daniel A. Silva and
Alexandre Mota},
editor = {Augusto Sampaio},
title = {Towards Property Oriented Testing},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {3--19},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.06.001},
doi = {10.1016/J.ENTCS.2007.06.001},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MachadoSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MendizabalDR07,
author = {Odorico Machado Mendizabal and
Fernando Lu{\'{\i}}s Dotti and
Leila Ribeiro},
editor = {Augusto Sampaio},
title = {Stochastic Object-Based Graph Grammars},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {151--170},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.020},
doi = {10.1016/J.ENTCS.2007.03.020},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MendizabalDR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PasiniD07,
author = {F{\'{a}}bio Pasini and
Fernando Lu{\'{\i}}s Dotti},
editor = {Augusto Sampaio},
title = {Code Generation for Parallel Applications Modelled with Object-Based
Graph Grammars},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {113--131},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.018},
doi = {10.1016/J.ENTCS.2007.03.018},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PasiniD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sampaio07,
author = {Augusto Sampaio},
editor = {Augusto Sampaio},
title = {Preface},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.012},
doi = {10.1016/J.ENTCS.2007.03.012},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Sampaio07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SantiagoML07,
author = {Regivan Hugo Nunes Santiago and
Anamaria Martins Moreira and
Katiane R. Lopes},
editor = {Augusto Sampaio},
title = {Implementing Local Intervals in {CASL}},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {133--149},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.019},
doi = {10.1016/J.ENTCS.2007.03.019},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SantiagoML07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XavierC07,
author = {Manuela Xavier and
Ana Cavalcanti},
editor = {Augusto Sampaio},
title = {Mechanised Refinement of Procedures},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {63--80},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.015},
doi = {10.1016/J.ENTCS.2007.03.015},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/XavierC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2004,
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/130/suppl/C},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CornelioCS05,
author = {M{\'{a}}rcio Corn{\'{e}}lio and
Ana Cavalcanti and
Augusto Sampaio},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Refactoring Towards a Layered Architecture},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {281--300},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.015},
doi = {10.1016/J.ENTCS.2005.03.015},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CornelioCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaCVD05,
author = {Umberto Souza da Costa and
S{\'{e}}rgio Vale Aguiar Campos and
Newton Vieira and
David D{\'{e}}harbe},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Explicit-Symbolic Modelling for Formal Verification},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {301--321},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.016},
doi = {10.1016/J.ENTCS.2005.03.016},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaCVD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaviesCCNS05,
author = {Jim Davies and
Charles Crichton and
Edward Crichton and
David Neilson and
Ib Holm S{\o}rensen},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Formality, Evolution, and Model-driven Software Engineering},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {39--55},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.004},
doi = {10.1016/J.ENTCS.2005.03.004},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaviesCCNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EmersonW05,
author = {E. Allen Emerson and
Thomas Wahl},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Efficient Reduction Techniques for Systems with Many Components},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {379--399},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.019},
doi = {10.1016/J.ENTCS.2005.03.019},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EmersonW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerreiraS05,
author = {Nelson Guimar{\~{a}}es Ferreira and
Paulo S{\'{e}}rgio Muniz Silva},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Automatic Verification of Safety Rules for a Subway Control Software},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {323--343},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.017},
doi = {10.1016/J.ENTCS.2005.03.017},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FerreiraS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GheyiMB05,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {An Abstract Equivalence Notion for Object Models},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {3--21},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.002},
doi = {10.1016/J.ENTCS.2005.03.002},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GheyiMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuerraFG05,
author = {Fabr{\'{\i}}cio Vale de Azevedo Guerra and
Jorge Cesar Abrantes de Figueiredo and
Dalton Serey Guerrero},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Protocol Performance Analysis Using a Timed Extension for an Object
Oriented Petri Net Language},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {187--209},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.011},
doi = {10.1016/J.ENTCS.2005.03.011},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuerraFG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IorioBBOM05,
author = {Vladimir Oliveira Di Iorio and
Roberto da Silva Bigonha and
Mariza Andrade da Silva Bigonha and
Alcione P. Oliveira and
Eliseu Miguel},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {What's the Name of the Game? Formal Specification of Artificial Intelligence
Games},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {129--150},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.008},
doi = {10.1016/J.ENTCS.2005.03.008},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/IorioBBOM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Khoumsi05,
author = {Ahmed Khoumsi},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Complete Test Graph Synthesis For Symbolic Real-time Systems},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {79--100},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.006},
doi = {10.1016/J.ENTCS.2005.03.006},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Khoumsi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhoumsiO05,
author = {Ahmed Khoumsi and
Lucien Ouedraogo},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {A New Method for Transforming Timed Automata},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {101--128},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.007},
doi = {10.1016/J.ENTCS.2005.03.007},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhoumsiO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuHL05,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Towards a Rigorous Approach to UML-Based Development},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {57--77},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.005},
doi = {10.1016/J.ENTCS.2005.03.005},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MachadoOBR05,
author = {Patr{\'{\i}}cia D. L. Machado and
Elthon A. S. Oliveira and
Paulo E. S. Barbosa and
C{\'{a}}ssio L. Rodrigues},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Testing from Structured Algebraic Specifications: The Veritas Case
Study},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {235--261},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.013},
doi = {10.1016/J.ENTCS.2005.03.013},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MachadoOBR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Melo05,
author = {Ana Cristina Vieira de Melo},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {From Active Names to pi-calculus Rewriting Rules},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {169--185},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.010},
doi = {10.1016/J.ENTCS.2005.03.010},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Melo05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MorganM05,
author = {Carroll Morgan and
Annabelle McIver},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Memoryless Strategies for Stochastic Games via Domain Theory},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {23--37},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.003},
doi = {10.1016/J.ENTCS.2005.03.003},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MorganM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MotaM05,
author = {Alexandre Mota and
Arnaldo V. Moura},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Preface},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.001},
doi = {10.1016/J.ENTCS.2005.03.001},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MotaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PuQH05,
author = {Geguang Pu and
Zongyan Qiu and
Jifeng He},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Integrating Time and Resource into \emph{Circus}},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {401--418},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.020},
doi = {10.1016/J.ENTCS.2005.03.020},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PuQH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RademakerBS05,
author = {Alexandre Rademaker and
Christiano de Oliveira Braga and
Alexandre Sztajnberg},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {A Rewriting Semantics for a Software Architecture Description Language},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {345--377},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.018},
doi = {10.1016/J.ENTCS.2005.03.018},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RademakerBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RodriguesB05,
author = {Nuno F. Rodrigues and
Lu{\'{\i}}s Soares Barbosa},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Architectural Prototyping: From {CCS} to .Net},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {151--167},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.009},
doi = {10.1016/J.ENTCS.2005.03.009},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RodriguesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Silva05,
author = {Paulo S{\'{e}}rgio Muniz Silva},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Early Verification of Computer Systems Temporal Properties},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {211--233},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.012},
doi = {10.1016/J.ENTCS.2005.03.012},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Silva05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZiemannHG05a,
author = {Paul Ziemann and
Karsten H{\"{o}}lscher and
Martin Gogolla},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Coherently Explaining {UML} Statechart and Collaboration Diagrams
by Graph Transformations},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {263--280},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.014},
doi = {10.1016/J.ENTCS.2005.03.014},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZiemannHG05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2003,
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/95/suppl/C},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaS04,
author = {Christiano Braga and
Alexandre Sztajnberg},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Towards a Rewriting Semantics for a Software Architecture Description
Language},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {149--168},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.010},
doi = {10.1016/J.ENTCS.2004.04.010},
timestamp = {Wed, 07 Dec 2022 10:40:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BragaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Callejas-BedregalB04,
author = {Roberto Callejas{-}Bedregal and
Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Aci{\'{o}}ly-Scott Interval Categories},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {169--187},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.011},
doi = {10.1016/J.ENTCS.2004.04.011},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Callejas-BedregalB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CavalcantiM04,
author = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Preface},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.002},
doi = {10.1016/J.ENTCS.2004.04.002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CavalcantiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CouchotDDGR04,
author = {Jean{-}Fran{\c{c}}ois Couchot and
Fr{\'{e}}d{\'{e}}ric Dadeau and
David D{\'{e}}harbe and
Alain Giorgetti and
Silvio Ranise},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Proving and Debugging Set-Based Specifications},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {189--208},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.012},
doi = {10.1016/J.ENTCS.2004.04.012},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CouchotDDGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FossR04,
author = {Luciana Foss and
Leila Ribeiro},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {A Translation from Object-Based Hypergraph Grammars into pi-Calculus},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {245--267},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.015},
doi = {10.1016/J.ENTCS.2004.04.015},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FossR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gaudel04,
author = {Marie{-}Claude Gaudel},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Problems and Methods for Testing Infinite State Machines: Extended
Abstract},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {53--62},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.005},
doi = {10.1016/J.ENTCS.2004.04.005},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gaudel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GheyiB04,
author = {Rohit Gheyi and
Paulo Borba},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Refactoring Alloy Specifications},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {227--243},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.014},
doi = {10.1016/J.ENTCS.2004.04.014},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GheyiB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LimaFG04,
author = {Emerson Ferreira de Ara{\'{u}}jo Lima and
Jorge C. A. de Figueiredo and
Dalton Serey Guerrero},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Using Coloured Petri Nets to Compare Mobile Agent Design Patterns},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {287--305},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.017},
doi = {10.1016/J.ENTCS.2004.04.017},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LimaFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Melo04,
author = {Ana Cristina Vieira de Melo},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {A Study On The Potential Active Names of pi-Agents},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {269--286},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.016},
doi = {10.1016/J.ENTCS.2004.04.016},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Melo04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoreiraO04,
author = {Anamaria Martins Moreira and
Anderson Santana de Oliveira},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Simulating Algebraic Specification Genericity on Languages with Initial
Semantics},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {131--148},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.009},
doi = {10.1016/J.ENTCS.2004.04.009},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoreiraO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MotaCGOFK04,
author = {Edjard Mota and
Edmund M. Clarke and
Alex Groce and
Waleska Oliveira and
Marcia Falc{\~{a}}o and
Jorge Y. Kanda},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {VeriAgent: an Approach to Integrating {UML} and Formal Verification
Tools},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {111--129},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.008},
doi = {10.1016/J.ENTCS.2004.04.008},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MotaCGOFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NukaW04,
author = {Gift Nuka and
Jim Woodcock},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Mechanising the Alphabetised Relational Calculus},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {209--225},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.013},
doi = {10.1016/J.ENTCS.2004.04.013},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NukaW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RamalhoRS04,
author = {Franklin Ramalho and
Jacques Robin and
Ulrich Schiel},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Concurrent Transaction Frame Logic Formal Semantics for {UML} Activity
and Class Diagrams},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {83--109},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.007},
doi = {10.1016/J.ENTCS.2004.04.007},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RamalhoRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SampaioMR04,
author = {Augusto Sampaio and
Alexandre Mota and
Rodrigo Ramos},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Class and Capsule Refinement in {UML} for Real Time},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {23--51},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.004},
doi = {10.1016/J.ENTCS.2004.04.004},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SampaioMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SilvaMS04,
author = {Andr{\'{e}} Luis Silva and
Manoel Messias Menezes and
Leila Silva},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Using CafeOBJ to Implement a Reduction Strategy in the Context of
Hardware/Software Partitioning},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {63--82},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.006},
doi = {10.1016/J.ENTCS.2004.04.006},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SilvaMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Woodcock04,
author = {Jim Woodcock},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Using Circus for Safety-critical Applications},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {3--22},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.003},
doi = {10.1016/J.ENTCS.2004.04.003},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Woodcock04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-07 14:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
