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

TOTAL DOCUMENTS

(FIVE YEARS 32)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030613617, 9783030613624

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification and Validation of Concurrent and Distributed Systems (Track Summary)

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

10.1007/978-3-030-61362-4_24 ◽

2020 ◽

pp. 421-425

Author(s):

Marieke Huisman ◽

Cristina Seceleanu

Keyword(s):

Distributed Systems ◽

Verification And Validation ◽

Concurrent And Distributed Systems

Download Full-text

Improving Secure and Robust Patient Service Delivery

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

10.1007/978-3-030-61362-4_23 ◽

2020 ◽

pp. 404-418 ◽

Cited By ~ 1

Author(s):

Eduard Baranov ◽

Thomas Given-Wilson ◽

Axel Legay

Keyword(s):

Service Delivery ◽

Patient Service

Download Full-text

Scaling Correctness-by-Construction

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

10.1007/978-3-030-61362-4_10 ◽

2020 ◽

pp. 187-207

Author(s):

Alexander Knüppel ◽

Tobias Runge ◽

Ina Schaefer

Download Full-text

Who Carries the Burden of Modularity?

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

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

2020 ◽

pp. 3-21

Author(s):

Dilian Gurov ◽

Reiner Hähnle ◽

Eduard Kamburjan

Download Full-text

Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation

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

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

2020 ◽

pp. 543-557

Author(s):

Fernando Pastor Ricós ◽

Pekka Aho ◽

Tanja Vos ◽

Ismael Torres Boigues ◽

Ernesto Calás Blasco ◽

...

Keyword(s):

Remote Testing ◽

Case Based

Download Full-text

Fluid Model-Checking in UPPAAL for Covid-19

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

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

2020 ◽

pp. 385-403 ◽

Cited By ~ 1

Author(s):

Peter G. Jensen ◽

Kenneth Y. Jørgensen ◽

Kim G. Larsen ◽

Marius Mikučionis ◽

Marco Muñiz ◽

...

Keyword(s):

Model Checking ◽

Fluid Model

Download Full-text

Probabilistic Mission Planning and Analysis for Multi-agent Systems

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

10.1007/978-3-030-61362-4_20 ◽

2020 ◽

pp. 350-367 ◽

Cited By ~ 1

Author(s):

Rong Gu ◽

Eduard Enoiu ◽

Cristina Seceleanu ◽

Kristina Lundqvist

Keyword(s):

Mission Planning ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Statistical Model Checking: Black or White?

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

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

2020 ◽

pp. 331-349 ◽

Cited By ~ 1

Author(s):

Pranav Ashok ◽

Przemysław Daca ◽

Jan Křetínský ◽

Maximilian Weininger

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

Behavioral Specification Theories: An Algebraic Taxonomy

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

10.1007/978-3-030-61362-4_14 ◽

2020 ◽

pp. 262-274 ◽

Cited By ~ 1

Author(s):

Uli Fahrenberg ◽

Axel Legay

Download Full-text

On Slicing Software Product Line Signatures

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

10.1007/978-3-030-61362-4_5 ◽

2020 ◽

pp. 81-102

Author(s):

Ferruccio Damiani ◽

Michael Lienhardt ◽

Luca Paolini

Keyword(s):

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Verification and Validation of Concurrent and Distributed Systems (Track Summary)

Improving Secure and Robust Patient Service Delivery

Scaling Correctness-by-Construction

Who Carries the Burden of Modularity?

Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation

Fluid Model-Checking in UPPAAL for Covid-19

Probabilistic Mission Planning and Analysis for Multi-agent Systems

Statistical Model Checking: Black or White?

Behavioral Specification Theories: An Algebraic Taxonomy

On Slicing Software Product Line Signatures

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