Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030002435, 9783030002442

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

M3C: Modal Meta Model Checking

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_15 ◽

2018 ◽

pp. 223-241 ◽

Cited By ~ 5

Author(s):

Bernhard Steffen ◽

Alnis Murtovi

Keyword(s):

Model Checking ◽

Meta Model

Download Full-text

Active Mining of Document Type Definitions

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_10 ◽

2018 ◽

pp. 147-161 ◽

Cited By ~ 3

Author(s):

Markus Frohme ◽

Bernhard Steffen

Keyword(s):

Document Type

Download Full-text

Compositional Verification in Action

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_13 ◽

2018 ◽

pp. 189-210 ◽

Cited By ~ 5

Author(s):

Hubert Garavel ◽

Frédéric Lang ◽

Laurent Mounier

Keyword(s):

Compositional Verification

Download Full-text

Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_1 ◽

2018 ◽

pp. 3-18 ◽

Cited By ~ 4

Author(s):

Tiziana Margaria

Keyword(s):

System Design ◽

Generative Model ◽

Model Driven

Download Full-text

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_18 ◽

2018 ◽

pp. 269-283 ◽

Cited By ~ 1

Author(s):

Iulian Ober

Keyword(s):

Timed Automata ◽

Reachability Analysis

Download Full-text

Wholly!: A Build System For The Modern Software Stack

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_16 ◽

2018 ◽

pp. 242-257 ◽

Cited By ~ 1

Author(s):

Loic Gelle ◽

Hassen Saidi ◽

Ashish Gehani

Keyword(s):

Build System

Download Full-text

Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_9 ◽

2018 ◽

pp. 131-146

Author(s):

Jan Steffen Becker

Keyword(s):

Model Checker ◽

Virtual Integration

Download Full-text

A Note on Refinement in Hierarchical Transition Systems

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_14 ◽

2018 ◽

pp. 211-222 ◽

Cited By ~ 1

Author(s):

Gerald Lüttgen

Keyword(s):

Transition Systems

Download Full-text

Automated Functional Safety Analysis of Automated Driving Systems

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_3 ◽

2018 ◽

pp. 35-51 ◽

Cited By ~ 1

Author(s):

Martin Kölbl ◽

Stefan Leue

Keyword(s):

Safety Analysis ◽

Functional Safety ◽

Automated Driving

Download Full-text

Safety Interlocking as a Distributed Mutual Exclusion Problem

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_4 ◽

2018 ◽

pp. 52-66 ◽

Cited By ~ 5

Author(s):

Alessandro Fantechi ◽

Anne E. Haxthausen

Keyword(s):

Mutual Exclusion ◽

Exclusion Problem ◽

Distributed Mutual Exclusion

Download Full-text

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

M3C: Modal Meta Model Checking

Active Mining of Document Type Definitions

Compositional Verification in Action

Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

Wholly!: A Build System For The Modern Software Stack

Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker

A Note on Refinement in Hierarchical Transition Systems

Automated Functional Safety Analysis of Automated Driving Systems

Safety Interlocking as a Distributed Mutual Exclusion Problem

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications