Thomas Peikenkamp

5 papers and 46 indexed citations i.

About

Thomas Peikenkamp has authored 5 papers that have received a total of 46 indexed citations. This includes 5 papers in Software, 4 papers in Computational Theory and Mathematics and 3 papers in Safety, Risk, Reliability and Quality. The topics of these papers are Formal Methods in Verification (4 papers), Software Reliability and Analysis Research (4 papers) and Safety Systems Engineering in Autonomy (3 papers). Thomas Peikenkamp is often cited by papers focused on Formal Methods in Verification (4 papers), Software Reliability and Analysis Research (4 papers) and Safety Systems Engineering in Autonomy (3 papers) and collaborates with scholars based in Germany, India and France. Thomas Peikenkamp's co-authors include Bernhard Josko, Werner Damm, Eckard Böde, François Terrier and Arnaud Cuccuru and has published in prestigious journals such as IEEE Transactions on Software Engineering, SAE technical papers on CD-ROM/SAE technical paper series and SAE International journal of passenger cars. Electronic and electrical systems

In The Last Decade

Rankless by CCL
2025