Nils Timm

According to our database, Nils Timm authored at least 23 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems.

Nils Timm, Josua Botha, Steven Jordaan

Sci. Comput. Program., June, 2023

An evaluation of approaches to model checking real-time task schedulability analysis.

Madoda Nxumalo, Nils Timm, Stefan Gruner

Int. J. Softw. Tools Technol. Transf., February, 2023

AutomaTutor: An Educational Mobile App for Teaching Automata Theory.

Steven Jordaan, Nils Timm, Linda Marshall

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2022

Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation.

Nils Timm, Josua Botha

Proceedings of the Sixth Working Formal Methods Symposium, 2022

2021

Spotlight Abstraction in Model Checking Real-Time Task Schedulability.

Madoda Nxumalo, Nils Timm, Stefan Gruner

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation.

Nils Timm, Josua Botha

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020

Model checking safety and liveness via <i>k</i>-induction and witness refinement with constraint generation.

Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha

Sci. Comput. Program., 2020

2019

Three-valued bounded model checking with cause-guided abstraction refinement.

Nils Timm, Stefan Gruner

Sci. Comput. Program., 2019

2018

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking.

Nils Timm, Stefan Gruner, Matthias Harvey

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking.

Nils Timm, Stefan Gruner

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems.

Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm

Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

2017

Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving.

Nils Timm, Stefan Gruner, Prince Sibanda

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

Parameterised three-valued model checking.

Nils Timm, Stefan Gruner

Sci. Comput. Program., 2016

A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems.

Nils Timm, Stefan Gruner, Matthias Harvey

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction.

Nils Timm, Stefan Gruner

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

Parallel SAT-Based Parameterised Three-Valued Model Checking.

Nils Timm, Stefan Gruner, Prince Sibanda

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking.

Nils Timm, Stefan Gruner

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

2014

Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems.

Nils Timm

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Parameterisation of Three-Valued Abstractions.

Nils Timm, Stefan Gruner

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013

Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems.

Nils Timm

PhD thesis, 2013

2012

Heuristic-Guided Abstraction Refinement for Concurrent Systems.

Nils Timm, Heike Wehrheim, Mike Czech

Proceedings of the Formal Methods and Software Engineering, 2012

2010

On Symmetries and Spotlights - Verifying Parameterised Systems.

Nils Timm, Heike Wehrheim

Proceedings of the Formal Methods and Software Engineering, 2010

2008

CSI: PC2 - A High Performance Biometrie System.

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

Proceedings of the Informatiktage 2008, 2008