Browsing Conference Papers & Presentations (Computer Science) by Author "Timm, Nils"

Browsing Conference Papers & Presentations (Computer Science) by Author "Timm, Nils"

Sort by: Order: Results:

  • Parameterisation of three-valued abstractions 
    Timm, Nils; Gruner, Stefan; CBSoft 2014 Brazilian Conference on Software : Theory and Practice (2014 : Maceio, Brazil) untranslated (2014)
    Three-valued abstraction is an established technique in software model checking. It proceeds by generating an abstract state space model over the values true, false and unknown, where the latter value is used to represent ...
  • Synthesis of cost-optimal multi-agent systems for resource allocation 
    Timm, Nils; Botha, Josua (Open Publishing Association, 2022-09)
    Multi-agent systems for resource allocation (MRAs) have been introduced as a concept for modelling competitive resource allocation problems in distributed computing. An MRA is composed of a set of agents and a set of ...