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 Berlin Heidelberg

9783642244308, 9783642244315

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP

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

10.1007/978-3-642-24431-5_14 ◽

2011 ◽

pp. 180-195 ◽

Cited By ~ 4

Author(s):

Etienne Lantreibecq ◽

Wendelin Serwe

Keyword(s):

Model Checking ◽

Dynamic Task

Download Full-text

Formal Safety Analysis in Industrial Practice

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

10.1007/978-3-642-24431-5_7 ◽

2011 ◽

pp. 68-84 ◽

Cited By ~ 1

Author(s):

Ilyas Daskaya ◽

Michaela Huhn ◽

Stefan Milius

Keyword(s):

Safety Analysis ◽

Industrial Practice

Download Full-text

Towards Trustworthy Aerospace Systems: An Experience Report

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

10.1007/978-3-642-24431-5_1 ◽

2011 ◽

pp. 1-4

Author(s):

Joost-Pieter Katoen

Keyword(s):

Experience Report ◽

Aerospace Systems

Download Full-text

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

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

10.1007/978-3-642-24431-5_18 ◽

2011 ◽

pp. 244-259 ◽

Cited By ~ 5

Author(s):

Ahmed Shah Mashiyat ◽

Fazle Rabbi ◽

Wendy MacCaull

Keyword(s):

Health Care

Download Full-text

Formal Analysis of a Triplex Sensor Voter in an Industrial Context

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

10.1007/978-3-642-24431-5_9 ◽

2011 ◽

pp. 102-116 ◽

Cited By ~ 4

Author(s):

Michael Dierkes

Keyword(s):

Formal Analysis ◽

Industrial Context

Download Full-text

A SAT-Based Approach for the Construction of Reusable Control System Components

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

10.1007/978-3-642-24431-5_6 ◽

2011 ◽

pp. 52-67 ◽

Cited By ~ 1

Author(s):

Daniel Côté ◽

Benoît Fraikin ◽

Marc Frappier ◽

Richard St-Denis

Keyword(s):

Control System ◽

System Components

Download Full-text

Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study

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

10.1007/978-3-642-24431-5_16 ◽

2011 ◽

pp. 212-227

Author(s):

Naghmeh Ghafari ◽

Ramana Kumar ◽

Jeff Joyce ◽

Bernd Dehning ◽

Christos Zamantzas

Keyword(s):

Data Processing ◽

Formal Verification ◽

Real Time ◽

Monitoring System ◽

Time Data ◽

Beam Loss ◽

System A ◽

Real Time Data ◽

Real Time Data Processing

Download Full-text

Performability Measure Specification: Combining CSRL and MSL

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

10.1007/978-3-642-24431-5_13 ◽

2011 ◽

pp. 165-179 ◽

Cited By ~ 2

Author(s):

Alessandro Aldini ◽

Marco Bernardo ◽

Jeremy Sproston

Download Full-text

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

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

10.1007/978-3-642-24431-5_12 ◽

2011 ◽

pp. 149-164 ◽

Cited By ~ 4

Author(s):

Matthias Büker ◽

Werner Damm ◽

Günter Ehmen ◽

Ingo Stierand

Keyword(s):

Matlab Simulink

Download Full-text

Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy

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

10.1007/978-3-642-24431-5_17 ◽

2011 ◽

pp. 228-243 ◽

Cited By ~ 4

Author(s):

Joachim Klein ◽

Sascha Klüppelholz ◽

Andries Stam ◽

Christel Baier

Keyword(s):

Formal Verification ◽

Hierarchical Modeling ◽

Industrial Case Study

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP

Formal Safety Analysis in Industrial Practice

Towards Trustworthy Aerospace Systems: An Experience Report

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

Formal Analysis of a Triplex Sensor Voter in an Industrial Context

A SAT-Based Approach for the Construction of Reusable Control System Components

Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study

Performability Measure Specification: Combining CSRL and MSL

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy

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