Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319997247, 9783319997254

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficiently Learning Safety Proofs from Appearance as well as Behaviours

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_20 ◽

2018 ◽

pp. 326-343 ◽

Cited By ~ 2

Author(s):

Sumanth Prabhu ◽

Kumar Madhukar ◽

R. Venkatesh

Download Full-text

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_2 ◽

2018 ◽

pp. 5-23 ◽

Cited By ~ 2

Author(s):

Roberto Bagnara ◽

Abramo Bagnara ◽

Patricia M. Hill

Keyword(s):

Embedded Software

Download Full-text

Abstract Interpretation of Stateful Networks

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_8 ◽

2018 ◽

pp. 86-106 ◽

Cited By ~ 3

Author(s):

Kalev Alpernas ◽

Roman Manevich ◽

Aurojit Panda ◽

Mooly Sagiv ◽

Scott Shenker ◽

...

Keyword(s):

Abstract Interpretation

Download Full-text

Modular Software Fault Isolation as Abstract Interpretation

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_12 ◽

2018 ◽

pp. 166-186

Author(s):

Frédéric Besson ◽

Thomas Jensen ◽

Julien Lepiller

Keyword(s):

Abstract Interpretation ◽

Fault Isolation ◽

Modular Software ◽

Software Fault Isolation ◽

Software Fault

Download Full-text

Volume-Based Merge Heuristics for Disjunctive Numeric Domains

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_23 ◽

2018 ◽

pp. 383-401

Author(s):

Andrew Ruef ◽

Kesha Hietala ◽

Arlen Cox

Download Full-text

Numerical Invariants via Abstract Machines

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_3 ◽

2018 ◽

pp. 24-42 ◽

Cited By ~ 2

Author(s):

Zachary Kincaid

Keyword(s):

Abstract Machines ◽

Numerical Invariants

Download Full-text

A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_15 ◽

2018 ◽

pp. 223-242 ◽

Cited By ~ 2

Author(s):

Maxime Jacquemin ◽

Sylvie Putot ◽

Franck Védrine

Keyword(s):

Relative Error ◽

Error Bounds ◽

Floating Point ◽

Point Analysis

Download Full-text

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_11 ◽

2018 ◽

pp. 146-165 ◽

Cited By ~ 3

Author(s):

Anna Becchi ◽

Enea Zaffanella

Download Full-text

Verifying Bounded Subset-Closed Hyperproperties

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_17 ◽

2018 ◽

pp. 263-283 ◽

Cited By ~ 4

Author(s):

Isabella Mastroeni ◽

Michele Pasqua

Keyword(s):

Bounded Subset

Download Full-text

Invertible Linear Transforms of Numerical Abstract Domains

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99725-4_21 ◽

2018 ◽

pp. 344-363

Author(s):

Francesco Ranzato ◽

Marco Zanella

Keyword(s):

Linear Transforms ◽

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Static Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Efficiently Learning Safety Proofs from Appearance as well as Behaviours

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

Abstract Interpretation of Stateful Networks

Modular Software Fault Isolation as Abstract Interpretation

Volume-Based Merge Heuristics for Disjunctive Numeric Domains

Numerical Invariants via Abstract Machines

A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra

Verifying Bounded Subset-Closed Hyperproperties

Invertible Linear Transforms of Numerical Abstract Domains

Static Analysis - Lecture Notes in Computer Science
Latest Publications