ask others

12. SBMF 2009: Gramado, Brazil

> Home > Conferences and Workshops > SBMF

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/2009
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/2009
Marcel Vinícius Medeiros Oliveira, Jim Woodcock:
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5902, Springer 2009, ISBN 978-3-642-10451-0
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/BlancK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/BlancK09
Nicolas Blanc, Daniel Kroening:
Speeding Up Simulation of SystemC Using Model Checking. 1-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/Uchitel09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/Uchitel09
Sebastián Uchitel:
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. 17-22
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/MouraB09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/MouraB09
Leonardo Mendonça de Moura, Nikolaj Bjørner:
Satisfiability Modulo Theories: An Appetizer. 23-36
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/AndradeM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/AndradeM09
Wilkerson de L. Andrade, Patrícia D. L. Machado:
Interruption Testing of Reactive Systems. 37-53
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/AndradeMAA09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/AndradeMAA09
Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida:
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. 54-69
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/ButterfieldC09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/ButterfieldC09
Andrew Butterfield, Art Ó Catháin:
Concurrent Models of Flash Memory Device Behaviour. 70-83
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/CaprettaUV09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/CaprettaUV09
Venanzio Capretta, Tarmo Uustalu, Varmo Vene:
Corecursive Algebras: A Study of General Structured Corecursion. 84-100
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/DeharbeGM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/DeharbeGM09
David Déharbe, Stephenson Galvão, Anamaria Martins Moreira:
Formalizing FreeRTOS: First Steps. 101-117
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/DamascenoFM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/DamascenoFM09
Adriana Damasceno, Adalberto Farias, Alexandre Mota:
A Mechanized Strategy for Safe Abstraction of CSP Specifications. 118-133
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/DamchoomB09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/DamchoomB09
Kriangsak Damchoom, Michael J. Butler:
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. 134-152
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/FerreiraO09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/FerreiraO09
Miguel Alexandre Ferreira, José Nuno Oliveira:
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. 153-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/FrancaBBFF09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/FrancaBBFF09
Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali:
Towards Safe Design of Synchronous Bus Protocols in Event-B. 170-185
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/Freitas09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/Freitas09
Leo Freitas:
Mechanising Data-Types for Kernel Design in Z. 186-203
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/GheyiMBS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/GheyiMBS09
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy. 204-219
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/Giro09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/Giro09
Sergio Giro:
Undecidability Results for Distributed Probabilistic Systems. 220-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/KaufmanSM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/KaufmanSM09
Renata Kaufman, Augusto Sampaio, Alexandre Mota:
Formalisation and Analysis of Objects as CSP Processes. 236-250
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/KimK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/KimK09
Moonzoo Kim, Yunho Kim:
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. 251-265
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/KleineH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/KleineH09
Moritz Kleine, Steffen Helke:
Low-Level Code Verification Based on CSP Models. 266-281
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/JuniorD09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/JuniorD09
Valério Medeiros Júnior, David Déharbe:
Formal Modelling of a Microcontroller Instruction Set in B. 282-289
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/FreireM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/FreireM09
Elisabete Freire, Luís Monteiro:
Defining Behaviours by Quasi-finality. 290-305
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/MuhlbergL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/MuhlbergL09
Jan Tobias Mühlberg, Gerald Lüttgen:
Verifying Compiled File System Code. 306-320
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/VizzottoLS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/VizzottoLS09
Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry:
Reasoning about General Quantum Programs over Mixed States. 321-335
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/Xi09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/Xi09
Hongwei Xi:
A Simple and General Theoretical Account for Abstract Types. 336-349

maintained by

, founded at