Christian Heinzemann

15 papers and 130 indexed citations i.

Christian Heinzemann has authored 15 papers that have received a total of 130 indexed citations. This includes 7 papers in Artificial Intelligence, 7 papers in Software and 6 papers in Automotive Engineering. The topics of these papers are Autonomous Vehicle Technology and Safety (6 papers), Software Testing and Debugging Techniques (4 papers) and Formal Methods in Verification (4 papers). Christian Heinzemann is often cited by papers focused on Autonomous Vehicle Technology and Safety (6 papers), Software Testing and Debugging Techniques (4 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in Germany, The Netherlands and France. Christian Heinzemann's co-authors include Matthias Woehrle, Jens Oehlerking, Rudolph Triebel, Martin Herrmann and Wilhelm Schäfer and has published in prestigious journals such as Software & Systems Modeling, Computer Science - Research and Development and ACM Transactions on Cyber-Physical Systems.