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

9783662452332, 9783662452349

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language

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

10.1007/978-3-662-45234-9_29 ◽

2014 ◽

pp. 407-424 ◽

Cited By ~ 2

Author(s):

Klaus Birken

Keyword(s):

Building Code ◽

Code Generators

Download Full-text

Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation

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

10.1007/978-3-662-45234-9_32 ◽

2014 ◽

pp. 461-480 ◽

Cited By ~ 4

Author(s):

Christian Motika ◽

Steven Smyth ◽

Reinhard von Hanxleden

Keyword(s):

Interactive Model ◽

Model Based

Download Full-text

Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems

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

10.1007/978-3-662-45234-9_25 ◽

2014 ◽

pp. 351-367 ◽

Cited By ~ 6

Author(s):

Maurice H. ter Beek ◽

Alessandro Fantechi ◽

Stefania Gnesi

Keyword(s):

Bike Sharing

Download Full-text

Active Learning of Nondeterministic Systems from an ioco Perspective

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

10.1007/978-3-662-45234-9_16 ◽

2014 ◽

pp. 220-235 ◽

Cited By ~ 7

Author(s):

Michele Volpato ◽

Jan Tretmans

Keyword(s):

Active Learning

Download Full-text

Towards Performance-Aware Engineering of Autonomic Component Ensembles

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

10.1007/978-3-662-45234-9_10 ◽

2014 ◽

pp. 131-146 ◽

Cited By ~ 2

Author(s):

Tomáš Bureš ◽

Vojtěch Horký ◽

Michał Kit ◽

Lukáš Marek ◽

Petr Tůma

Keyword(s):

Autonomic Component

Download Full-text

Prototype-Driven Development of Web Applications with DyWA

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

10.1007/978-3-662-45234-9_5 ◽

2014 ◽

pp. 56-72 ◽

Cited By ~ 21

Author(s):

Johannes Neubauer ◽

Markus Frohme ◽

Bernhard Steffen ◽

Tiziana Margaria

Keyword(s):

Web Applications

Download Full-text

Rigorous System Design Flow for Autonomous Systems

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

10.1007/978-3-662-45234-9_13 ◽

2014 ◽

pp. 184-198 ◽

Cited By ~ 2

Author(s):

Saddek Bensalem ◽

Marius Bozga ◽

Jacques Combaz ◽

Ahlem Triki

Keyword(s):

System Design ◽

Autonomous Systems ◽

Design Flow

Download Full-text

Rewriting Object Models With Cycles and Nested Collections

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

10.1007/978-3-662-45234-9_31 ◽

2014 ◽

pp. 445-460

Author(s):

Markus Lepper ◽

Baltasar Trancòn y Widemann

Keyword(s):

Object Models

Download Full-text

Combinatory Logic Synthesizer

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

10.1007/978-3-662-45234-9_3 ◽

2014 ◽

pp. 26-40 ◽

Cited By ~ 14

Author(s):

Jan Bessai ◽

Andrej Dudenhefner ◽

Boris Düdder ◽

Moritz Martens ◽

Jakob Rehof

Keyword(s):

Combinatory Logic

Download Full-text

DeltaCCS: A Core Calculus for Behavioral Change

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

10.1007/978-3-662-45234-9_23 ◽

2014 ◽

pp. 320-335 ◽

Cited By ~ 8

Author(s):

Malte Lochau ◽

Stephan Mennicke ◽

Hauke Baller ◽

Lars Ribbeck

Keyword(s):

Behavioral Change

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

Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language

Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation

Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems

Active Learning of Nondeterministic Systems from an ioco Perspective

Towards Performance-Aware Engineering of Autonomic Component Ensembles

Prototype-Driven Development of Web Applications with DyWA

Rigorous System Design Flow for Autonomous Systems

Rewriting Object Models With Cycles and Nested Collections

Combinatory Logic Synthesizer

DeltaCCS: A Core Calculus for Behavioral Change

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