Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642340253, 9783642340260

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Compatibility Checking of System Modifications

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_8 ◽

2012 ◽

pp. 97-111 ◽

Cited By ~ 1

Author(s):

Arnd Poetzsch-Heffter ◽

Christoph Feller ◽

Ilham W. Kurnia ◽

Yannick Welsch

Keyword(s):

Model Based

Download Full-text

A Liskov Principle for Delta-Oriented Programming

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_4 ◽

2012 ◽

pp. 32-46 ◽

Cited By ~ 21

Author(s):

Reiner Hähnle ◽

Ina Schaefer

Download Full-text

Behavioral Specification Based Runtime Monitors for OSGi Services

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_30 ◽

2012 ◽

pp. 405-419 ◽

Cited By ~ 9

Author(s):

Jan Olaf Blech ◽

Yliès Falcone ◽

Harald Rueß ◽

Bernhard Schätz

Download Full-text

Dynamic Information-Flow Analysis for Multi-threaded Applications

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_27 ◽

2012 ◽

pp. 358-371 ◽

Cited By ~ 2

Author(s):

Laurent Mounier ◽

Emmanuel Sifakis

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_2 ◽

2012 ◽

pp. 4-18

Author(s):

Eric Bodden ◽

Andreas Follner ◽

Siegfried Rasthofer

Keyword(s):

Programming Language ◽

Dynamic Analyses ◽

Correct Dynamic

Download Full-text

Learning Techniques for Software Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_37 ◽

2012 ◽

pp. 505-507 ◽

Cited By ~ 3

Author(s):

Corina S. Păsăreanu ◽

Mihaela Bobaru

Keyword(s):

Software Verification ◽

Verification And Validation ◽

Learning Techniques ◽

Software Verification And Validation

Download Full-text

Monitoring Temporal Information Flow

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_26 ◽

2012 ◽

pp. 342-357 ◽

Cited By ~ 6

Author(s):

Rayna Dimitrova ◽

Bernd Finkbeiner ◽

Markus N. Rabe

Keyword(s):

Information Flow ◽

Temporal Information

Download Full-text

Conflict Detection in Delta-Oriented Programming

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_14 ◽

2012 ◽

pp. 178-192 ◽

Cited By ~ 8

Author(s):

Michäel Lienhardt ◽

Dave Clarke

Keyword(s):

Conflict Detection

Download Full-text

A Vision for Behavioural Model-Driven Validation of Software Product Lines

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_16 ◽

2012 ◽

pp. 208-222 ◽

Cited By ~ 7

Author(s):

Xavier Devroey ◽

Maxime Cordy ◽

Gilles Perrouin ◽

Eun-Young Kang ◽

Pierre-Yves Schobbens ◽

...

Keyword(s):

Software Product Lines ◽

Product Lines ◽

Model Driven ◽

Behavioural Model ◽

Software Product

Download Full-text

An Object Group-Based Component Model

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34026-0_6 ◽

2012 ◽

pp. 64-78 ◽

Cited By ~ 2

Author(s):

Michaël Lienhardt ◽

Mario Bravetti ◽

Davide Sangiorgi

Keyword(s):

Component Model ◽

Object Group

Download Full-text

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model-Based Compatibility Checking of System Modifications

A Liskov Principle for Delta-Oriented Programming

Behavioral Specification Based Runtime Monitors for OSGi Services

Dynamic Information-Flow Analysis for Multi-threaded Applications

Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses

Learning Techniques for Software Verification and Validation

Monitoring Temporal Information Flow

Conflict Detection in Delta-Oriented Programming

A Vision for Behavioural Model-Driven Validation of Software Product Lines

An Object Group-Based Component Model

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Lecture Notes in Computer Science
Latest Publications