default search action

combined dblp search
author search
venue search
publication search

ask others

17. SBMF 2014: Maceió, AL, Brazil

> Home > Conferences and Workshops > SBMF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2014
Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BonichonDLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BonichonDLM14
Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.:
LLVM-Based Code Generation for B. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Marti-OlietDV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Marti-OlietDV14
Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo:
Equational Abstractions in Rewriting Logic and Maude. 17-31
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AhmadHST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AhmadHST14
Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar:
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. 32-47
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AlmeidaMAM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AlmeidaMAM14
Diego R. Almeida, Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado:
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. 48-63
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CalegariMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CalegariMS14
Daniel Calegari, Till Mossakowski, Nora Szasz:
Model-Driven Engineering in the Heterogeneous Tool Set. 64-79
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Ciaffaglione14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Ciaffaglione14
Alberto Ciaffaglione:
A Coinductive Animation of Turing Machines. 80-95
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FedyukovichS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FedyukovichS14
Grigory Fedyukovich, Natasha Sharygina:
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. 96-112
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FerreiraBC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FerreiraBC14
Bruno Ferreira, Fernando A. F. Braz, Sérgio Vale Aguiar Campos:
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. 113-129
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MadeiraNMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MadeiraNMB14
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. 130-145
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/NevesMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NevesMB14
Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. 146-161
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/TimmG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/TimmG14
Nils Timm, Stefan Gruner:
Parameterisation of Three-Valued Abstractions. 162-178

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.