150 citations · 548 across the 51 of their papers we have counts for
12 papers · 1 filter
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, Axel Legay +3
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design.…
Efficient Monitoring of Timed Properties
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen +1
In this paper we study monitoring of real-time systems with respect to properties given by a pair of Timed Büchi Automata, one for the property and one for its complement. This inc…
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
We address the safety verification and synthesis problems for real-time systems. We introduce real-time programs that are made of instructions that can perform assignments to discr…
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic…
A Faster-Than Relation for Semi-Markov Decision Processes
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is nec…
Parameter Synthesis Problems for one parametric clock Timed Automata
Liyun Dai, Taolue Chen, Zhiming Liu +3
In this paper, we study the parameter synthesis problem for a class of parametric timed automata. The problem asks to construct the set of valuations of the parameters in the param…