Nils Timm

25 papers C 3Misc 1Journal 5Unranked 15
YearRankTypeTitle / Venue / Authors
2025 — conf
AutomaTutor 2.0: Competitive Game-based Learning of Automata Theory.
CompEd (1)
Steven Jordaan, Nils Timm
2025 — conf
Expanding Contextualized Computer Science Education in Africa: A Collaborative Initiative.
CompEd (2)
Sally Hamouda, Ethel Tshukudu, Linda Marshall, Kehinde D. Aruleba, Cleverence Kombe, Janet Shufor Bih Epse Fofang, Joseph Kizito Bada, Emmanuel Okyere Ekwam, Nils Timm, Tessema Mengistu
2023 J jnl
An evaluation of approaches to model checking real-time task schedulability analysis.
Int. J. Softw. Tools Technol. Transf.
Madoda Nxumalo, Nils Timm, Stefan Gruner
2023 — conf
AutomaTutor: An Educational Mobile App for Teaching Automata Theory.
SBMF
Steven Jordaan, Nils Timm, Linda Marshall
2023 J jnl
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems.
Sci. Comput. Program.
Nils Timm, Josua Botha, Steven Jordaan
2022 — conf
Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation.
FROM
Nils Timm, Josua Botha
2021 — conf
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation.
SBMF
Nils Timm, Josua Botha
2021 — conf
Spotlight Abstraction in Model Checking Real-Time Task Schedulability.
SPIN
Madoda Nxumalo, Nils Timm, Stefan Gruner
2020 J jnl
Model checking safety and liveness via
Sci. Comput. Program.
Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha
2019 J jnl
Three-valued bounded model checking with cause-guided abstraction refinement.
Sci. Comput. Program.
Nils Timm, Stefan Gruner
2018 — conf
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking.
FTSCS
Nils Timm, Stefan Gruner
2018 — conf
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking.
SBMF
Nils Timm, Stefan Gruner, Matthias Harvey
2018 C conf
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems.
EUMAS
Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm
2017 — conf
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving.
FSEN
Nils Timm, Stefan Gruner, Prince Sibanda
2016 — conf
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems.
SBMF
Nils Timm, Stefan Gruner, Matthias Harvey
2016 — conf
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction.
FTSCS
Nils Timm, Stefan Gruner
2016 J jnl
Parameterised three-valued model checking.
Sci. Comput. Program.
Nils Timm, Stefan Gruner
2015 — conf
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking.
SBMF
Nils Timm, Stefan Gruner
2015 — conf
Parallel SAT-Based Parameterised Three-Valued Model Checking.
SPIN
Nils Timm, Stefan Gruner, Prince Sibanda
2014 — conf
Parameterisation of Three-Valued Abstractions.
SBMF
Nils Timm, Stefan Gruner
2014 Misc conf
Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems.
TASE
Nils Timm
2013 — —
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems.
Nils Timm
2012 C conf
Heuristic-Guided Abstraction Refinement for Concurrent Systems.
ICFEM
Nils Timm, Heike Wehrheim, Mike Czech
2010 C conf
On Symmetries and Spotlights - Verifying Parameterised Systems.
ICFEM
Nils Timm, Heike Wehrheim
2008 — conf
CSI: PC2 - A High Performance Biometrie System.
Informatiktage
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