Nils Timm

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 17

Top Venues

SBMF

Sci. Comput. Program.

FTSCS

SPIN

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Steven Jordaan, Nils Timm, Linda Marshall
AutomaTutor: An Educational Mobile App for Teaching Automata Theory. SBMF (2023)
Nils Timm, Josua Botha, Steven Jordaan
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems. Sci. Comput. Program. 228 (2023)
Madoda Nxumalo, Nils Timm, Stefan Gruner
An evaluation of approaches to model checking real-time task schedulability analysis. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Nils Timm, Josua Botha
Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation. FROM (2022)
Nils Timm, Josua Botha
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. SBMF (2021)
Madoda Nxumalo, Nils Timm, Stefan Gruner
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. SPIN (2021)
Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha
-induction and witness refinement with constraint generation. Sci. Comput. Program. 200 (2020)
Nils Timm, Stefan Gruner
Three-valued bounded model checking with cause-guided abstraction refinement. Sci. Comput. Program. 175 (2019)
Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS (2018)
Nils Timm, Stefan Gruner, Matthias Harvey
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. SBMF (2018)
Nils Timm, Stefan Gruner
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. FTSCS (2018)
Nils Timm, Stefan Gruner, Prince Sibanda
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. FSEN (2017)
Nils Timm, Stefan Gruner
Parameterised three-valued model checking. Sci. Comput. Program. 126 (2016)
Nils Timm, Stefan Gruner
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. FTSCS (2016)
Nils Timm, Stefan Gruner, Matthias Harvey
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. SBMF (2016)
Nils Timm, Stefan Gruner
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking. SBMF (2015)
Nils Timm, Stefan Gruner, Prince Sibanda
Parallel SAT-Based Parameterised Three-Valued Model Checking. SPIN (2015)
Nils Timm, Stefan Gruner
Parameterisation of Three-Valued Abstractions. SBMF (2014)
Nils Timm
Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems. TASE (2014)
Nils Timm, Heike Wehrheim, Mike Czech
Heuristic-Guided Abstraction Refinement for Concurrent Systems. ICFEM (2012)
Nils Timm, Heike Wehrheim
On Symmetries and Spotlights - Verifying Parameterised Systems. ICFEM (2010)
Samir Brulic, Samira Brulic, Pascal Deppe, Dominic Eschweiler, Rosbeh Etemadi, Klaus Herbold, Christian Konersmann, Robert Meiche, Christoph Scholz, Nils Timm, André Ückermann, Elmar Weber, Rene C. Zorn
CSI: PC2 - A High Performance Biometrie System. Informatiktage (2008)

Nils Timm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nils Timm