Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540442356, 9783540457893

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static Program Analysis via 3-Valued Logic

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_1 ◽

2002 ◽

pp. 1-1

Author(s):

Thomas Reps

Keyword(s):

Program Analysis ◽

Static Program Analysis

Download Full-text

Reuse of Results in Termination Analysis of Typed Logic Programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_33 ◽

2002 ◽

pp. 477-492 ◽

Cited By ~ 6

Author(s):

Maurice Bruynooghe ◽

Michael Codish ◽

Samir Genaim ◽

Wim Vanhoof

Keyword(s):

Logic Programs ◽

Termination Analysis

Download Full-text

States vs. Traces in Model Checking by Abstract Interpretation

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_32 ◽

2002 ◽

pp. 461-476 ◽

Cited By ~ 2

Author(s):

Roberto Giacobazzi ◽

Francesco Ranzato

Keyword(s):

Model Checking ◽

Abstract Interpretation

Download Full-text

Polynomial Constants Are Decidable

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_4 ◽

2002 ◽

pp. 4-19 ◽

Cited By ~ 17

Author(s):

Markus Müller-Olm ◽

Helmut Seidl

Download Full-text

Modular Control Flow Analysis for Libraries

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_14 ◽

2002 ◽

pp. 165-179 ◽

Cited By ~ 3

Author(s):

Christian W. Probst

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Modular Control ◽

Control Flow Analysis

Download Full-text

Static Analysis of the Numerical Stability of Loops

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_12 ◽

2002 ◽

pp. 133-150 ◽

Cited By ~ 5

Author(s):

Matthieu Martel

Keyword(s):

Static Analysis ◽

Numerical Stability

Download Full-text

Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_2 ◽

2002 ◽

pp. 2-2 ◽

Cited By ~ 2

Author(s):

Robert J. Hall

Keyword(s):

Distributed Systems ◽

Systems Research ◽

Multi Stakeholder

Download Full-text

Nonuniform Alias Analysis of Recursive Data Structures and Arrays

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_6 ◽

2002 ◽

pp. 36-51 ◽

Cited By ~ 5

Author(s):

Arnaud Venet

Keyword(s):

Data Structures ◽

Alias Analysis ◽

Recursive Data Structures ◽

Recursive Data

Download Full-text

From Secrecy to Authenticity in Security Protocols

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_25 ◽

2002 ◽

pp. 342-359 ◽

Cited By ~ 45

Author(s):

Bruno Blanchet

Keyword(s):

Security Protocols

Download Full-text

Automated Verification of Concurrent Linked Lists with Counters

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_8 ◽

2002 ◽

pp. 69-84 ◽

Cited By ~ 17

Author(s):

Tuba Yavuz-Kahveci ◽

Tevfik Bultan

Keyword(s):

Automated Verification ◽

Linked Lists

Download Full-text

Static Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Static Program Analysis via 3-Valued Logic

Reuse of Results in Termination Analysis of Typed Logic Programs

States vs. Traces in Model Checking by Abstract Interpretation

Polynomial Constants Are Decidable

Modular Control Flow Analysis for Libraries

Static Analysis of the Numerical Stability of Loops

Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges

Nonuniform Alias Analysis of Recursive Data Structures and Arrays

From Secrecy to Authenticity in Security Protocols

Automated Verification of Concurrent Linked Lists with Counters

Static Analysis - Lecture Notes in Computer Science
Latest Publications