8
Publications
149
Citations
8
H-Index
2015
Active since
Affiliations
Christopher Pietsch is an author at University of Siegen specializing in engineering, program analysis, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisSystems EngineeringSoftware EngineeringComputer ScienceSoftware TestingFormal Verification
Publications per year
2015–2021
8
8
Manuel Ohrndorf, Christopher Pietsch, Udo Kelter et al. · 2018 · 28 citations
Scalability of Model Transformations: Position Paper and Benchmark Set.
Daniel Strüber, Timo Kehrer, Thorsten Arendt et al. · 2016 · 14 citations
Rows per page
1–5 of 8