Sciweavers

1880 search results - page 52 / 376
» A Static Analysis for Beta-Binders
Sort
View
IOLTS
2007
IEEE
88views Hardware» more  IOLTS 2007»
15 years 5 months ago
Automated Derivation of Application-aware Error Detectors using Static Analysis
Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravisha...
NDSS
2007
IEEE
15 years 5 months ago
Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis
Cross-site scripting (XSS) is an attack against web applications in which scripting code is injected into the output of an application that is then sent to a user’s web browser....
Philipp Vogt, Florian Nentwich, Nenad Jovanovic, E...
FMICS
2007
Springer
15 years 5 months ago
Static Analysis of the Accuracy in Control Systems: Principles and Experiments
Eric Goubault, Sylvie Putot, Philippe Baufreton, J...