Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642333859, 9783642333866

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_8 ◽

2012 ◽

pp. 77-91 ◽

Cited By ~ 4

Author(s):

Paritosh K. Pandya ◽

Simoni S. Shah

Keyword(s):

Lower Bound ◽

Temporal Logic ◽

Bound Constraints ◽

Interval Temporal Logic

Download Full-text

Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_26 ◽

2012 ◽

pp. 333-348 ◽

Cited By ~ 7

Author(s):

Sergio Giro ◽

Markus N. Rabe

Keyword(s):

Partial Information ◽

Probabilistic Systems

Download Full-text

Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_2 ◽

2012 ◽

pp. 17-25 ◽

Cited By ~ 3

Author(s):

Sucheendra K. Palaniappan ◽

P. S. Thiagarajan

Keyword(s):

Bayesian Networks ◽

Dynamic Bayesian Networks

Download Full-text

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_17 ◽

2012 ◽

pp. 203-207 ◽

Cited By ~ 18

Author(s):

Ondrej Sery ◽

Grigory Fedyukovich ◽

Natasha Sharygina

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

An Experiment on Parallel Model Checking of a CTL Fragment

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_23 ◽

2012 ◽

pp. 284-299 ◽

Cited By ~ 3

Author(s):

Rodrigo T. Saad ◽

Silvano Dal Zilio ◽

Bernard Berthomieu

Keyword(s):

Model Checking ◽

Parallel Model

Download Full-text

ALLQBF Solving by Computational Learning

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_29 ◽

2012 ◽

pp. 370-384 ◽

Cited By ~ 5

Author(s):

Bernd Becker ◽

Rüdiger Ehlers ◽

Matthew Lewis ◽

Paolo Marin

Keyword(s):

Computational Learning

Download Full-text

Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_28 ◽

2012 ◽

pp. 354-369 ◽

Cited By ~ 5

Author(s):

Daniel Neider

Keyword(s):

Smt Solvers

Download Full-text

Verification of Computer Switching Networks: An Overview

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_1 ◽

2012 ◽

pp. 1-16 ◽

Cited By ~ 14

Author(s):

Shuyuan Zhang ◽

Sharad Malik ◽

Rick McGeer

Keyword(s):

Switching Networks

Download Full-text

On Temporal Logic and Signal Processing

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_9 ◽

2012 ◽

pp. 92-106 ◽

Cited By ~ 40

Author(s):

Alexandre Donzé ◽

Oded Maler ◽

Ezio Bartocci ◽

Dejan Nickovic ◽

Radu Grosu ◽

...

Keyword(s):

Signal Processing ◽

Temporal Logic

Download Full-text

Approximating Deterministic Lattice Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_4 ◽

2012 ◽

pp. 27-41 ◽

Cited By ~ 1

Author(s):

Shulamit Halamish ◽

Orna Kupferman

Download Full-text

Automated Technology for Verification and Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints

Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements

Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization

An Experiment on Parallel Model Checking of a CTL Fragment

ALLQBF Solving by Computational Learning

Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers

Verification of Computer Switching Networks: An Overview

On Temporal Logic and Signal Processing

Approximating Deterministic Lattice Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications