150 citations · 548 across the 51 of their papers we have counts for
5 papers · 2 filters
Parameterized Metatheory for Continuous Markovian Logic
Kim G. Larsen, Radu Mardare, Claus Thrane
This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes.…
Refinement and Difference for Probabilistic Automata
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen +1
This paper studies a difference operator for stochastic systems whose specifications are represented by Abstract Probabilistic Automata (APAs). In the case refinement fails between…
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
Radu Mardare, Luca Cardelli, Kim G. Larsen
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic)…
Weighted Modal Transition Systems
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl +3
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification t…
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen +4
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of netwo…