Concepedia

Clemens D. Renner

CD

2

Publications

60

Citations

2

H-Index

2007

Active since

Affiliations

University of Potsdam(Current)

Clemens D. Renner is an author at University of Potsdam specializing in formal methods, process control, and automated reasoning.

Top concepts

Publications per year

2007–2009

2

Publications

2

Tool-supported enhancement of diagnosis in model-driven verification

Marco Bakera, Tiziana Margaria, Clemens D. Renner et al. · Innovations in Systems and Software Engineering · 2009 · 46 citations

, , +12

Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.

Marco Bakera, Tiziana Margaria, Clemens D. Renner et al. · Pathologie Biologie · 2007 · 14 citations

Rows per page

1–2 of 2