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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030034269, 9783030034276

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Digital Transformation Trends: Industry 4.0, Automation, and AI

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

10.1007/978-3-030-03427-6_34 ◽

2018 ◽

pp. 469-471

Author(s):

Axel Hessenkämper ◽

Falk Howar ◽

Andreas Rausch

Keyword(s):

Industry 4.0 ◽

Digital Transformation

Download Full-text

Pitfalls in Applying Model Learning to Industrial Legacy Software

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

10.1007/978-3-030-03427-6_13 ◽

2018 ◽

pp. 121-138 ◽

Cited By ~ 4

Author(s):

Omar al Duhaiby ◽

Arjan Mooij ◽

Hans van Wezep ◽

Jan Friso Groote

Keyword(s):

Model Learning ◽

Legacy Software

Download Full-text

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)

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

10.1007/978-3-030-03427-6_1 ◽

2018 ◽

pp. 3-8

Author(s):

Ezio Bartocci ◽

Yliès Falcone

Keyword(s):

Runtime Verification ◽

Industry Practice

Download Full-text

Scalability of Deductive Verification Depends on Method Call Treatment

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

10.1007/978-3-030-03427-6_15 ◽

2018 ◽

pp. 159-175 ◽

Cited By ~ 4

Author(s):

Alexander Knüppel ◽

Thomas Thüm ◽

Carsten Padylla ◽

Ina Schaefer

Keyword(s):

Deductive Verification

Download Full-text

GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models

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

10.1007/978-3-030-03427-6_37 ◽

2018 ◽

pp. 504-527 ◽

Cited By ~ 3

Author(s):

Barbara Steffen ◽

Steve Boßelmann

Keyword(s):

Business Models ◽

Global Organization

Download Full-text

Flexible Monitor Deployment for Runtime Verification of Large Scale Software

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

10.1007/978-3-030-03427-6_6 ◽

2018 ◽

pp. 42-50 ◽

Cited By ~ 4

Author(s):

Teng Zhang ◽

Gregory Eakman ◽

Insup Lee ◽

Oleg Sokolsky

Keyword(s):

Large Scale ◽

Runtime Verification

Download Full-text

A Language-Independent Approach to Smart Contract Verification

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

10.1007/978-3-030-03427-6_30 ◽

2018 ◽

pp. 405-413 ◽

Cited By ~ 4

Author(s):

Xiaohong Chen ◽

Daejun Park ◽

Grigore Roşu

Keyword(s):

Smart Contract

Download Full-text

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions

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

10.1007/978-3-030-03427-6_21 ◽

2018 ◽

pp. 275-279

Author(s):

César Sánchez ◽

Gerardo Schneider ◽

Martin Leucker

Keyword(s):

State Of The Art ◽

Smart Contracts ◽

Future Directions

Download Full-text

Formal Verification in Automotive Industry: Enablers and Obstacles

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

10.1007/978-3-030-03427-6_14 ◽

2018 ◽

pp. 139-158 ◽

Cited By ~ 6

Author(s):

Mattias Nyberg ◽

Dilian Gurov ◽

Christian Lidström ◽

Andreas Rasmusson ◽

Jonas Westman

Keyword(s):

Formal Verification ◽

Automotive Industry

Download Full-text

Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap

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

10.1007/978-3-030-03427-6_29 ◽

2018 ◽

pp. 389-404

Author(s):

Yoichi Hirai

Keyword(s):

Kripke Models

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Digital Transformation Trends: Industry 4.0, Automation, and AI

Pitfalls in Applying Model Learning to Industrial Legacy Software

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)

Scalability of Deductive Verification Depends on Method Call Treatment

GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models

Flexible Monitor Deployment for Runtime Verification of Large Scale Software

A Language-Independent Approach to Smart Contract Verification

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions

Formal Verification in Automotive Industry: Enablers and Obstacles

Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap

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