Dr. Nils Timm

  
Email:

ntimm(at)cs.up.ac.za


Curriculum Vitae

2003 - 2009Informatikstudium an der Universität Paderborn

2009 - 2012

Stipendiat der International Graduate School "Dynamic Intelligent Systems"  
2009 - 2013

Wissenschaftlicher Mitarbeiter an der Universität Paderborn

Juni 2013

Promotion zum Dr. rer. nat., Titel der Arbeit: "Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems"

seit Dezember 2013

Postdoc an der Universität Pretoria, Südafrika

Veröffentlichungen


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]

Impressum | Webmaster | Letzte Änderungen am : 07.01.2014