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

TOTAL DOCUMENTS

(FIVE YEARS 16)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030837228, 9783030837235

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Engineering of Digital Twins for Cyber-Physical Systems

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

10.1007/978-3-030-83723-5_4 ◽

2021 ◽

pp. 49-53

Author(s):

John Fitzgerald ◽

Peter Gorm Larsen ◽

Tiziana Margaria ◽

Jim Woodcock

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Digital Twins

Download Full-text

Designing Distributed Control with Hybrid Active Objects

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

10.1007/978-3-030-83723-5_7 ◽

2021 ◽

pp. 88-108

Author(s):

Eduard Kamburjan ◽

Rudolf Schlatte ◽

Einar Broch Johnsen ◽

Silvia Lizeth Tapia Tarifa

Keyword(s):

Distributed Control ◽

Active Objects

Download Full-text

Software Verification Tools (Track Introduction)

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

10.1007/978-3-030-83723-5_12 ◽

2021 ◽

pp. 177-181

Author(s):

Markus Schordan ◽

Dirk Beyer ◽

Irena Bojanova

Keyword(s):

Software Verification ◽

Verification Tools

Download Full-text

Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site

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

10.1007/978-3-030-83723-5_11 ◽

2021 ◽

pp. 153-174

Author(s):

Beidi Li ◽

Rasmus O. Nielsen ◽

Karsten W. Johansen ◽

Jochen Teizer ◽

Peter Gorm Larsen ◽

...

Keyword(s):

Safety Analysis ◽

Construction Site ◽

Digital Twins

Download Full-text

TraceVis: Towards Visualization for Deep Statistical Model Checking

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

10.1007/978-3-030-83723-5_3 ◽

2021 ◽

pp. 27-46

Author(s):

Timo P. Gros ◽

David Groß ◽

Stefan Gumhold ◽

Jörg Hoffmann ◽

Michaela Klauck ◽

...

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

Engineering a Digital Twin for Manual Assembling

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

10.1007/978-3-030-83723-5_10 ◽

2021 ◽

pp. 140-152

Author(s):

Alexandru Matei ◽

Nicolae-Adrian Ţocu ◽

Constantin-Bălă Zamfirescu ◽

Arpad Gellert ◽

Mihai Neghină

Keyword(s):

Digital Twin

Download Full-text

Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs

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

10.1007/978-3-030-83723-5_14 ◽

2021 ◽

pp. 199-215 ◽

Cited By ~ 1

Author(s):

Michael Bar-Sinai ◽

Gera Weiss

Keyword(s):

Safety Properties

Download Full-text

Benchmarking Open-Source Static Analyzers for Security Testing for C

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

10.1007/978-3-030-83723-5_13 ◽

2021 ◽

pp. 182-198 ◽

Cited By ~ 1

Author(s):

Christoph Gentsch ◽

Rohan Krishnamurthy ◽

Thomas S. Heinze

Keyword(s):

Open Source ◽

Security Testing

Download Full-text

Towards a Digital Twin - Modelling an Agricultural Vehicle

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

10.1007/978-3-030-83723-5_8 ◽

2021 ◽

pp. 109-123

Author(s):

Frederik F. Foldager ◽

Casper Thule ◽

Ole Balling ◽

PeterGorm Larsen

Keyword(s):

Digital Twin ◽

Agricultural Vehicle

Download Full-text

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

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

10.1007/978-3-030-83723-5_5 ◽

2021 ◽

pp. 54-71

Author(s):

Tao Yue ◽

Paolo Arcaini ◽

Shaukat Ali

Keyword(s):

Conceptual Model ◽

Cyber Physical Systems ◽

Physical Systems ◽

Digital Twins

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Engineering of Digital Twins for Cyber-Physical Systems

Designing Distributed Control with Hybrid Active Objects

Software Verification Tools (Track Introduction)

Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site

TraceVis: Towards Visualization for Deep Statistical Model Checking

Engineering a Digital Twin for Manual Assembling

Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs

Benchmarking Open-Source Static Analyzers for Security Testing for C

Towards a Digital Twin - Modelling an Agricultural Vehicle

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

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