Search Sciweavers | Sciweavers

212 search results - page 6 / 43

» Hybrid Analysis and Control of Malware

click to vote

CCS
2010
ACM

247views Security Privacy» more CCS 2010»

AccessMiner: using system-centric models for malware protection

13 years 8 months ago

Download www.iseclab.org

Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...

Andrea Lanzi, Davide Balzarotti, Christopher Krueg...

claim paper

Read More »

click to vote

HYBRID
2000
Springer

196views Control Systems» more HYBRID 2000»

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

13 years 11 months ago

Download www-verimag.imag.fr

In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...

Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...

claim paper

Read More »

click to vote

HYBRID
2007
Springer

115views Control Systems» more HYBRID 2007»

MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

13 years 11 months ago

Download www.seas.upenn.edu

We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1

Spring Berman, Ádám M. Halász...

claim paper

Read More »

click to vote

CDC
2008
IEEE

127views Control Systems» more CDC 2008»

Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction

14 years 2 months ago