default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th IFM 2013: Turku, Finland
- Einar Broch Johnsen, Luigia Petre:
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7940, Springer 2013, ISBN 978-3-642-38612-1
Invited Paper 1
- Jean-Raymond Abrial:
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. 1-15
Refinement, Integration, Translation
- Simon Hudon, Thai Son Hoang:
Systems Design Guided by Progress Concerns. 16-30 - Christian Prehofer:
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement. 31-45 - Kenneth Lausdahl:
Translating VDM to Alloy. 46-60 - Dimitris Vekris, Frédéric Lang, Catalin Dima
, Radu Mateescu:
Verification of EB3 Specifications Using CADP. 61-76
Invited Paper 2
- Susanne Graf, Sophie Quinton:
Knowledge for the Distributed Implementation of Constrained Systems. 77-93
Verification
- Murat Moran, James Heather, Steve A. Schneider:
Automated Anonymity Verification of the ThreeBallot Voting System. 94-108 - Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane:
Compositional Verification of Software Product Lines. 109-123 - Frédéric Gava, Jean Fortin, Michaël Guedj:
Deductive Verification of State-Space Algorithms. 124-138 - Daisuke Ishii, Guillaume Melquiond, Shin Nakajima:
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. 139-153
Invited Paper 3
- Kim Guldstrand Larsen:
Priced Timed Automata and Statistical Model Checking. 154-161
Reachability and Model Checking
- Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong:
Improved Reachability Analysis in DTMC via Divide and Conquer. 162-176 - Andreas Morgenstern, Manuel Gesell, Klaus Schneider:
Solving Games Using Incremental Induction. 177-191 - Fu Song, Tayssir Touili:
Model-Checking Software Library API Usage Rules. 192-207 - Dominique Méry, Michael Poppleton:
Formal Modelling and Verification of Population Protocols. 208-222
Usability and Testing
- Aymerick Savary, Marc Frappier, Jean-Louis Lanet:
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. 223-237 - Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison:
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. 238-252 - Ramsay Taylor, Kirill Bogdanov, John Derrick:
Automatic Inference of Erlang Module Behaviour. 253-267
Distributed Systems
- Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. 268-284 - Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Quantified Abstractions of Distributed Systems. 285-300
Invited Paper 4
- Cosimo Laneve, Luca Padovani:
An Algebraic Theory for Web Service Contracts. 301-315
Semantics
- Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha:
A Compositional Automata-Based Semantics for Property Patterns. 316-330 - Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong:
A Formal Semantics for Complete UML State Machines with Communications. 331-346 - Stefan Ciobaca:
From Small-Step Semantics to Big-Step Semantics, Automatically. 347-361 - Dorel Lucanu, Vlad Rusu:
Program Equivalence by Circular Reasoning. 362-377
System-Level Analysis
- Ernst-Rüdiger Olderog, Mani Swaminathan:
Structural Transformations for Data-Enriched Real-Time Systems. 378-393 - Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong:
Deadlock Analysis of Concurrent Objects: Theory and Practice. 394-411 - Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Broadcast, Denial-of-Service, and Secure Communication. 412-427 - Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre:
Characterizing Fault-Tolerant Systems by Means of Simulation Relations. 428-442
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 2025-11-16 23:36 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:
