scientific article
From MaRDI portal
Publication:2769586
zbMath0978.68541MaRDI QIDQ2769586
Thomas Hune, Paul Pettersson, Gerd Behrmann, Ansgar Fehnker, Kim Guldstrand Larsen
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310174
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Scheduling with timed automata ⋮ Model Checking Real-Time Systems ⋮ On using priced timed automata to achieve optimal scheduling ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes ⋮ Improving Search Order for Reachability Testing in Timed Automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Monte Carlo tree search for priced timed automata ⋮ Accelerating worst case execution time analysis of timed automata models with cyclic behaviour ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Model-checking precision agriculture logistics: the case of the differential harvest ⋮ Finding minimum and maximum termination time of timed automata models with cyclic behaviour ⋮ Optimal infinite scheduling for multi-priced timed automata ⋮ Survey on Directed Model Checking ⋮ On the Supports of Recognizable Timed Series ⋮ Exact Acceleration of Real-Time Model Checking ⋮ Using heuristic search for finding deadlocks in concurrent systems
Uses Software