Please find below (in alphabetical order) the list of papers accepted to be presented in the Brazilian Symposium on Formal Methods of 2009. A Complete Set of Object Modeling Laws for Alloy - Rohit Gheyi - Federal University of Campina Grande, Brazil
- Tiago Massoni - Federal University of Pernambuco, Brazil
- Paulo Borba - Federal University of Pernambuco, Brazil
- Augusto Sampaio - Federal University of Pernambuco, Brazil
A Mechanized Strategy for Safe Abstraction of CSP Specifications
- Adriana Damasceno - Federal University of Pernambuco, Brazil
- Adalberto Farias - Federal University of Pernambuco, Brazil
- Alexandre Mota - Federal University of Pernambuco, Brazil
A Simple and General Theoretical Account for Abstract Types - Hongwei Xi - Boston University, United States
Corecursive Algebras: A Study of General Structured Corecursion - Venanzio Capretta - University of Nottingham, United Kingdom
- Tarmo Uustal - Tallin University of Technology, Estonia
- Varmo Vene - University of Tartu, Estonia
Defining Behaviours by Quasi-Finality - Luis Monteiro - New University of Lisbon, Portugal
- Elisabete Freire - University of Azores, Portugal
Formalisation and Analysis of Objects as CSP Processes - Renata Kaufman - Federal University of Pernambuco, Brazil
- Augusto Sampaio - Federal University of Pernambuco, Brazil
- Alexandre Mota - Federal University of Pernambuco, Brazil
Interruption Testing of Reactive Systems - Wilkerson L. Andrade - Federal University of Campina Grande, Brazil
- Patricia Machado - Federal University of Campina Grande, Brazil
Low-Level Code Verification Based on CSP Models - Moritz Kleine - Technische Universität Berlin, Germany
- Steffen Helke - Technische Universität Berlin, Germany
Reasoning About General Quantum Programs over Mixed States - Juliana Vizzotto - UNIFRA, Brazil
- Giovani Rubert Librelotto - Federal University of Santa Maria, Brazil
- Amr Sabry - Indiana University, United States
Towards Safe Design of Synchronous Bus Protocols in Event-B - Ricardo B. França - Institut de Recherche en Informatique de Toulouse, France
- Leandro Buss Becker - Federal University of Santa Catarina, Brazil
- Jean-Paul Bodevei - Institut de Recherche en Informatique de Toulouse, France
- Jean-Marie Farines - Federal University of Santa Catarina, Brazil
- Mamoun FILALI-AMINE - Institut de Recherche en Informatique de Toulouse, France
Undecidability Results for Distributed Probabilistic Systems - Sergio Giro - CONICET - FaMAF, Argentina
Accepted Student Papers Formal Model of Microcontroller Instruction Set in B - Valério Gutemberg Medeiros Jr - Federal University of Rio Grande do Norte, Brazil
- David Déharbe - Federal University of Rio Grande do Norte, Brazil
|