Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319459424, 9783319459431

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract Interpretation of MATLAB Code with Interval Sets

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_2 ◽

2016 ◽

pp. 25-38

Author(s):

Christian Dernehl ◽

Norman Hansen ◽

Stefan Kowalewski

Keyword(s):

Abstract Interpretation ◽

Matlab Code

Download Full-text

Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_14 ◽

2016 ◽

pp. 205-213

Author(s):

Philip Johnson-Freyd ◽

Geoffrey C. Hulette ◽

Zena M. Ariola

Keyword(s):

Critical System ◽

Safety Critical ◽

Safety Critical System

Download Full-text

Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_11 ◽

2016 ◽

pp. 150-167 ◽

Cited By ~ 2

Author(s):

Axel Habermaier ◽

Johannes Leupolz ◽

Wolfgang Reif

Keyword(s):

Formal Analysis ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_5 ◽

2016 ◽

pp. 65-80

Author(s):

Takuro Kutsuna ◽

Yoshinao Ishii

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Verification of AUTOSAR Software Architectures with Timed Automata

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_13 ◽

2016 ◽

pp. 189-204 ◽

Cited By ~ 1

Author(s):

Steffen Beringer ◽

Heike Wehrheim

Keyword(s):

Timed Automata ◽

Software Architectures

Download Full-text

Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_10 ◽

2016 ◽

pp. 142-149 ◽

Cited By ~ 3

Author(s):

Irina Măriuca Asăvoae ◽

Hoang Nga Nguyen ◽

Markus Roggenbach ◽

Siraj Shaikh

Keyword(s):

Collusion Detection ◽

Android Applications

Download Full-text

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_7 ◽

2016 ◽

pp. 97-114 ◽

Cited By ~ 1

Author(s):

Axel Habermaier ◽

Alexander Knapp ◽

Johannes Leupolz ◽

Wolfgang Reif

Keyword(s):

Safety Analysis

Download Full-text

One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_4 ◽

2016 ◽

pp. 56-64 ◽

Cited By ~ 2

Author(s):

Mahmoud Mohsen ◽

Bart Jacobs

Keyword(s):

Formal Specifications ◽

One Step ◽

Automatic Inference

Download Full-text

Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_15 ◽

2016 ◽

pp. 214-230 ◽

Cited By ~ 1

Author(s):

Somsak Vanit-Anunchai

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Signalling System ◽

Railway Signalling

Download Full-text

Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_1 ◽

2016 ◽

pp. 3-21 ◽

Cited By ~ 3

Author(s):

Jan Peleska ◽

Wen-ling Huang

Keyword(s):

Model Based ◽

Testing Strategies ◽

Model Based Testing

Download Full-text

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Abstract Interpretation of MATLAB Code with Interval Sets

Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System

Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with

Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing

Verification of AUTOSAR Software Architectures with Timed Automata

Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis

One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast

Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System

Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification
Latest Publications