2661 search results - page 275 / 533 » Model Checking Performability Properties |
111
click to vote
CL
2006
Springer
15 years 2 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
129
Voted
MAM
2008
15 years 2 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
116
click to vote
JVCIR
2007
15 years 2 months ago
2007
This paper qualitatively compares three recently proposed models for signal/image texture extraction based on total variation minimization: the Meyer [27], Vese–Osher (VO) [35],...
120
Voted
ECAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
122
click to vote
HVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...