Evelin Halling

Orcid: 0000-0003-2289-188X

According to our database1, Evelin Halling authored at least 4 papers between 2014 and 2016.

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

2016
Automatic Distribution of Local Testers for Testing Distributed Systems.
Proceedings of the Databases and Information Systems IX, 2016

Model-Based Testing of Real-Time Distributed Systems.
Proceedings of the Databases and Information Systems, 2016

2015
Model-based integration testing of ROS packages: A mobile robot case study.
Proceedings of the 2015 European Conference on Mobile Robots, 2015

2014
Provably Correct Test Development for Timed Systems.
Proceedings of the Databases and Information Systems VIII, 2014


  Loading...