default search action

combined dblp search
author search
venue search
publication search

ask others

15. SBMF 2012: Natal, 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/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2012
Rohit Gheyi, David A. Naumann:
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7498, Springer 2012, ISBN 978-3-642-33295-1
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Rushby12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Rushby12
John M. Rushby:
The Versatile Synchronous Observer. 1
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Schulte12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Schulte12
Wolfram Schulte:
Thirteen Years of Automated Code Analysis at Microsoft. 2
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AcostaKCA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AcostaKCA12
Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre:
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BarbosaD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BarbosaD12
Haniel Barbosa, David Déharbe:
An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BrazCFC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BrazCFC12
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos:
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MatosM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MatosM12
Ernesto Cid Brasil de Matos, Anamaria Martins Moreira:
BETA: A B Based Testing Approach. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CarvalhoFMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CarvalhoFMS12
Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio:
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. 67-82
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CavalheiroFR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CavalheiroFR12
Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
Specification Patterns for Properties over Reachable States of Graph Grammars. 83-98
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/DaviesGMW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DaviesGMW12
Jim Davies, Jeremy Gibbons, David Milward, James Welch:
Compositionality and Refinement in Model-Driven Engineering. 99-114
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/DidierM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DidierM12
André Didier, Alexandre Mota:
Identifying Hardware Failures Systematically. 115-130
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/HuangZSZQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/HuangZSZQ12
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin:
Investigating Time Properties of Interrupt-Driven Programs. 131-146
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/RegisRAM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/RegisRAM12
Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum:
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. 147-162
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SchulzLK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SchulzLK12
Christoph Schulz, Michael Löwe, Harald König:
Composition of Model Transformations: A Categorical Framework. 163-178
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SekerinskiZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SekerinskiZ12
Emil Sekerinski, Tian Zhang:
Verification Rules for Exception Handling in Eiffel. 179-193
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SharmaGB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SharmaGB12
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky:
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. 194-209
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/ZanariniLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ZanariniLS12
Dante Zanarini, Carlos Luna, Luis Sierra:
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. 210-225

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.