138 citations · 597 across the 30 of their papers we have counts for
3 papers · 1 filter
Pareto Curves for Probabilistic Model Checking
Vojtech Forejt, Marta Kwiatkowska, David Parker
Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system. It has useful applications in c…
Revisiting Timed Specification Theories: A Linear-Time Perspective
Chris Chilton, Marta Kwiatkowska, Xu Wang
We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory…
Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concer…