Lars Ribbeck

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Automated Deduction

Computer Algebra

Reactive Systems

Software Product Line

Top Venues

J. Log. Algebraic Methods Program.

Publications

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
Incremental model checking of delta-oriented software product lines. J. Log. Algebraic Methods Program. 85 (1) (2016)
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) (2014)