Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030003586, 9783030003593

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How to Be Sure a Faulty System Does Not Always Appear Healthy?

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_8 ◽

2018 ◽

pp. 114-129 ◽

Cited By ~ 1

Author(s):

Lina Ye ◽

Philippe Dague ◽

Delphine Longuet ◽

Laura Brandán Briones ◽

Agnes Madalinski

Download Full-text

The State of Fault Injection Vulnerability Detection

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_1 ◽

2018 ◽

pp. 3-21 ◽

Cited By ~ 1

Author(s):

Thomas Given-Wilson ◽

Nisrine Jafri ◽

Axel Legay

Keyword(s):

Fault Injection ◽

The State ◽

Vulnerability Detection

Download Full-text

Orchestration Synthesis for Real-Time Service Contracts

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_3 ◽

2018 ◽

pp. 31-47 ◽

Cited By ~ 3

Author(s):

Davide Basile ◽

Maurice H. ter Beek ◽

Axel Legay ◽

Louis-Marie Traonouez

Keyword(s):

Real Time ◽

Time Service ◽

Service Contracts

Download Full-text

Modelling and Verification of Dynamic Role-Based Access Control

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_4 ◽

2018 ◽

pp. 48-63 ◽

Cited By ~ 3

Author(s):

Inna Vistbakka ◽

Elena Troubitsyna

Keyword(s):

Access Control ◽

Role Based Access Control ◽

Role Based

Download Full-text

Analysis of a Road/Tramway Intersection by the ORIS Tool

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_12 ◽

2018 ◽

pp. 185-199 ◽

Cited By ~ 1

Author(s):

Laura Carnevali ◽

Alessandro Fantechi ◽

Gloria Gori ◽

Enrico Vicario

Download Full-text

Exploiting Local Persistency for Reduced State Space Generation

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_11 ◽

2018 ◽

pp. 166-181 ◽

Cited By ~ 1

Author(s):

Kamel Barkaoui ◽

Hanifa Boucheneb ◽

Zhiwu Li

Keyword(s):

State Space ◽

State Space Generation ◽

Reduced State

Download Full-text

Toward Implicit Learning for the Compositional Verification of Markov Decision Processes

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_13 ◽

2018 ◽

pp. 200-217 ◽

Cited By ~ 1

Author(s):

Redouane Bouchekir ◽

Mohand Cherif Boukala

Keyword(s):

Implicit Learning ◽

Markov Decision Processes ◽

Decision Processes ◽

Compositional Verification ◽

Markov Decision

Download Full-text

Improving Parallel State-Space Exploration Using Genetic Algorithms

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_9 ◽

2018 ◽

pp. 133-149 ◽

Cited By ~ 1

Author(s):

Etienne Renault

Keyword(s):

Genetic Algorithms ◽

State Space ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Replacing Store Buffers by Load Buffers in TSO

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_2 ◽

2018 ◽

pp. 22-28

Author(s):

Parosh Aziz Abdulla ◽

Mohamed Faouzi Atig ◽

Ahmed Bouajjani ◽

Tuan Phong Ngo

Download Full-text

MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_7 ◽

2018 ◽

pp. 97-113

Author(s):

Rui Wang ◽

Lars Michael Kristensen ◽

Volker Stolz

Keyword(s):

Distributed Systems ◽

Petri Nets ◽

Software Testing ◽

Coloured Petri Nets ◽

Model Based

Download Full-text

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

How to Be Sure a Faulty System Does Not Always Appear Healthy?

The State of Fault Injection Vulnerability Detection

Orchestration Synthesis for Real-Time Service Contracts

Modelling and Verification of Dynamic Role-Based Access Control

Analysis of a Road/Tramway Intersection by the ORIS Tool

Exploiting Local Persistency for Reduced State Space Generation

Toward Implicit Learning for the Compositional Verification of Markov Decision Processes

Improving Parallel State-Space Exploration Using Genetic Algorithms

Replacing Store Buffers by Load Buffers in TSO

MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems
Latest Publications