Dr. Nils Timm

  
Email:ntimm(at)cs.up.ac.za

Curriculum Vitae

2003 - 2009Studied Computer Science at the University of Paderborn

2009 - 2012

Scholarship Holder of the International Graduate School "Dynamic Intelligent Systems"  
2009 - 2013

Research Assistant at the University of Paderborn

June 2013

Award of PhD degree, Title of thesis: "Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems"

since December 2013

Postdoctoral Research Fellow at the University of Pretoria, South Africa

Publications


2013

N. Timm: Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. PhD thesis, University of Paderborn (2013)
[Show Abstract] [PDF] [Show BibTeX]


2012

N. Timm, H. Wehrheim, M. Czech: Heuristic-Guided Abstraction Refinement for Concurrent Systems. In T. Aoki and K. Tagushi (eds.): Proceedings of the 14th International Conference on Formal Engineering Methods and Software Engineering ICFEM'12. Springer Berlin/Heidelberg, pp. 348-363 (2012)
[Show Abstract] [Show BibTeX]


2010

N. Timm, H. Wehrheim: On Symmetries and Spotlights - Verifying Parameterised Systems. In J.S. Dong, H.Zhu (eds.): Proceedings of the 12th International Conference on Formal Engineering Methods and Software Engineering ICFEM'10. Springer Verlag Berlin-Heidelberg, LNCS, vol. 6447, pp. 534-548 (2010)
[Show Abstract] [PDF] [Show BibTeX]


2009

N. Timm: A Bounded Model Checker for Partially Known Systems. In Proceedings of the 21st Nordic Workshop on Programming Theory. Technical University of Denmark, pp. 17-19. (2009)
[Show BibTeX]

N. Timm: Bounded Model Checking für partielle Systeme. Master's thesis, University of Paderborn (2009)
[PDF] [Show BibTeX]


2008

N. Timm: CSI: PC2 - A High Performance Biometric System. In Informatiktage 2008: Fachwissenschaftlicher Informatik-Kongress. , Lecture Notes in Informatics, vol. S-6, pp. 209-212 (2008)
[Show BibTeX]

Imprint | Webmaster | Recent changes: 07.01.2014