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

9783662460801, 9783662460818

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Verification to Optimizations

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

10.1007/978-3-662-46081-8_17 ◽

2015 ◽

pp. 300-317 ◽

Cited By ~ 4

Author(s):

Rigel Gjomemo ◽

Kedar S. Namjoshi ◽

Phu H. Phung ◽

V. N. Venkatakrishnan ◽

Lenore D. Zuck

Download Full-text

Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

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

10.1007/978-3-662-46081-8_4 ◽

2015 ◽

pp. 61-79 ◽

Cited By ~ 12

Author(s):

Agostino Cortesi ◽

Pietro Ferrara ◽

Marco Pistoia ◽

Omer Tripp

Keyword(s):

Mobile Applications ◽

Policy Compliance

Download Full-text

Induction for SMT Solvers

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

10.1007/978-3-662-46081-8_5 ◽

2015 ◽

pp. 80-98 ◽

Cited By ~ 22

Author(s):

Andrew Reynolds ◽

Viktor Kuncak

Keyword(s):

Smt Solvers

Download Full-text

Bounded Implementations of Replicated Data Types

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

10.1007/978-3-662-46081-8_20 ◽

2015 ◽

pp. 355-372 ◽

Cited By ~ 1

Author(s):

Madhavan Mukund ◽

Gautham Shenoy R. ◽

S. P. Suresh

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

Path Sensitive Cache Analysis Using Cache Miss Paths

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

10.1007/978-3-662-46081-8_3 ◽

2015 ◽

pp. 43-60 ◽

Cited By ~ 3

Author(s):

Kartik Nagar ◽

Y. N. Srikant

Keyword(s):

Cache Analysis ◽

Cache Miss

Download Full-text

Dependent Array Type Inference from Tests

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

10.1007/978-3-662-46081-8_23 ◽

2015 ◽

pp. 412-430 ◽

Cited By ~ 4

Author(s):

He Zhu ◽

Aditya V. Nori ◽

Suresh Jagannathan

Keyword(s):

Type Inference ◽

Array Type

Download Full-text

Abstraction-Based Computation of Reward Measures for Markov Automata

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

10.1007/978-3-662-46081-8_10 ◽

2015 ◽

pp. 172-189 ◽

Cited By ~ 3

Author(s):

Bettina Braitling ◽

Luis María Ferrer Fioriti ◽

Hassan Hatefi ◽

Ralf Wimmer ◽

Bernd Becker ◽

...

Keyword(s):

Markov Automata

Download Full-text

Distributed Markov Chains

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

10.1007/978-3-662-46081-8_7 ◽

2015 ◽

pp. 117-134 ◽

Cited By ~ 3

Author(s):

Ratul Saha ◽

Javier Esparza ◽

Sumit Kumar Jha ◽

Madhavan Mukund ◽

P. S. Thiagarajan

Keyword(s):

Markov Chains

Download Full-text

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

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

10.1007/978-3-662-46081-8_6 ◽

2015 ◽

pp. 99-116 ◽

Cited By ~ 9

Author(s):

Assalé Adjé ◽

Pierre-Loïc Garoche

Keyword(s):

Piecewise Linear ◽

Linear Quadratic ◽

Automatic Synthesis ◽

Quadratic Invariants

Download Full-text

Tree Automata-Based Refinement with Application to Horn Clause Verification

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

10.1007/978-3-662-46081-8_12 ◽

2015 ◽

pp. 209-226 ◽

Cited By ~ 7

Author(s):

Bishoksan Kafle ◽

John P. Gallagher

Keyword(s):

Horn Clause ◽

Tree Automata

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

From Verification to Optimizations

Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

Induction for SMT Solvers

Bounded Implementations of Replicated Data Types

Path Sensitive Cache Analysis Using Cache Miss Paths

Dependent Array Type Inference from Tests

Abstraction-Based Computation of Reward Measures for Markov Automata

Distributed Markov Chains

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Tree Automata-Based Refinement with Application to Horn Clause Verification

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