Search dblp for Publications

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

 download as .bib file

@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}
}
@inproceedings{DBLP:conf/sbmf/AhmadHST14,
  author    = {Sohaib Ahmad and
               Osman Hasan and
               Umair Siddique and
               Sofi{\`{e}}ne Tahar},
  title     = {Formalization of Zsyntax to Reason About Molecular Pathways in {HOL4}},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {32--47},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/AlmeidaMAM14,
  author    = {Diego R. Almeida and
               Alan Moraes and
               Wilkerson de L. Andrade and
               Patr{\'{\i}}cia D. L. Machado},
  title     = {Towards a Family of Test Selection Criteria for Symbolic Models of
               Real-Time Systems},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {48--63},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/BonichonDLM14,
  author    = {Richard Bonichon and
               David D{\'{e}}harbe and
               Thierry Lecomte and
               Val{\'{e}}rio Medeiros Jr.},
  title     = {LLVM-Based Code Generation for {B}},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/CalegariMS14,
  author    = {Daniel Calegari and
               Till Mossakowski and
               Nora Szasz},
  title     = {Model-Driven Engineering in the Heterogeneous Tool Set},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {64--79},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/Ciaffaglione14,
  author    = {Alberto Ciaffaglione},
  title     = {A Coinductive Animation of Turing Machines},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {80--95},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/FedyukovichS14,
  author    = {Grigory Fedyukovich and
               Natasha Sharygina},
  title     = {Towards Completeness in Bounded Model Checking Through Automatic Recursion
               Depth Detection},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {96--112},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/FerreiraBC14,
  author    = {Bruno Ferreira and
               Fernando A. F. Braz and
               S{\'{e}}rgio V. A. Campos},
  title     = {A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks
               Mobility Model},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {113--129},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/MadeiraNMB14,
  author    = {Alexandre Madeira and
               Renato Neves and
               Manuel A. Martins and
               Lu{\'{\i}}s Soares Barbosa},
  title     = {A Dynamic Logic for Every Season},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {130--145},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/Marti-OlietDV14,
  author    = {Narciso Mart{\'{\i}}{-}Oliet and
               Francisco Dur{\'{a}}n and
               Alberto Verdejo},
  title     = {Equational Abstractions in Rewriting Logic and Maude},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {17--31},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/NevesMB14,
  author    = {Renato Neves and
               Manuel A. Martins and
               Lu{\'{\i}}s Soares Barbosa},
  title     = {Completeness and Decidability Results for Hybrid(ised) Logics},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {146--161},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/sbmf/TimmG14,
  author    = {Nils Timm and
               Stefan Gruner},
  title     = {Parameterisation of Three-Valued Abstractions},
  booktitle = {{SBMF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {162--178},
  publisher = {Springer},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics