Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540691631, 9783540691662
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$

2008 ◽  
pp. 299-314 ◽  
Author(s):  
Helmut Seidl ◽  
Andrea Flexeder ◽  
Michael Petter
Keyword(s):  
Polynomial Equations

scholarly journals SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement

2008 ◽  
pp. 238-254 ◽  
Author(s):  
Gogul Balakrishnan ◽  
Sriram Sankaranarayanan ◽  
Franjo Ivančić ◽  
Ou Wei ◽  
Aarti Gupta
Keyword(s):  
Sensitive Analysis ◽  
Path Detection

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors

2008 ◽  
pp. 62-77 ◽  
Author(s):  
Christopher L. Conway ◽  
Dennis Dams ◽  
Kedar S. Namjoshi ◽  
Clark Barrett
Keyword(s):  
Pointer Analysis

Relational Analysis of Correlation

2008 ◽  
pp. 32-46 ◽  
Author(s):  
Jörg Bauer ◽  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Henrik Pilegaard
Keyword(s):  
Relational Analysis

Protocol Inference Using Static Path Profiles

2008 ◽  
pp. 78-92 ◽  
Author(s):  
Murali Krishna Ramanathan ◽  
Koushik Sen ◽  
Ananth Grama ◽  
Suresh Jagannathan

Hiding Software Watermarks in Loop Structures

2008 ◽  
pp. 174-188 ◽  
Author(s):  
Mila Dalla Preda ◽  
Roberto Giacobazzi ◽  
Enrico Visentini
Load More ...
Sign in / Sign up

Export Citation Format

Share Document