E-LIB Suche - Ergebnisse für: Timm, Nils

1

AutomaTutor: An Educational Mobile App for Teaching Automat..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Jordaan, Steven ; Timm, Nils ; Marshall, Linda - p. 131-140 , 2023

Link: https://doi.org/10.1007/..

2

Max-SAT-based synthesis of optimal and Nash equilibrium str..:

Timm, Nils ; Botha, Josua ; Jordaan, Steven
Science of Computer Programming. 228 (2023) - p. 102946 , 2023

Link: https://doi.org/10.1016/..

3

An evaluation of approaches to model checking real-time tas..:

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan
International Journal on Software Tools for Technology Transfer. 25 (2023) 1 - p. 115-128 , 2023

Link: https://doi.org/10.1007/..

4

A Verification Tool for Real-Time Task Schedulability Analy..:

, In: South African Institute of Computer Scientists and Information Technologists; Communications in Computer and Information Science,

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan - p. 48-60 , 2023

Link: https://doi.org/10.1007/..

5

Spotlight Abstraction in Model Checking Real-Time Task Sche..:

, In: Model Checking Software; Lecture Notes in Computer Science,

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan - p. 63-80 , 2021

Link: https://doi.org/10.1007/..

6

Model Checking and Strategy Synthesis for Multi-agent Syste..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Timm, Nils ; Botha, Josua - p. 53-69 , 2021

Link: https://doi.org/10.1007/..

7

Model checking safety and liveness via k-induction and witn..:

Timm, Nils ; Gruner, Stefan ; Nxumalo, Madoda.
Science of Computer Programming. 200 (2020) - p. 102532 , 2020

Link: https://doi.org/10.1016/..

8

Three-valued bounded model checking with cause-guided abstr..:

Timm, Nils ; Gruner, Stefan
Science of Computer Programming. 175 (2019) - p. 37-62 , 2019

Link: https://doi.org/10.1016/..

9

Generalising the Dining Philosophers Problem: Competitive D..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

De Masellis, Riccardo ; Goranko, Valentin ; Gruner, Stefan. - p. 30-47 , 2019

Link: https://doi.org/10.1007/..

10

Abstraction Refinement with Path Constraints for 3-Valued B..:

, In: Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems,

Timm, Nils ; Gruner, Stefan - p. 139-157 , 2019

Link: https://doi.org/10.1007/..

11

Constraint Reusing and k-Induction for Three-Valued Bounded..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Timm, Nils ; Gruner, Stefan ; Harvey, Matthias - p. 126-143 , 2018

Link: https://doi.org/10.1007/..

12

Parameterised three-valued model checking:

Timm, Nils ; Gruner, Stefan
Science of Computer Programming. 126 (2016) - p. 94-110 , 2016

Link: https://doi.org/10.1016/..

13

Synthesis of cost-optimal multi-agent systems for resource ..:

Timm, Nils ; Botha, Josua
Timm, N. & Botha, J. 'Synthesis of cost-optimal multi-agent systems for resource allocation', Vlad Rusu (Ed.) Sixth Working Formal Methods Symposium (FROM 2022) Electronic Proceedings in Theoretical Computer Science, 369, 2022, pp. 67–82, doi:10.4204/EPTCS.369.5.. , 2022

Link: http://hdl.handle.net/22..

14

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

Timm, Nils ; Botha, Josua
http://arxiv.org/abs/2209.09473. , 2022

Link: http://arxiv.org/abs/220..

15

Model Checking of Concurrent Software Systems via Heuristic..:

Timm, Nils ; Gruner, Stefan ; Sibanda, Prince
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-68972-2_16. , 2017

Link: https://hal.inria.fr/hal..