13. SBMF 2010:
Natal,
Brazil
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.
Lecture Notes in Computer Science 6527 Springer 2011, ISBN 978-3-642-19828-1 
- Michael Leuschel, Jens Bendisposto:
Directed Model Checking for B: An Evaluation and New Techniques.
1-16
- Wojciech Mostowski, Erik Poll:
Midlet Navigation Graphs in JML.
17-32
- Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos:
Runtime Verification for Generic Classes with ConGu 2.
33-48
- Sabina Akhtar, Stephan Merz, Martin Quinson:
A High-Level Language for Modeling Algorithms and Their Properties.
49-63
- Paulo Salem da Silva, Ana Cristina Vieira de Melo:
A Formal Environment Model for Multi-Agent Systems.
64-79
- Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit:
A Modal Interface Theory with Data Constraints.
80-95
- Tiago Massoni, Rohit Gheyi, Paulo Borba:
Synchronizing Model and Program Refactoring.
96-111
- Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro:
A Type-Theoretic Framework for Certified Model Transformations.
112-127
- Moritz Kleine, J. W. Sanders:
Simulating Truly Concurrent CSP.
128-143
- Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani:
Statistical Verification of Probabilistic Properties with Unbounded Until.
144-160
- Alejandro Tamalet, Ken Madlener:
Reasoning about Assignments in Recursive Data Structures.
161-176
- Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned.
177-193
- Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer:
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence.
194-209
- Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira:
Formal Development of a Cardiac Pacemaker: From Specification to Code.
210-225
- 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.
226-241
- Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma:
Normalization of Linear Horn Clauses.
242-257
- Zhiming Liu, Charles Morisset, Shuling Wang:
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs.
258-273
- Frank Zeyda, Ana Cavalcanti:
Automating Refinement of Circus Programs.
274-290
Last update Fri May 25 08:35:30 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
