Search dblp for Publications

export results for "toc:db/conf/sbmf/sbmf2017.bht:"

 download as .bib file

@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    = {Sat, 09 Apr 2022 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.