Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642405600, 9783642405617
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services

2013 ◽  
pp. 152-166 ◽  
Author(s):  
Mahdi Sargolzaei ◽  
Francesco Santini ◽  
Farhad Arbab ◽  
Hamideh Afsarmanesh
Keyword(s):  
Web Services

Inferring Physical Units in B Models

2013 ◽  
pp. 137-151 ◽  
Author(s):  
Sebastian Krings ◽  
Michael Leuschel

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

2013 ◽  
pp. 1-15 ◽  
Author(s):  
Jagadish Suryadevara ◽  
Cristina Seceleanu ◽  
Frédéric Mallet ◽  
Paul Pettersson

scholarly journals Early Fault Detection in DSLs Using SMT Solving and Automated Debugging

2013 ◽  
pp. 182-196 ◽  
Author(s):  
Sarmen Keshishzadeh ◽  
Arjan J. Mooij ◽  
Mohammad Reza Mousavi
Keyword(s):  
Fault Detection ◽  
Smt Solving ◽  
Automated Debugging ◽  
Early Fault Detection

Sound Symbolic Linking in the Presence of Preprocessing

2013 ◽  
pp. 122-136 ◽  
Author(s):  
Gijs Vanspauwen ◽  
Bart Jacobs

Model Checking of Security-Critical Applications in a Model-Driven Approach

2013 ◽  
pp. 76-90 ◽  
Author(s):  
Marian Borek ◽  
Nina Moebius ◽  
Kurt Stenzel ◽  
Wolfgang Reif
Keyword(s):  
Model Checking ◽  
Model Driven ◽  
Model Driven Approach

Program Transformation Based on Symbolic Execution and Deduction

2013 ◽  
pp. 289-304 ◽  
Author(s):  
Ran Ji ◽  
Reiner Hähnle ◽  
Richard Bubel
Keyword(s):  
Program Transformation ◽  
Symbolic Execution
Load More ...
Sign in / Sign up

Export Citation Format

Share Document