Tatiana Mangels

According to our database1, Tatiana Mangels authored at least 3 papers between 2012 and 2017.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Efficient Analysis at Edge.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

2013
Integrated module testing and module verification.
PhD thesis, 2013

2012
CTGEN - a Unit Test Generator for C
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012


  Loading...