3342 search results - page 139 / 669 » Symbolic Robustness Analysis |
202
click to vote
AB
2007
Springer
16 years 9 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
154
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
175
click to vote
DRR
2009
15 years 3 months ago
2009
Biomedical images are invaluable in medical education and establishing clinical diagnosis. Clinical decision support (CDS) can be improved by combining biomedical text with automa...
194
Voted
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
137
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper addressed the computation of the L2-induced gain for a class of switched systems. The main contribution of the paper is to completely characterize the induced gain o...