Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030024499, 9783030024505

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Building a Generic Vulnerability Detection Platform by Combining Scalable Attacking Surface Analysis and Directed Fuzzing

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_36 ◽

2018 ◽

pp. 464-468

Author(s):

Xiaoning Du

Keyword(s):

Surface Analysis ◽

Vulnerability Detection

Download Full-text

Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_30 ◽

2018 ◽

pp. 436-440

Author(s):

Dileepa Fernando

Keyword(s):

Distributed Systems ◽

Nash Equilibrium ◽

Model Checking ◽

Automatic Verification

Download Full-text

The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_4 ◽

2018 ◽

pp. 54-69 ◽

Cited By ~ 1

Author(s):

Teck Ping Khoo ◽

Jun Sun

Keyword(s):

Formal Methods

Download Full-text

Strongly Typed Numerical Computations

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_12 ◽

2018 ◽

pp. 197-214

Author(s):

Matthieu Martel

Keyword(s):

Numerical Computations

Download Full-text

Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_31 ◽

2018 ◽

pp. 441-445 ◽

Cited By ~ 1

Author(s):

Kailong Wang

Keyword(s):

Security And Privacy ◽

Authentication Protocols ◽

Design And Implementation

Download Full-text

Modeling and Verification of Component Connectors

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_26 ◽

2018 ◽

pp. 419-422

Author(s):

Xiyue Zhang

Download Full-text

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_15 ◽

2018 ◽

pp. 251-269 ◽

Cited By ~ 5

Author(s):

Diego Marmsoler

Keyword(s):

Design Patterns ◽

Architectural Design

Download Full-text

Model Based Testing of Cyber-Physical Systems

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_27 ◽

2018 ◽

pp. 423-426

Author(s):

Teck Ping Khoo

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Model Based ◽

Model Based Testing

Download Full-text

Model Checking of C++ Programs Under the x86-TSO Memory Model

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_8 ◽

2018 ◽

pp. 124-140 ◽

Cited By ~ 1

Author(s):

Vladimír Štill ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Memory Model ◽

C Programs

Download Full-text

Engineering a Theory of Concurrent Programming

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_1 ◽

2018 ◽

pp. 3-18

Author(s):

Ian J. Hayes

Keyword(s):

Concurrent Programming

Download Full-text

Formal Methods and Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Towards Building a Generic Vulnerability Detection Platform by Combining Scalable Attacking Surface Analysis and Directed Fuzzing

Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems

The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System

Strongly Typed Numerical Computations

Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols

Modeling and Verification of Component Connectors

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL

Model Based Testing of Cyber-Physical Systems

Model Checking of C++ Programs Under the x86-TSO Memory Model

Engineering a Theory of Concurrent Programming

Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications