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

9783319107011, 9783319107028

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Validation of an Interlocking System by Model-Checking

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

10.1007/978-3-319-10702-8_7 ◽

2014 ◽

pp. 94-108 ◽

Cited By ~ 3

Author(s):

Andrea Bonacchi ◽

Alessandro Fantechi

Keyword(s):

Model Checking

Download Full-text

Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation

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

10.1007/978-3-319-10702-8_13 ◽

2014 ◽

pp. 185-199 ◽

Cited By ~ 5

Author(s):

Brian Campbell ◽

Ian Stark

Keyword(s):

Smt Solver ◽

State Generation

Download Full-text

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip

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

10.1007/978-3-319-10702-8_4 ◽

2014 ◽

pp. 48-62 ◽

Cited By ~ 1

Author(s):

Zhen Zhang ◽

Wendelin Serwe ◽

Jian Wu ◽

Tomohiro Yoneda ◽

Hao Zheng ◽

...

Keyword(s):

Fault Tolerant ◽

Formal Analysis ◽

Routing Algorithm ◽

Network On Chip ◽

On Chip

Download Full-text

Improving Static Analyses of C Programs with Conditional Predicates

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

10.1007/978-3-319-10702-8_10 ◽

2014 ◽

pp. 140-154 ◽

Cited By ~ 1

Author(s):

Sandrine Blazy ◽

David Bühler ◽

Boris Yakobowski

Keyword(s):

C Programs

Download Full-text

Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface

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

10.1007/978-3-319-10702-8_2 ◽

2014 ◽

pp. 16-32 ◽

Cited By ~ 6

Author(s):

Thang Nguyen ◽

Dejan Ničković

Keyword(s):

Sensor Interface

Download Full-text

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems

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

10.1007/978-3-319-10702-8_1 ◽

2014 ◽

pp. 1-15 ◽

Cited By ~ 5

Author(s):

Muhammad Ahmad ◽

Osman Hasan

Keyword(s):

Steady State ◽

Feedback Control ◽

Formal Verification ◽

Control Systems ◽

Feedback Control Systems

Download Full-text

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements

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

10.1007/978-3-319-10702-8_11 ◽

2014 ◽

pp. 155-169 ◽

Cited By ~ 8

Author(s):

Christian Ellen ◽

Sven Sieverding ◽

Hardi Hungar

Keyword(s):

Functional Requirements

Download Full-text

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

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

10.1007/978-3-319-10702-8_3 ◽

2014 ◽

pp. 33-47 ◽

Cited By ~ 1

Author(s):

Pontus Boström ◽

Petr Alexeev ◽

Mikko Heikkilä ◽

Mikko Huova ◽

Marina Waldén ◽

...

Keyword(s):

Real Time ◽

Power Management ◽

Management System ◽

Hydraulic Power ◽

Power Management System

Download Full-text

Learning Fragments of the TCP Network Protocol

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

10.1007/978-3-319-10702-8_6 ◽

2014 ◽

pp. 78-93 ◽

Cited By ~ 14

Author(s):

Paul Fiterău-Broştean ◽

Ramon Janssen ◽

Frits Vaandrager

Keyword(s):

Network Protocol ◽

Tcp Network

Download Full-text

Formal Specification and Verification of TCP Extended with the Window Scale Option

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

10.1007/978-3-319-10702-8_5 ◽

2014 ◽

pp. 63-77 ◽

Cited By ~ 2

Author(s):

Lars Lockefeer ◽

David M. Williams ◽

Wan J. Fokkink

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On the Validation of an Interlocking System by Model-Checking

Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip

Improving Static Analyses of C Programs with Conditional Predicates

Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Learning Fragments of the TCP Network Protocol

Formal Specification and Verification of TCP Extended with the Window Scale Option

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