Add to ORKGWe present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification of causal factors in the potentially very large sets of execution traces that form counterexamples in stochastic model checking. The visualization is interactive and allows the user to focus on the most meaningful aspects of a counterexample. We present the application of the visualization method as implemented in our prototype tool DIPRO to two significant case studies
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...
Abstract—We present an approach to support the de-bugging of stochastic system models using interact...
International audienceIn this paper, we present the CLEAR visualizer tool, which supports the debugg...
International audienceModel checking is an established technique for automatically verifying that a ...
The practical usefulness of a model checker as a debugging tool relies on its ability to provide dia...
Currently, few tools are available for assisting developers with debugging intelligent systems. Beca...
International audienceModel checking is an established technique for automatically verifying that a ...
Generation of traces from a simulation model and their analysis is a powerful and common mean to deb...
Probabilistic Model Checking is an established technique used in the dependability analysis of safet...
International audienceDesigning and developing distributed software has always been a tedious and er...
Abstract—In this paper, we describe a novel technique that helps a modeler gain insight into the dyn...
International audienceThis paper presents a tool for debugging behavioural models being analysed usi...
Stochastic analysis techniques for real-time systems model the execution time of tasks as random var...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...
Abstract—We present an approach to support the de-bugging of stochastic system models using interact...
International audienceIn this paper, we present the CLEAR visualizer tool, which supports the debugg...
International audienceModel checking is an established technique for automatically verifying that a ...
The practical usefulness of a model checker as a debugging tool relies on its ability to provide dia...
Currently, few tools are available for assisting developers with debugging intelligent systems. Beca...
International audienceModel checking is an established technique for automatically verifying that a ...
Generation of traces from a simulation model and their analysis is a powerful and common mean to deb...
Probabilistic Model Checking is an established technique used in the dependability analysis of safet...
International audienceDesigning and developing distributed software has always been a tedious and er...
Abstract—In this paper, we describe a novel technique that helps a modeler gain insight into the dyn...
International audienceThis paper presents a tool for debugging behavioural models being analysed usi...
Stochastic analysis techniques for real-time systems model the execution time of tasks as random var...
In real-time systems, temporal behaviour is as important as functional behaviour, so several techniq...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...