Lars Ribbeck

According to our database, Lars Ribbeck authored at least 2 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Incremental model checking of delta-oriented software product lines.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

J. Log. Algebraic Methods Program., 2016

2014

DeltaCCS: A Core Calculus for Behavioral Change.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014