default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th SEFM 2013: Madrid, Spain
- Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti:
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8137, Springer 2013, ISBN 978-3-642-40560-0
Real-Time Systems
- Jagadish Suryadevara, Cristina Cerschi Seceleanu
, Frédéric Mallet, Paul Pettersson:
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. 1-15 - Nadia Menad, Philippe Dhaussy:
A Transformation Approach for Multiform Time Requirements. 16-30 - Bogdan Aman, Gabriel Ciobanu:
Real-Time Migration Properties of rTiMo Verified in Uppaal. 31-45
Verification 1
- Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock:
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. 46-60 - Radoslaw Klimek:
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. 61-75 - Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Model Checking of Security-Critical Applications in a Model-Driven Approach. 76-90
Verification 2
- Manuel Gesell, Andreas Morgenstern, Klaus Schneider:
Lifting Verification Results for Preemption Statements. 91-105 - Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. 106-121 - Gijs Vanspauwen, Bart Jacobs:
Sound Symbolic Linking in the Presence of Preprocessing. 122-136
Types and Inference
- Sebastian Krings, Michael Leuschel:
Inferring Physical Units in B Models. 137-151 - Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh:
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. 152-166 - Ornela Dardha, Elena Giachino, Michael Lienhardt:
A Type System for Components. 167-181
Static Analysis
- Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi:
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. 182-196 - Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei:
Static Detection of Implementation Errors Using Formal Code Specification. 197-211 - Thi Mai Thuong Tran, Martin Steffen, Hoang Truong:
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. 212-228
Testing and Runtime Verification
- Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
{log} as a Test Case Generator for the Test Template Framework. 229-243 - Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Zero Overhead Runtime Monitoring. 244-258 - Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong:
Run-Time Verification of Coboxes. 259-273
Synthesis and Transformation
- Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson:
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. 274-288 - Ran Ji, Reiner Hähnle, Richard Bubel:
Program Transformation Based on Symbolic Execution and Deduction. 289-304 - Yunja Choi:
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. 305-319
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-12-30 19:16 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:
