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 Berlin Heidelberg

9783642358722, 9783642358739

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Flow-Sensitive Fault Localization

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

10.1007/978-3-642-35873-9_13 ◽

2013 ◽

pp. 189-208 ◽

Cited By ~ 21

Author(s):

Jürgen Christ ◽

Evren Ermis ◽

Martin Schäf ◽

Thomas Wies

Keyword(s):

Fault Localization

Download Full-text

Automata as Proofs

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

10.1007/978-3-642-35873-9_2 ◽

2013 ◽

pp. 13-14 ◽

Cited By ~ 1

Author(s):

Andreas Podelski

Download Full-text

Logico-Numerical Max-Strategy Iteration

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

10.1007/978-3-642-35873-9_25 ◽

2013 ◽

pp. 414-433 ◽

Cited By ~ 3

Author(s):

Peter Schrammel ◽

Pavle Subotic

Download Full-text

Abstraction-Guided Synthesis

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

10.1007/978-3-642-35873-9_4 ◽

2013 ◽

pp. 27-27

Author(s):

Eran Yahav

Download Full-text

Uncovering Symmetries in Irregular Process Networks

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

10.1007/978-3-642-35873-9_29 ◽

2013 ◽

pp. 496-514 ◽

Cited By ~ 13

Author(s):

Kedar S. Namjoshi ◽

Richard J. Trefler

Keyword(s):

Process Networks

Download Full-text

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools

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

10.1007/978-3-642-35873-9_11 ◽

2013 ◽

pp. 149-168 ◽

Cited By ~ 3

Author(s):

Yassamine Seladji ◽

Olivier Bouissou

Keyword(s):

Numerical Analysis ◽

Analysis Tools

Download Full-text

An Abstract Interpretation of DPLL(T)

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

10.1007/978-3-642-35873-9_27 ◽

2013 ◽

pp. 455-475 ◽

Cited By ~ 7

Author(s):

Martin Brain ◽

Vijay D’Silva ◽

Leopold Haller ◽

Alberto Griggio ◽

Daniel Kroening

Keyword(s):

Abstract Interpretation

Download Full-text

ClabureDB: Classified Bug-Reports Database

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

10.1007/978-3-642-35873-9_17 ◽

2013 ◽

pp. 268-274 ◽

Cited By ~ 2

Author(s):

Jiri Slaby ◽

Jan Strejček ◽

Marek Trtík

Keyword(s):

Bug Reports

Download Full-text

A Model-Constructing Satisfiability Calculus

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

10.1007/978-3-642-35873-9_1 ◽

2013 ◽

pp. 1-12 ◽

Cited By ~ 33

Author(s):

Leonardo de Moura ◽

Dejan Jovanović

Download Full-text

Knockout Prediction for Reaction Networks with Partial Kinetic Information

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

10.1007/978-3-642-35873-9_22 ◽

2013 ◽

pp. 355-374 ◽

Cited By ~ 5

Author(s):

Mathias John ◽

Mirabelle Nebut ◽

Joachim Niehren

Keyword(s):

Reaction Networks ◽

Kinetic Information

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Flow-Sensitive Fault Localization

Automata as Proofs

Logico-Numerical Max-Strategy Iteration

Abstraction-Guided Synthesis

Uncovering Symmetries in Irregular Process Networks

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools

An Abstract Interpretation of DPLL(T)

ClabureDB: Classified Bug-Reports Database

A Model-Constructing Satisfiability Calculus

Knockout Prediction for Reaction Networks with Partial Kinetic Information

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