Helge Löding

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Model-based scenario testing and model checking with applications in the railway domain.
PhD thesis, 2014

2012
A framework for formal verification of systems of synchronous components.
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.
Proceedings of the Testing Software and Systems, 2011

2010
Timed Moore Automata: Test Data Generation and Model Checking.
Proceedings of the Third International Conference on Software Testing, 2010

2008
Symbolic and Abstract Interpretation for C/C++ Programs.
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2007
Test Automation Meets Static Analysis.
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007


  Loading...