150 citations · 623 across the 65 of their papers we have counts for
6 papers · 1 filter
*-Continuous Kleene -Algebras for Energy Problems
Zoltán Ésik, Uli Fahrenberg, Axel Legay
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy prob…
On the Expressiveness of Joining
Thomas Given-Wilson, Axel Legay
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchrono…
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Van Chan Ngo, Axel Legay
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petr…
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this p…
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kenan Kalajdzic, Cyrille Jegourel, Ezio Bartocci +3
We introduce feedback-control statistical system checking (FC-SSC), a new approach to statistical model checking that exploits principles of feedback-control for the analysis of cy…
*-Continuous Kleene -Algebras
Zoltán Ésik, Uli Fahrenberg, Axel Legay
We define and study basic properties of *-continuous Kleene -algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite produ…