Sciweavers

2896 search results - page 6 / 580
» Curricula Modeling and Checking
Sort
View
161
Voted
TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
13 years 11 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili
207
Voted
FMSD
2011
236views Formal Methods» more  FMSD 2011»
14 years 7 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
107
Voted
PLDI
2011
ACM
14 years 6 months ago
Predicate abstraction and CEGAR for higher-order model checking
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
194
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...
99
Voted
EMNLP
2011
14 years 3 months ago
Bayesian Checking for Topic Models
David M. Mimno, David M. Blei