Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030034207, 9783030034214

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Correction to: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_31 ◽

2019 ◽

pp. C1-C1

Author(s):

Ashalatha Kunnappilly ◽

Raluca Marinescu ◽

Cristina Seceleanu

Keyword(s):

Model Checking ◽

Statistical Model ◽

Assisted Living ◽

Ambient Assisted Living ◽

Statistical Model Checking

Download Full-text

Strategy Selection for Software Verification Based on Boolean Features

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_11 ◽

2018 ◽

pp. 144-159 ◽

Cited By ~ 5

Author(s):

Dirk Beyer ◽

Matthias Dangl

Keyword(s):

Software Verification ◽

Strategy Selection ◽

Selection For

Download Full-text

On the Sequential Massart Algorithm for Statistical Model Checking

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_19 ◽

2018 ◽

pp. 287-304 ◽

Cited By ~ 2

Author(s):

Cyrille Jegourel ◽

Jun Sun ◽

Jin Song Dong

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

Chasing Errors Using Biasing Automata

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_18 ◽

2018 ◽

pp. 271-286 ◽

Cited By ~ 1

Author(s):

Lei Bu ◽

Doron Peled ◽

Dashuan Shen ◽

Yael Tzirulnikov

Download Full-text

Runtime and Memory Evaluation of Data Race Detection Tools

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_13 ◽

2018 ◽

pp. 179-196 ◽

Cited By ~ 3

Author(s):

Pei-Hung Lin ◽

Chunhua Liao ◽

Markus Schordan ◽

Ian Karlin

Keyword(s):

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Evaluation Of Data

Download Full-text

Statistical Model Checking of Processor Systems in Various Interrupt Scenarios

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_26 ◽

2018 ◽

pp. 414-429 ◽

Cited By ~ 1

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_1 ◽

2018 ◽

pp. 3-7

Author(s):

Wolfgang Ahrendt ◽

Marieke Huisman ◽

Giles Reger ◽

Kristin Yvonne Rozier

Download Full-text

Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_22 ◽

2018 ◽

pp. 336-353 ◽

Cited By ~ 8

Author(s):

Pedro R. D’Argenio ◽

Arnd Hartmanns ◽

Sean Sedwards

Keyword(s):

Model Checking ◽

Statistical Model ◽

Continuous Time ◽

Statistical Model Checking

Download Full-text

Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_9 ◽

2018 ◽

pp. 120-136 ◽

Cited By ~ 1

Author(s):

Falk Howar ◽

Dimitra Giannakopoulou ◽

Malte Mues ◽

Jorge A. Navas

Keyword(s):

Symbolic Analysis ◽

Runtime Monitoring

Download Full-text

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_2 ◽

2018 ◽

pp. 8-27 ◽

Cited By ~ 15

Author(s):

Borzoo Bonakdarpour ◽

Cesar Sanchez ◽

Gerardo Schneider

Keyword(s):

Static Analysis ◽

Runtime Verification

Download Full-text

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Correction to: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking

Strategy Selection for Software Verification Based on Boolean Features

On the Sequential Massart Algorithm for Statistical Model Checking

Chasing Errors Using Biasing Automata

Runtime and Memory Evaluation of Data Race Detection Tools

Statistical Model Checking of Processor Systems in Various Interrupt Scenarios

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science
Latest Publications