| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicolas Blanc, Daniel Kroening |
Speeding Up Simulation of SystemC Using Model Checking.  |
SBMF  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriana Damasceno, Adalberto Farias, Alexandre Mota 0001 |
A Mechanized Strategy for Safe Abstraction of CSP Specifications. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Satisfiability Modulo Theories: An Appetizer. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Kleine, Steffen Helke |
Low-Level Code Verification Based on CSP Models. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio |
A Complete Set of Object Modeling Laws for Alloy. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Venanzio Capretta, Tarmo Uustalu, Varmo Vene |
Corecursive Algebras: A Study of General Structured Corecursion. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
synchronous systems, Event-B, parameterized systems, bus protocols |
| 1 | Miguel Alexandre Ferreira, José Nuno Oliveira |
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Butterfield, Art Ó Catháin |
Concurrent Models of Flash Memory Device Behaviour. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine |
Combining Decision Procedures by (Model-)Equality Propagation. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto |
Specification and Runtime Verification of Java Card Programs. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
Model Checking Merged Program Traces. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Regnier, George Lima 0001, Aline Maria Santos Andrade |
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda |
A Case Study in JML-Assisted Software Development. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone André da Costa, Leila Ribeiro 0001 |
Formal Verification of Graph Grammars using Mathematical Induction. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávia Falcão, Juliano Iyoda, Augusto Sampaio |
Multiple Synchrony in MSC. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrícia D. L. Machado |
Preface. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus O. Myreen, Michael J. C. Gordon |
Transforming Programs into Recursive Functions. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Ignacio Perna, Jim Woodcock 0001 |
Mechanised Wire-wise Verification of Handel-C Synthesis. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001 |
Stateflow Diagrams in Circus. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | André Didier, Adalberto Farias, Alexandre Mota 0001 |
Checking Z Data Refinements Using Traces Refinement. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti 0001 |
Mechanical Reasoning about Families of UTP Theories. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior |
Verified Compilation and the B Method: A Proposal and a First Appraisal. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Jéron |
Symbolic Model-based Test Selection. |
SBMF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anamaria Martins Moreira, Leila Ribeiro 0001 (eds.) |
Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006 |
SBMF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Augusto Sampaio (eds.) |
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005 |
SBMF |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens |
A Calculus for Team Automata. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela Xavier, Ana Cavalcanti 0001, Augusto Sampaio |
Type Checking Circus Specifications. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima 0001 |
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anamaria Martins Moreira, Leila Ribeiro 0001 |
Preface. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes 0003, Ricardo Ribeiro 0002 |
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, David Faitelson, James Welch |
Domain-specific Semantics and Data Refinement of Object Models. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrícia Ferreira, Augusto Sampaio, Alexandre Mota 0001 |
Viewing CSP Specifications with UML-RT Diagrams. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper 0001, Erik J. Luit |
Invariants for Non-Hierarchical Object Structures. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Cabral, Augusto Sampaio |
Formal Specification Generation from Requirement Documents. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch 0001 |
Undecidable Control Conditions in Graph Transformation Units. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado |
Towards Deriving Test Sequences by Model Checking. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
An Institutional Theory for #-Components. |
SBMF |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro 0001 |
Stochastic Object-Based Graph Grammars. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio |
Using CafeOBJ to Mechanise Refactoring Proofs and Application. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Bazílio, Edward Hermann Haeusler, Markus Endler |
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fábio Pasini, Fernando Luís Dotti |
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela Xavier, Ana Cavalcanti 0001 |
Mechanised Refinement of Procedures. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Regivan Hugo Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes |
Implementing Local Intervals in CASL. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Magalhães Borges, Alexandre Cabral Mota |
Integrating UML and Formal Methods. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Faitelson, James Welch, Jim Davies |
From Predicates to Programs: The Semantics of a Method Language. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Déharbe, Silvio Ranise, Jorgiano Vidal |
Distributing the Workload in a Lazy Theorem-Prover. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
A Static Semantics for Alloy and its Impact in Refactorings. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota 0001 |
Towards Property Oriented Testing. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe |
Developing Java Card Applications with B. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio |
Preface. |
SBMF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mota 0001, Arnaldo V. Moura (eds.) |
Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004 |
SBMF |
2005 |
DBLP BibTeX RDF |
|
| 1 | E. Allen Emerson, Thomas Wahl |
Efficient Reduction Techniques for Systems with Many Components. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
An Abstract Equivalence Notion for Object Models. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li |
Towards a Rigorous Approach to UML-Based Development. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Ziemann, Karsten Hölscher, Martin Gogolla |
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva |
Automatic Verification of Safety Rules for a Subway Control Software. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Cornélio, Ana Cavalcanti 0001, Augusto Sampaio |
Refactoring Towards a Layered Architecture. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cristina Vieira de Melo |
From Active Names to pi-calculus Rewriting Rules. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sérgio Muniz Silva |
Early Verification of Computer Systems Temporal Properties. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno F. Rodrigues, Luís Soares Barbosa |
Architectural Prototyping: From CCS to .Net. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carroll Morgan, Annabelle McIver |
Memoryless Strategies for Stochastic Games via Domain Theory. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Alcione P. Oliveira, Eliseu Miguel |
What's the Name of the Game? Formal Specification of Artificial Intelligence Games. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Rademaker, Christiano de Oliveira Braga, Alexandre Sztajnberg |
A Rewriting Semantics for a Software Architecture Description Language. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mota 0001, Arnaldo V. Moura |
Preface. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen |
Formality, Evolution, and Model-driven Software Engineering. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Zongyan Qiu, Jifeng He 0001 |
Integrating Time and Resource into Circus. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Lucien Ouedraogo |
A New Method for Transforming Timed Automata. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Khoumsi |
Complete Test Graph Synthesis For Symbolic Real-time Systems. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe |
Explicit-Symbolic Modelling for Formal Verification. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license