default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. SBMF 2012: Natal, Brazil
- Rohit Gheyi
, David A. Naumann:
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7498, Springer 2012, ISBN 978-3-642-33295-1 - John M. Rushby:
The Versatile Synchronous Observer. 1 - Wolfram Schulte:
Thirteen Years of Automated Code Analysis at Microsoft. 2 - Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre:
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. 3-18 - Haniel Barbosa, David Déharbe:
An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting. 19-34 - 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. 35-50 - Ernesto Cid Brasil de Matos, Anamaria Martins Moreira:
BETA: A B Based Testing Approach. 51-66 - Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio:
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. 67-82 - Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro:
Specification Patterns for Properties over Reachable States of Graph Grammars. 83-98 - Jim Davies, Jeremy Gibbons, David Milward, James Welch:
Compositionality and Refinement in Model-Driven Engineering. 99-114 - André Didier, Alexandre Mota:
Identifying Hardware Failures Systematically. 115-130 - Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin:
Investigating Time Properties of Interrupt-Driven Programs. 131-146 - Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum:
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. 147-162 - Christoph Schulz, Michael Löwe, Harald König:
Composition of Model Transformations: A Categorical Framework. 163-178 - Emil Sekerinski, Tian Zhang:
Verification Rules for Exception Handling in Eiffel. 179-193 - Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky:
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. 194-209 - Dante Zanarini, Carlos Luna, Luis Sierra:
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. 210-225
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 2026-03-06 21:29 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:
