| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Camilo Rocha, César Muñoz |
Simulation and Verification of Synchronous Set Relations in Rewriting Logic.  |
SBMF  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Chareton, Julien Brunel, David Chemouil |
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Leila Silva, Adenilso da Silva Simão (eds.) |
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Büttner, Martin Gogolla |
Modular Embedding of the Object Constraint Language into a Programming Language. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Matiello, Ana Cristina Vieira de Melo |
PiStache: Implementing π-Calculus in Scala. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adenilso da Silva Simão, Carroll Morgan (eds.) |
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Machado Dias, Juliano Manabu Iyoda |
Behavioural Preservation in Fault Tolerant Patterns. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viorel Preoteasa |
Algebra of Monotonic Boolean Transformers. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Steenken, Heike Wehrheim, Daniel Wonisch |
Sound and Complete Abstract Graph Transformation. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald König, Michael Löwe, Christoph Schulz |
Model Transformation and Induced Instance Migration: A Universal Framework. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Vinicius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz |
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Welsch, Arnd Poetzsch-Heffter |
Full Abstraction at Package Boundaries of Object-Oriented Languages. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Kalvala, Richard Warburton |
A Formal Approach to Fixing Bugs. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Chapman, Eric Botcazou, Angela Wallenburg |
SPARKSkein: A Formal and Fast Reference Implementation of Skein. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim |
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Kleine, J. W. Sanders |
Simulating Truly Concurrent CSP. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabina Akhtar, Stephan Merz, Martin Quinson |
A High-Level Language for Modeling Algorithms and Their Properties. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jens Bendisposto |
Directed Model Checking for B: An Evaluation and New Techniques. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva |
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos |
Runtime Verification for Generic Classes with ConGu 2. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderrahman Matoussi, Frédéric Gervais, Régine Laleau |
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira |
Formal Development of a Cardiac Pacemaker: From Specification to Code. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit |
A Modal Interface Theory with Data Constraints. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro |
A Type-Theoretic Framework for Certified Model Transformations. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Tamalet, Ken Madlener |
Reasoning about Assignments in Recursive Data Structures. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
A Formal Environment Model for Multi-Agent Systems. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer |
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
Synchronizing Model and Program Refactoring. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Automating Refinement of Circus Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani |
Statistical Verification of Probabilistic Properties with Unbounded Until. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma |
Normalization of Linear Horn Clauses. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Charles Morisset, Shuling Wang |
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Mostowski, Erik Poll |
Midlet Navigation Graphs in JML. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tobias Mühlberg, Gerald Lüttgen |
Verifying Compiled File System Code. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kriangsak Damchoom, Michael J. Butler |
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B |
| 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 | Sebastián Uchitel |
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunho Kim |
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Freitas |
Mechanising Data-Types for Kernel Design in Z. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry |
Reasoning about General Quantum Programs over Mixed States. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Déharbe, Stephenson Galvão, Anamaria Martins Moreira |
Formalizing FreeRTOS: First Steps. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Blanc, Daniel Kroening |
Speeding Up Simulation of SystemC Using Model Checking. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Kaufman, Augusto Sampaio, Alexandre Mota |
Formalisation and Analysis of Objects as CSP Processes. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
Design Pattern, CSP, Object-Z, Object-Oriented Specification |
| 1 | Moritz Kleine, Steffen Helke |
Low-Level Code Verification Based on CSP Models. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Giro |
Undecidability Results for Distributed Probabilistic Systems. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.) |
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriana Damasceno, Adalberto Farias, Alexandre Mota |
A Mechanized Strategy for Safe Abstraction of CSP Specifications. |
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 | Wilkerson de L. Andrade, Patrícia D. L. Machado |
Interruption Testing of Reactive Systems. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Xi |
A Simple and General Theoretical Account for Abstract Types. |
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 | Leonardo Mendonça de Moura, Nikolaj Bjørner |
Satisfiability Modulo Theories: An Appetizer. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valério Medeiros Júnior, David Déharbe |
Formal Modelling of a Microcontroller Instruction Set in B. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Elisabete Freire, Luís Monteiro |
Defining Behaviours by Quasi-finality. |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")