Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030112448, 9783030112455

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static Analysis of Binary Code with Memory Indirections Using Polyhedra

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_6 ◽

2019 ◽

pp. 114-135 ◽

Cited By ~ 1

Author(s):

Clément Ballabriga ◽

Julien Forget ◽

Laure Gonnord ◽

Giuseppe Lipari ◽

Jordy Ruiz

Keyword(s):

Static Analysis ◽

Binary Code ◽

With Memory

Download Full-text

Lazy but Effective Functional Synthesis

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_5 ◽

2019 ◽

pp. 92-113 ◽

Cited By ~ 3

Author(s):

Grigory Fedyukovich ◽

Arie Gurfinkel ◽

Aarti Gupta

Keyword(s):

Functional Synthesis

Download Full-text

A Decidable Logic for Tree Data-Structures with Measurements

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_15 ◽

2019 ◽

pp. 318-341 ◽

Cited By ~ 1

Author(s):

Xiaokang Qiu ◽

Yanjun Wang

Keyword(s):

Data Structures ◽

Tree Data

Download Full-text

Solving and Interpolating Constant Arrays Based on Weak Equivalences

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_14 ◽

2019 ◽

pp. 297-317

Author(s):

Jochen Hoenicke ◽

Tanja Schindler

Download Full-text

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_19 ◽

2019 ◽

pp. 409-424 ◽

Cited By ~ 1

Author(s):

Étienne André ◽

Laurent Fribourg ◽

Jean-Marc Mota ◽

Romain Soulat

Keyword(s):

Model Checking ◽

Parametric Model ◽

Leader Election ◽

Election Algorithm ◽

Leader Election Algorithm

Download Full-text

Fast BGP Simulation of Large Datacenters

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_18 ◽

2019 ◽

pp. 386-408 ◽

Cited By ~ 3

Author(s):

Nuno P. Lopes ◽

Andrey Rybalchenko

Download Full-text

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_27 ◽

2019 ◽

pp. 577-600 ◽

Cited By ~ 2

Author(s):

Viorel Preoteasa ◽

Iulia Dragomir ◽

Stavros Tripakis

Keyword(s):

Block Diagram

Download Full-text

Type-Directed Bounding of Collections in Reactive Programs

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_13 ◽

2019 ◽

pp. 275-296

Author(s):

Tianhan Lu ◽

Pavol Černý ◽

Bor-Yuh Evan Chang ◽

Ashutosh Trivedi

Keyword(s):

Reactive Programs

Download Full-text

Minimal Synthesis of String to String Functions from Examples

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_3 ◽

2019 ◽

pp. 48-69 ◽

Cited By ~ 1

Author(s):

Jad Hamza ◽

Viktor Kunčak

Download Full-text

Application of Abstract Interpretation to the Automotive Electronic Control System

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_20 ◽

2019 ◽

pp. 425-445 ◽

Cited By ~ 1

Author(s):

Tomoya Yamaguchi ◽

Martin Brain ◽

Chirs Ryder ◽

Yosikazu Imai ◽

Yoshiumi Kawamura

Keyword(s):

Control System ◽

Abstract Interpretation ◽

Electronic Control ◽

Automotive Electronic ◽

Electronic Control System

Download Full-text

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract InterpretationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Static Analysis of Binary Code with Memory Indirections Using Polyhedra

Lazy but Effective Functional Synthesis

A Decidable Logic for Tree Data-Structures with Measurements

Solving and Interpolating Constant Arrays Based on Weak Equivalences

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking

Fast BGP Simulation of Large Datacenters

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations

Type-Directed Bounding of Collections in Reactive Programs

Minimal Synthesis of String to String Functions from Examples

Application of Abstract Interpretation to the Automotive Electronic Control System

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications