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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642405600, 9783642405617

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inferring Physical Units in B Models

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_10 ◽

2013 ◽

pp. 137-151 ◽

Cited By ~ 1

Author(s):

Sebastian Krings ◽

Michael Leuschel

Download Full-text

Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_8 ◽

2013 ◽

pp. 106-121 ◽

Cited By ~ 4

Author(s):

Christian Percebois ◽

Martin Strecker ◽

Hanh Nhi Tran

Keyword(s):

Transitive Closure ◽

Graph Transformations

Download Full-text

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

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_11 ◽

2013 ◽

pp. 152-166 ◽

Cited By ~ 6

Author(s):

Mahdi Sargolzaei ◽

Francesco Santini ◽

Farhad Arbab ◽

Hamideh Afsarmanesh

Keyword(s):

Web Services

Download Full-text

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_13 ◽

2013 ◽

pp. 182-196 ◽

Cited By ~ 6

Author(s):

Sarmen Keshishzadeh ◽

Arjan J. Mooij ◽

Mohammad Reza Mousavi

Keyword(s):

Fault Detection ◽

Smt Solving ◽

Automated Debugging ◽

Early Fault Detection

Download Full-text

From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_5 ◽

2013 ◽

pp. 61-75 ◽

Cited By ~ 1

Author(s):

Radosław Klimek

Keyword(s):

Formal Verification ◽

Logical Specifications ◽

Requirements Models

Download Full-text

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_1 ◽

2013 ◽

pp. 1-15 ◽

Cited By ~ 18

Author(s):

Jagadish Suryadevara ◽

Cristina Seceleanu ◽

Frédéric Mallet ◽

Paul Pettersson

Download Full-text

Sound Symbolic Linking in the Presence of Preprocessing

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_9 ◽

2013 ◽

pp. 122-136 ◽

Cited By ~ 1

Author(s):

Gijs Vanspauwen ◽

Bart Jacobs

Download Full-text

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

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_6 ◽

2013 ◽

pp. 76-90 ◽

Cited By ~ 6

Author(s):

Marian Borek ◽

Nina Moebius ◽

Kurt Stenzel ◽

Wolfgang Reif

Keyword(s):

Model Checking ◽

Model Driven ◽

Model Driven Approach

Download Full-text

Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_21 ◽

2013 ◽

pp. 305-319 ◽

Cited By ~ 7

Author(s):

Yunja Choi

Keyword(s):

Operating Systems ◽

Test Generation ◽

Constraint Specification

Download Full-text

Program Transformation Based on Symbolic Execution and Deduction

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_20 ◽

2013 ◽

pp. 289-304 ◽

Cited By ~ 5

Author(s):

Ran Ji ◽

Reiner Hähnle ◽

Richard Bubel

Keyword(s):

Program Transformation ◽

Symbolic Execution

Download Full-text

Software Engineering and Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Inferring Physical Units in B Models

Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure

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

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging

From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Sound Symbolic Linking in the Presence of Preprocessing

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

Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems

Program Transformation Based on Symbolic Execution and Deduction

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