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

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

9
(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

2013 ◽  
pp. 87-101 ◽  
Author(s):  
Aleksandra Jovanović ◽  
Didier Lime ◽  
Olivier H. Roux

Termination and Cost Analysis of Loops with Concurrent Interleavings

2013 ◽  
pp. 349-364 ◽  
Author(s):  
Elvira Albert ◽  
Antonio Flores-Montoya ◽  
Samir Genaim ◽  
Enrique Martin-Martin
Keyword(s):  
Cost Analysis

Multi-threaded Explicit State Space Exploration with State Reconstruction

2013 ◽  
pp. 208-223 ◽  
Author(s):  
Sami Evangelista ◽  
Lars Michael Kristensen ◽  
Laure Petrucci
Keyword(s):  
State Space ◽  
Space Exploration ◽  
State Reconstruction ◽  
State Space Exploration

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

2013 ◽  
pp. 163-177 ◽  
Author(s):  
Ramiro Demasi ◽  
Pablo F. Castro ◽  
Thomas S. E. Maibaum ◽  
Nazareno Aguirre
Keyword(s):  
Fault Tolerant ◽  
Fault Tolerant Systems

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

2013 ◽  
pp. 464-468 ◽  
Author(s):  
Yang Gao ◽  
Ernst Moritz Hahn ◽  
Naijun Zhan ◽  
Lijun Zhang
Keyword(s):  
Markov Chains ◽  
Continuous Time ◽  
Model Checker ◽  
Continuous Time Markov Chains

scholarly journals Verification of a Dynamic Management Protocol for Cloud Applications

2013 ◽  
pp. 178-192 ◽  
Author(s):  
Rim Abid ◽  
Gwen Salaün ◽  
Francesco Bongiovanni ◽  
Noel De Palma
Keyword(s):  
Dynamic Management ◽  
Management Protocol ◽  
Cloud Applications

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

2013 ◽  
pp. 55-70 ◽  
Author(s):  
Thomas Brihaye ◽  
Laurent Doyen ◽  
Gilles Geeraerts ◽  
Joel Ouaknine ◽  
Jean-Francois Raskin ◽  
...  
Keyword(s):  
Fixed Points ◽  
Hybrid Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document