Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nils Timm, Stefan Gruner |
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 19-35, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio |
Test Case Generation from Natural Language Requirements Using CPN Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 178-193, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-319-15074-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota 0001 |
Verifying Transformations of Java Programs Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 110-126, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christiano Braga, Bruno Lopes 0001 |
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 74-89, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Andy J. Wellings, Ana Cavalcanti 0001 |
Mobile CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 39-55, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
Completeness and Decidability Results for Hybrid(ised) Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 146-161, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr. |
LLVM-Based Code Generation for B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Stefan Gruner |
Parameterisation of Three-Valued Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 162-178, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Calegari, Till Mossakowski, Nora Szasz |
Model-Driven Engineering in the Heterogeneous Tool Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 64-79, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Madeira, Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
A Dynamic Logic for Every Season. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 130-145, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 48-63, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Natasha Sharygina |
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 96-112, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 113-129, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Ciaffaglione |
A Coinductive Animation of Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 80-95, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 32-47, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Narciso Martí-Oliet, Francisco Durán 0001, Alberto Verdejo |
Equational Abstractions in Rewriting Logic and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 17-31, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Lima 0001, André Didier, Márcio Cornélio |
A Formal Semantics for SysML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 179-194, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Graeme Smith 0001 |
A Refinement Framework for Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 163-178, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Liya Liu, Osman Hasan, Sofiène Tahar |
Formal Analysis of Memory Contention in a Multiprocessor System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 195-210, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paulo T. Guerra, Aline Andrade, Renata Wassermann |
Toward the Revision of CTL Models through Kripke Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 115-130, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christiano Braga, Cassio Santos |
Meaningful Models - A Research Agenda on Model-Driven Engineering -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 1-16, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 147-162, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 131-146, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Calegari, Nora Szasz |
Institution-Based Semantics for MOF and QVT-Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 34-50, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Gladisch, Shmuel S. Tyszberowicz |
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 99-114, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bandur, Jim Woodcock 0001 |
Unifying Theories of Logic and Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 18-33, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-642-41070-3 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 51-66, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe, Harald König, Christoph Schulz 0002, Marius Schultchen |
Algebraic Graph Transformations with Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 211-226, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
Deductive Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 17, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 67-82, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 83-98, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler |
Generating Protocol Software from CPN Models Annotated with Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 227-242, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Schulz 0002, Michael Löwe, Harald König |
Composition of Model Transformations: A Categorical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 163-178, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 3-18, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Cid Brasil de Matos, Anamaria Martins Moreira |
BETA: A B Based Testing Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 51-66, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Schulte |
Thirteen Years of Automated Code Analysis at Microsoft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 2, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin |
Investigating Time Properties of Interrupt-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 131-146, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski, Tian Zhang |
Verification Rules for Exception Handling in Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 179-193, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dante Zanarini, Carlos Luna 0001, Luis Sierra |
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 210-225, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 67-82, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
The Versatile Synchronous Observer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 1, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jim Davies, Jeremy Gibbons, David Milward, James Welch |
Compositionality and Refinement in Model-Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 99-114, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 83-98, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | André Didier, Alexandre Mota 0001 |
Identifying Hardware Failures Systematically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 115-130, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-642-33295-1 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 147-162, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 35-50, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 19-34, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 194-209, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-642-25031-6 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Preoteasa |
Algebra of Monotonic Boolean Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 140-155, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Camilo Rocha, César A. Muñoz |
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 60-75, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 44-59, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 108-123, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diego Machado Dias, Juliano Manabu Iyoda |
Behavioural Preservation in Fault Tolerant Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 156-171, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Steenken, Heike Wehrheim, Daniel Wonisch |
Sound and Complete Abstract Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 92-107, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Matiello, Ana Cristina Vieira de Melo |
PiStache: Implementing π-Calculus in Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 76-91, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 188-203, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Harald König, Michael Löwe, Christoph Schulz 0002 |
Model Transformation and Induced Instance Migration: A Universal Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 1-15, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Chapman, Eric Botcazou, Angela Wallenburg |
SPARKSkein: A Formal and Fast Reference Implementation of Skein. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 16-27, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Büttner, Martin Gogolla |
Modular Embedding of the Object Constraint Language into a Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 124-139, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Welsch, Arnd Poetzsch-Heffter |
Full Abstraction at Package Boundaries of Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 28-43, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-642-19828-1 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sara Kalvala, Richard Warburton |
A Formal Approach to Fixing Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, pp. 172-187, 2011, Springer, 978-3-642-25031-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma |
Normalization of Linear Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 242-257, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frank Zeyda, Ana Cavalcanti 0001 |
Automating Refinement of Circus Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 274-290, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Charles Morisset, Shuling Wang |
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 258-273, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Kleine, Jeff W. Sanders |
Simulating Truly Concurrent CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 128-143, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit |
A Modal Interface Theory with Data Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 80-95, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sabina Akhtar, Stephan Merz, Martin Quinson |
A High-Level Language for Modeling Algorithms and Their Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 49-63, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Calegari, Carlos Luna 0001, Nora Szasz, Alvaro Tasistro |
A Type-Theoretic Framework for Certified Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 112-127, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira |
Formal Development of a Cardiac Pacemaker: From Specification to Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 210-225, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani |
Statistical Verification of Probabilistic Properties with Unbounded Until. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 144-160, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Tamalet, Ken Madlener |
Reasoning about Assignments in Recursive Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 161-176, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 177-193, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos |
Runtime Verification for Generic Classes with ConGu 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 33-48, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Mostowski, Erik Poll |
Midlet Navigation Graphs in JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 17-32, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
Synchronizing Model and Program Refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 96-111, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Jens Bendisposto |
Directed Model Checking for B: An Evaluation and New Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 1-16, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 194-209, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
A Formal Environment Model for Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 64-79, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, pp. 226-241, 2010, Springer, 978-3-642-19828-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Valério Medeiros Júnior, David Déharbe |
Formal Modelling of a Microcontroller Instruction Set in B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 282-289, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas |
Mechanising Data-Types for Kernel Design in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 186-203, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sebastián Uchitel |
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 17-22, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jan Tobias Mühlberg, Gerald Lüttgen |
Verifying Compiled File System Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 306-320, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Déharbe, Stephenson Galvão, Anamaria Martins Moreira |
Formalizing FreeRTOS: First Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 101-117, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kriangsak Damchoom, Michael J. Butler |
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 134-152, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 251-265, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elisabete Freire, Luís Monteiro |
Defining Behaviours by Quasi-finality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 290-305, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry |
Reasoning about General Quantum Programs over Mixed States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 321-335, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 54-69, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hongwei Xi |
A Simple and General Theoretical Account for Abstract Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 336-349, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Renata Kaufman, Augusto Sampaio, Alexandre Mota 0001 |
Formalisation and Analysis of Objects as CSP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 236-250, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Springer, 978-3-642-10451-0 The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Wilkerson de L. Andrade, Patrícia D. L. Machado |
Interruption Testing of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 37-53, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro |
Undecidability Results for Distributed Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 220-235, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|