Concepedia

Manuel Ohrndorf

MO

5

Publications

145

Citations

5

H-Index

2012

Active since

Affiliations

University of Siegen(Current)

Humboldt-Universität zu Berlin

Manuel Ohrndorf is an author at University of Siegen specializing in formal methods, program analysis, and software design.

Top concepts

EngineeringFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisSoftware EngineeringComputer ScienceSoftware TestingSystems EngineeringSoftware Maintenance

Publications per year

2012–2021

5

Publications

5

Understanding model evolution through semantically lifting model differences with SiLift

Timo Kehrer, Udo Kelter, Manuel Ohrndorf et al. · 2012 · 44 citations

Artificial Intelligence, Software Maintenance, Engineering +23

SiPL -- A Delta-Based Modeling Framework for Software Product Line Engineering

Christopher Pietsch, Timo Kehrer, Udo Kelter et al. · 2015 · 32 citations

Software Maintenance, Engineering, Delta-based Modeling Framework +23

History-based Model Repair Recommendations

Manuel Ohrndorf, Christopher Pietsch, Udo Kelter et al. · ACM Transactions on Software Engineering and Methodology · 2021 · 30 citations

Software Maintenance, Engineering, Verification +24

ReVision

Manuel Ohrndorf, Christopher Pietsch, Udo Kelter et al. · 2018 · 28 citations

Software Maintenance, Engineering, Verification +17

Incrementally slicing editable submodels

Christopher Pietsch, Manuel Ohrndorf, Udo Kelter et al. · 2017 · 11 citations

Mathematical Programming, Engineering, Software Engineering +23

Rows per page

1–5 of 5