| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nils Timm, Stefan Gruner |
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking.  |
SBMF  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio |
Test Case Generation from Natural Language Requirements Using CPN Simulation. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, Narciso Martí-Oliet (eds.) |
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota 0001 |
Verifying Transformations of Java Programs Using Alloy. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, Bruno Lopes 0001 |
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock 0001, Andy J. Wellings, Ana Cavalcanti 0001 |
Mobile CSP. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
Completeness and Decidability Results for Hybrid(ised) Logics. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr. |
LLVM-Based Code Generation for B. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Stefan Gruner |
Parameterisation of Three-Valued Abstractions. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Calegari, Till Mossakowski, Nora Szasz |
Model-Driven Engineering in the Heterogeneous Tool Set. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Madeira, Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
A Dynamic Logic for Every Season. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego R. Almeida, Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado |
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigory Fedyukovich, Natasha Sharygina |
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Ferreira 0001, Fernando A. F. Braz, Sérgio Vale Aguiar Campos |
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Ciaffaglione |
A Coinductive Animation of Turing Machines. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar |
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, Francisco Durán 0001, Alberto Verdejo |
Equational Abstractions in Rewriting Logic and Maude. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Lima 0001, André Didier, Márcio Cornélio |
A Formal Semantics for SysML Activity Diagrams. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li 0002, Graeme Smith 0001 |
A Refinement Framework for Autonomous Agents. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Liya Liu, Osman Hasan, Sofiène Tahar |
Formal Analysis of Memory Contention in a Multiprocessor System. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo T. Guerra, Aline Andrade, Renata Wassermann |
Toward the Revision of CTL Models through Kripke Modal Transition Systems. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, Cassio Santos |
Meaningful Models - A Research Agenda on Model-Driven Engineering -. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss |
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghassen Helali, Osman Hasan, Sofiène Tahar |
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Calegari, Nora Szasz |
Institution-Based Semantics for MOF and QVT-Relations. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Gladisch, Shmuel S. Tyszberowicz |
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Bandur, Jim Woodcock 0001 |
Unifying Theories of Logic and Specification. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliano Iyoda, Leonardo Mendonça de Moura (eds.) |
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Braga Marcilon, Francisco Heron de Carvalho Junior |
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Löwe, Harald König, Christoph Schulz 0002, Marius Schultchen |
Algebraic Graph Transformations with Inheritance. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth L. McMillan |
Deductive Generalization. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade |
An Executable Semantics for a Multimedia Authoring Language. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva |
On the Use of SPIN for Studying the Behavior of Nested Petri Nets. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler |
Generating Protocol Software from CPN Models Annotated with Pragmatics. |
SBMF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Schulz 0002, Michael Löwe, Harald König |
Composition of Model Transformations: A Categorical Framework. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre |
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Cid Brasil de Matos, Anamaria Martins Moreira |
BETA: A B Based Testing Approach. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Schulte |
Thirteen Years of Automated Code Analysis at Microsoft. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin |
Investigating Time Properties of Interrupt-Driven Programs. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Sekerinski, Tian Zhang |
Verification Rules for Exception Handling in Eiffel. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dante Zanarini, Carlos Luna 0001, Luis Sierra |
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Carvalho, Diogo Falcão, Alexandre Mota 0001, Augusto Sampaio |
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Rushby |
The Versatile Synchronous Observer. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons, David Milward, James Welch |
Compositionality and Refinement in Model-Driven Engineering. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro 0001 |
Specification Patterns for Properties over Reachable States of Graph Grammars. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | André Didier, Alexandre Mota 0001 |
Identifying Hardware Failures Systematically. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, David A. Naumann (eds.) |
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum |
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos |
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haniel Barbosa, David Déharbe |
An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting. |
SBMF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Subodh Sharma 0001, Ganesh Gopalakrishnan, Greg Bronevetsky |
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. |
SBMF |
2012 |
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 | Viorel Preoteasa |
Algebra of Monotonic Boolean Transformers. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rocha, César A. Muñoz |
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. |
SBMF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Vinícius 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 | 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 | Diego Machado Dias, Juliano Manabu Iyoda |
Behavioural Preservation in Fault Tolerant Patterns. |
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 | Pedro Matiello, Ana Cristina Vieira de Melo |
PiStache: Implementing π-Calculus in Scala. |
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 | Harald König, Michael Löwe, Christoph Schulz 0002 |
Model Transformation and Induced Instance Migration: A Universal Framework. |
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 | Fabian Büttner, Martin Gogolla |
Modular Embedding of the Object Constraint Language into a Programming Language. |
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 | 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 | Sara Kalvala, Richard Warburton |
A Formal Approach to Fixing Bugs. |
SBMF |
2011 |
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 | Frank Zeyda, Ana Cavalcanti 0001 |
Automating Refinement of Circus Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Charles Morisset, Shuling Wang |
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Kleine, Jeff W. Sanders |
Simulating Truly Concurrent CSP. |
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 | Sabina Akhtar, Stephan Merz, Martin Quinson |
A High-Level Language for Modeling Algorithms and Their Properties. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Calegari, Carlos Luna 0001, Nora Szasz, Alvaro Tasistro |
A Type-Theoretic Framework for Certified Model Transformations. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira |
Formal Development of a Cardiac Pacemaker: From Specification to Code. |
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 | Alejandro Tamalet, Ken Madlener |
Reasoning about Assignments in Recursive Data Structures. |
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 | Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos |
Runtime Verification for Generic Classes with ConGu 2. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Mostowski, Erik Poll |
Midlet Navigation Graphs in JML. |
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 | Michael Leuschel, Jens Bendisposto |
Directed Model Checking for B: An Evaluation and New Techniques. |
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 | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
A Formal Environment Model for Multi-Agent Systems. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva 0001 |
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. |
SBMF |
2010 |
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 | Leo Freitas |
Mechanising Data-Types for Kernel Design in Z. |
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 | Jan Tobias Mühlberg, Gerald Lüttgen |
Verifying Compiled File System Code. |
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 | 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 | Moonzoo Kim, Yunho Kim |
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabete Freire, Luís Monteiro |
Defining Behaviours by Quasi-finality. |
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 | 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 | Hongwei Xi |
A Simple and General Theoretical Account for Abstract Types. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Kaufman, Augusto Sampaio, Alexandre Mota 0001 |
Formalisation and Analysis of Objects as CSP Processes. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
Design Pattern, CSP, Object-Z, Object-Oriented Specification |
| 1 | Marcel Vinícius Medeiros Oliveira, Jim Woodcock 0001 (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 | Patrícia D. L. Machado (eds.) |
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008 |
SBMF |
2009 |
DBLP BibTeX RDF |
|
| 1 | Wilkerson de L. Andrade, Patrícia D. L. Machado |
Interruption Testing of Reactive Systems. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Giro |
Undecidability Results for Distributed Probabilistic Systems. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license