default search action

combined dblp search
author search
venue search
publication search

ask others

16. SBMF 2013: Brasilia, 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/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2013
Juliano Iyoda, Leonardo Mendonça de Moura:
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Lecture Notes in Computer Science 8195, Springer 2013, ISBN 978-3-642-41070-3
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BragaS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BragaS13
Christiano Braga, Cassio Santos:
Meaningful Models - A Research Agenda on Model-Driven Engineering -. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/McMillan13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/McMillan13
Kenneth L. McMillan:
Deductive Generalization. 17
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BandurW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BandurW13
Victor Bandur, Jim Woodcock:
Unifying Theories of Logic and Specification. 18-33
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CalegariS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CalegariS13
Daniel Calegari, Nora Szasz:
Institution-Based Semantics for MOF and QVT-Relations. 34-50
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MarcilonJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MarcilonJ13
Thiago Braga Marcilon, Francisco Heron de Carvalho Junior:
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SantosBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SantosBM13
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade:
An Executable Semantics for a Multimedia Authoring Language. 67-82
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/VeneroS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/VeneroS13
Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva:
On the Use of SPIN for Studying the Behavior of Nested Petri Nets. 83-98
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GladischT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GladischT13
Christoph Gladisch, Shmuel S. Tyszberowicz:
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. 99-114
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GuerraAW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GuerraAW13
Paulo T. Guerra, Aline Andrade, Renata Wassermann:
Toward the Revision of CTL Models through Kripke Modal Transition Systems. 115-130
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/HelaliHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/HelaliHT13
Ghassen Helali, Osman Hasan, Sofiène Tahar:
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. 131-146
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/JuniorCF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/JuniorCF13
Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss:
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. 147-162
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiS13
Qin Li, Graeme Smith:
A Refinement Framework for Autonomous Agents. 163-178
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LimaDC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LimaDC13
Lucas Lima, André Didier, Márcio Cornélio:
A Formal Semantics for SysML Activity Diagrams. 179-194
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiuHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiuHT13
Liya Liu, Osman Hasan, Sofiène Tahar:
Formal Analysis of Memory Contention in a Multiprocessor System. 195-210
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LoweKSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LoweKSS13
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen:
Algebraic Graph Transformations with Inheritance. 211-226
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SimonsenKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SimonsenKK13
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Generating Protocol Software from CPN Models Annotated with Pragmatics. 227-242

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.