Helge Löding

According to our database, Helge Löding authored at least 6 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Model-based scenario testing and model checking with applications in the railway domain.

Helge Löding

PhD thesis, 2014

2012

A framework for formal verification of systems of synchronous components.

Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten

Proceedings of the Testing Software and Systems, 2011

2010

Timed Moore Automata: Test Data Generation and Model Checking.

Helge Löding, Jan Peleska

Proceedings of the Third International Conference on Software Testing, 2010

2008

Symbolic and Abstract Interpretation for C/C++ Programs.

Helge Löding, Jan Peleska

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2007

Test Automation Meets Static Analysis.

Jan Peleska, Helge Löding, Tatiana Kotas

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007