Volume 130, May 2005
Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004)
- Alexandre Mota, Arnaldo V. Moura:
Preface.
1-2
- Rohit Gheyi, Tiago Massoni, Paulo Borba:
An Abstract Equivalence Notion for Object Models.
3-21
- Carroll Morgan, Annabelle McIver:
Memoryless Strategies for Stochastic Games via Domain Theory.
23-37
- Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen:
Formality, Evolution, and Model-driven Software Engineering.
39-55
- Zhiming Liu, Jifeng He, Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development.
57-77
- Ahmed Khoumsi:
Complete Test Graph Synthesis For Symbolic Real-time Systems.
79-100
- Ahmed Khoumsi, Lucien Ouedraogo:
A New Method for Transforming Timed Automata.
101-128
- Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Alcione Oliveira, Eliseu Miguel:
What's the Name of the Game? Formal Specification of Artificial Intelligence Games.
129-150
- Nuno F. Rodrigues, Luís Soares Barbosa:
Architectural Prototyping: From CCS to .Net.
151-167
- Ana Cristina Vieira de Melo:
From Active Names to pi-calculus Rewriting Rules.
169-185
- Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Serey Guerrero:
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language.
187-209
- Paulo Sérgio Muniz Silva:
Early Verification of Computer Systems Temporal Properties.
211-233
- Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues:
Testing from Structured Algebraic Specifications: The Veritas Case Study.
235-261
- Paul Ziemann, Karsten Hölscher, Martin Gogolla:
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations.
263-280
- Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Refactoring Towards a Layered Architecture.
281-300
- Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe:
Explicit-Symbolic Modelling for Formal Verification.
301-321
- Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva:
Automatic Verification of Safety Rules for a Subway Control Software.
323-343
- Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg:
A Rewriting Semantics for a Software Architecture Description Language.
345-377
- E. Allen Emerson, Thomas Wahl:
Efficient Reduction Techniques for Systems with Many Components.
379-399
- Geguang Pu, Zongyan Qiu, Jifeng He:
Integrating Time and Resource into Circus.
401-418
Last update Wed May 22 17:32:56 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
