Segue abaixo (em ordem alfabética) a lista dos artigos aceitos para apresentação no Simpósio Brasileiro de Métodos Formais de 2009. A Complete Set of Object Modeling Laws for Alloy - Rohit Gheyi - Universidade Federal de Campina Grande, Brasil
- Tiago Massoni - Universidade Federal de Pernambuco, Brasil
- Paulo Borba - Universidade Federal de Pernambuco, Brasil
- Augusto Sampaio - Universidade Federal de Pernambuco, Brasil
A Mechanized Strategy for Safe Abstraction of CSP Specifications
- Adriana Damasceno - Universidade Federal de Pernambuco, Brasil
- Adalberto Farias - Universidade Federal de Pernambuco, Brasil
- Alexandre Mota - Universidade Federal de Pernambuco, Brasil
A Simple and General Theoretical Account for Abstract Types - Hongwei Xi - Universidade de Boston, Estados Unidos
Corecursive Algebras: A Study of General Structured Corecursion - Venanzio Capretta - University of Nottingham, Reino Unido
- Tarmo Uustal - Tallin University of Technology, Estônia
- Varmo Vene - University of Tartu, Estônia
Defining Behaviours by Quasi-Finality - Luis Monteiro - Universidade Nova de Lisboa, Portugal
- Elisabete Freire - Universidade dos Açores, Portugal
Formalisation and Analysis of Objects as CSP Processes - Renata Kaufman - Universidade Federal de Pernambuco, Brasil
- Augusto Sampaio - Universidade Federal de Pernambuco, Brasil
- Alexandre Mota - Universidade Federal de Pernambuco, Brasil
Interruption Testing of Reactive Systems - Wilkerson L. Andrade - Universidade Federal de Campina Grande, Brazil
- Patricia Machado - Universidade Federal de Campina Grande, Brazil
Low-Level Code Verification Based on CSP Models - Moritz Kleine - Technische Universität Berlin, Alemanha
- Steffen Helke - Technische Universität Berlin, Alemanha
Reasoning About General Quantum Programs over Mixed States - Juliana Vizzotto - UNIFRA, Brasil
- Giovani Rubert Librelotto - Universidade Federal de Santa Maria, Brasil
- Amr Sabry - Universidade da Indiana, Estados Unidos
Towards Safe Design of Synchronous Bus Protocols in Event-B - Ricardo B. França - Institut de Recherche en Informatique de Toulouse, França
- Leandro Buss Becker - Universidade Federal de Santa Catarina, Brasil
- Jean-Paul Bodeveix - Institut de Recherche en Informatique de Toulouse, França
- Jean-Marie Farines - Universidade Federal de Santa Catarina, Brasil
- Mamoun FILALI-AMINE - Institut de Recherche en Informatique de Toulouse, França
Undecidability Results for Distributed Probabilistic Systems - Sergio Giro - CONICET - FaMAF, Argentina
Artigos de Estudantes Aceitos Formal Model of Microcontroller Instruction Set in B Valério Gutemberg Medeiros Jr - Universidade Federal do Rio Grande do Norte, Brasil David Déharbe - Universidade Federal do Rio Grande do Norte, Brasil
|