Werner Damm

40 papers and 774 indexed citations i.

About

Werner Damm has authored 40 papers that have received a total of 774 indexed citations. This includes 27 papers in Computational Theory and Mathematics, 18 papers in Software and 16 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (26 papers), Model-Driven Software Engineering Techniques (13 papers) and Embedded Systems Design Techniques (13 papers). Werner Damm is often cited by papers focused on Formal Methods in Verification (26 papers), Model-Driven Software Engineering Techniques (13 papers) and Embedded Systems Design Techniques (13 papers) and collaborates with scholars based in Germany, Italy and France. Werner Damm's co-authors include Bernhard Josko, Martin Fränzle, Ernst-Rüdiger Olderog, Roberto Passerone and Alberto Sangiovanni‐Vincentelli and has published in prestigious journals such as IEEE Transactions on Software Engineering, SAE technical papers on CD-ROM/SAE technical paper series and International Journal of Control

In The Last Decade

Rankless by CCL
2025