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 International Publishing

9783319024431, 9783319024448

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

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

10.1007/978-3-319-02444-8_8 ◽

2013 ◽

pp. 87-101 ◽

Cited By ~ 2

Author(s):

Aleksandra Jovanović ◽

Didier Lime ◽

Olivier H. Roux

Download Full-text

SMT-Based Software Model Checking

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

10.1007/978-3-319-02444-8_3 ◽

2013 ◽

pp. 23-23

Author(s):

Alessandro Cimatti

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Download Full-text

An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications

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

10.1007/978-3-319-02444-8_28 ◽

2013 ◽

pp. 397-411 ◽

Cited By ~ 3

Author(s):

Orna Grumberg ◽

Orna Kupferman ◽

Sarai Sheinvald

Keyword(s):

Theoretic Approach ◽

Parameterized Systems

Download Full-text

Termination and Cost Analysis of Loops with Concurrent Interleavings

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

10.1007/978-3-319-02444-8_25 ◽

2013 ◽

pp. 349-364 ◽

Cited By ~ 12

Author(s):

Elvira Albert ◽

Antonio Flores-Montoya ◽

Samir Genaim ◽

Enrique Martin-Martin

Keyword(s):

Cost Analysis

Download Full-text

Multi-threaded Explicit State Space Exploration with State Reconstruction

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

10.1007/978-3-319-02444-8_16 ◽

2013 ◽

pp. 208-223 ◽

Cited By ~ 6

Author(s):

Sami Evangelista ◽

Lars Michael Kristensen ◽

Laure Petrucci

Keyword(s):

State Space ◽

Space Exploration ◽

State Reconstruction ◽

State Space Exploration

Download Full-text

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

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

10.1007/978-3-319-02444-8_13 ◽

2013 ◽

pp. 163-177 ◽

Cited By ~ 5

Author(s):

Ramiro Demasi ◽

Pablo F. Castro ◽

Thomas S. E. Maibaum ◽

Nazareno Aguirre

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis

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

10.1007/978-3-319-02444-8_45 ◽

2013 ◽

pp. 516-525 ◽

Cited By ~ 1

Author(s):

Jakob Mund ◽

Ralf Huuck ◽

Ansgar Fehnker ◽

Cyrille Artho

Keyword(s):

Static Analysis ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Layered Approach

Download Full-text

CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains

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

10.1007/978-3-319-02444-8_36 ◽

2013 ◽

pp. 464-468 ◽

Cited By ~ 1

Author(s):

Yang Gao ◽

Ernst Moritz Hahn ◽

Naijun Zhan ◽

Lijun Zhang

Keyword(s):

Markov Chains ◽

Continuous Time ◽

Model Checker ◽

Continuous Time Markov Chains

Download Full-text

Verification of a Dynamic Management Protocol for Cloud Applications

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

10.1007/978-3-319-02444-8_14 ◽

2013 ◽

pp. 178-192 ◽

Cited By ~ 4

Author(s):

Rim Abid ◽

Gwen Salaün ◽

Francesco Bongiovanni ◽

Noel De Palma

Keyword(s):

Dynamic Management ◽

Management Protocol ◽

Cloud Applications

Download Full-text

Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points

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

10.1007/978-3-319-02444-8_6 ◽

2013 ◽

pp. 55-70 ◽

Cited By ~ 8

Author(s):

Thomas Brihaye ◽

Laurent Doyen ◽

Gilles Geeraerts ◽

Joel Ouaknine ◽

Jean-Francois Raskin ◽

...

Keyword(s):

Fixed Points ◽

Hybrid Automata

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

SMT-Based Software Model Checking

An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications

Termination and Cost Analysis of Loops with Concurrent Interleavings

Multi-threaded Explicit State Space Exploration with State Reconstruction

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis

CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains

Verification of a Dynamic Management Protocol for Cloud Applications

Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points

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