On symmetries and spotlights–verifying parameterised systems N Timm, H Wehrheim Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 12 | 2010 |
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems N Timm University of Paderborn, 2013 | 8 | 2013 |
Heuristic-guided abstraction refinement for concurrent systems N Timm, H Wehrheim, M Czech Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 8 | 2012 |
Generalising the dining philosophers problem: competitive dynamic resource allocation in multi-agent systems R De Masellis, V Goranko, S Gruner, N Timm Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway …, 2019 | 6 | 2019 |
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 | 5 | 2020 |
A bounded model checker for three-valued abstractions of concurrent software systems N Timm, S Gruner, M Harvey Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF …, 2016 | 5 | 2016 |
Bounded model checking für partielle systeme N Timm, H Wehrheim, HK Büning Masters’s thesis, University of Paderborn, 2009 | 5 | 2009 |
Three-valued bounded model checking with cause-guided abstraction refinement N Timm, S Gruner Science of Computer Programming 175, 37-62, 2019 | 4 | 2019 |
Model checking of concurrent software systems via heuristic-guided sat solving N Timm, S Gruner, P Sibanda Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017 | 4 | 2017 |
Parameterisation of three-valued abstractions N Timm, S Gruner Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF …, 2015 | 4 | 2015 |
Spotlight abstraction in model checking real-time task schedulability M Nxumalo, N Timm, S Gruner Model Checking Software: 27th International Symposium, SPIN 2021, Virtual …, 2021 | 3 | 2021 |
Parameterised three-valued model checking N Timm, S Gruner Science of Computer Programming 126, 94-110, 2016 | 3 | 2016 |
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems N Timm, J Botha, S Jordaan Science of Computer Programming 228, 102946, 2023 | 2 | 2023 |
Model checking and strategy synthesis for multi-agent systems for resource allocation N Timm, J Botha Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF …, 2021 | 2 | 2021 |
Abstraction refinement with path constraints for 3-valued bounded model checking N Timm, S Gruner Formal Techniques for Safety-Critical Systems: 6th International Workshop …, 2019 | 2 | 2019 |
Parallel sat-based parameterised three-valued model checking N Timm, S Gruner, P Sibanda International SPIN Workshop on Model Checking of Software, 242-259, 2015 | 2 | 2015 |
Spotlight Abstraction with Shade Clustering--Automatic Verification of Parameterised Systems N Timm 2014 Theoretical Aspects of Software Engineering Conference, 18-25, 2014 | 2 | 2014 |
An evaluation of approaches to model checking real-time task schedulability analysis M Nxumalo, N Timm, S Gruner International Journal on Software Tools for Technology Transfer 25 (1), 115-128, 2023 | 1 | 2023 |
Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS N Timm, S Gruner Department of Computer Science: University of Pretoria, 2018 | 1 | 2018 |
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking N Timm, S Gruner, M Harvey Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018 | 1 | 2018 |