Nils Timm
Nils Timm
Postdoctoral Researcher, University of Pretoria
Verified email at cs.up.ac.za - Homepage
Title
Cited by
Cited by
Year
On symmetries and spotlights–verifying parameterised systems
N Timm, H Wehrheim
International Conference on Formal Engineering Methods, 534-548, 2010
122010
Heuristic-guided abstraction refinement for concurrent systems
N Timm, H Wehrheim, M Czech
International Conference on Formal Engineering Methods, 348-363, 2012
82012
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
N Timm
University of Paderborn, 2013
62013
A bounded model checker for three-valued abstractions of concurrent software systems
N Timm, S Gruner, M Harvey
Brazilian Symposium on Formal Methods, 199-216, 2016
52016
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving
N Timm, S Gruner, P Sibanda
International Conference on Fundamentals of Software Engineering, 244-259, 2017
42017
Parameterisation of three-valued abstractions
N Timm, S Gruner
Brazilian Symposium on Formal Methods, 162-178, 2014
42014
Bounded model checking für partielle systeme
N Timm, H Wehrheim, HK Büning
Masters˘s thesis, University of Paderborn, 2009
42009
Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement
N Timm, S Gruner
Science of Computer Programming, 2019
22019
Parallel sat-based parameterised three-valued model checking
N Timm, S Gruner, P Sibanda
Model Checking Software, 242-259, 2015
22015
Spotlight Abstraction with Shade Clustering--Automatic Verification of Parameterised Systems
N Timm
Theoretical Aspects of Software Engineering Conference (TASE), 2014, 18-25, 2014
22014
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking
N Timm, S Gruner, M Harvey
Brazilian Symposium on Formal Methods, 126-143, 2018
12018
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking
N Timm, S Gruner
Sixth International Workshop on Formal Techniques for Safety-Critical …, 2018
12018
Generalising the Dining Philosophers problem: competitive dynamic resource allocation in multi-agent systems
R De Masellis, V Goranko, S Gruner, N Timm
16th European Conference on Multi-Agent Systems, Bergen, Norway, December 6 …, 2018
12018
Parameterised three-valued model checking
N Timm, S Gruner
Science of Computer Programming 126, 94-110, 2016
12016
Instantiation reduction in iterative parameterised three-valued model checking
N Timm, S Gruner
Brazilian Symposium on Formal Methods, 19-35, 2015
12015
Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS
N Timm, S Gruner
Department of Computer Science: University of Pretoria, 0
1*
Model checking safety and liveness via k-induction and witness refinement with constraint generation
N Timm, S Gruner, M Nxumalo, J Botha
Science of Computer Programming 200, 102532, 2020
2020
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems
N Timm
Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway …, 2019
2019
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction
N Timm, S Gruner
International Workshop on Formal Techniques for Safety-Critical Systems, 145-160, 2016
2016
CSI: PC2-A High Performance Biometrie System.
S Brulic, S Brulic, P Deppe, D Eschweiler, R Etemadi, K Herbold, ...
Informatiktage, 209-212, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20