3820 search results - page 256 / 764 » Bounded Model Debugging |
121
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
104
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...
110
Voted
MUE
2008
IEEE
15 years 10 months ago
2008
IEEE
Investigating realistic simulations in wireless sensor networks has been an area which has drawn a lot of research interest. These simulations are used to predict the lifetime of ...
131
Voted
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
111
Voted
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the problem of human gait recognition by applying model (in)validation techniques. The main idea is to associate to each class of gaits a nominal model and a ...