default search action
13. SBMF 2010: Natal, Brazil
- Jim Davies, Leila Silva, Adenilso da Silva Simão
:
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
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
Synchronizing Model and Program Refactoring. 96-111 - Daniel Calegari
A Type-Theoretic Framework for Certified Model Transformations. 112-127 - Moritz Kleine, Jeff 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 Vinícius Medeiros Oliveira:
Formal Development of a Cardiac Pacemaker: From Specification to Code. 210-225 - Marcello M. Bonsangue
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
Automating Refinement of Circus Programs. 274-290
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: