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

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783030024499, 9783030024505

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Author(s):

Teck Ping Khoo ◽

Jun Sun

Keyword(s):

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 ◽

Author(s):

Kailong Wang

Keyword(s):

Security And Privacy ◽

Authentication Protocols ◽

Design And Implementation

Download Full-text

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

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

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 ◽

Author(s):

Vladimír Štill ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Memory Model ◽

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

Towards Trustworthy AI for Autonomous Systems

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

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

2018 ◽

pp. 407-411

Author(s):

Hadrien Bride ◽

Jin Song Dong ◽

Zhé Hóu ◽

Brendan Mahony ◽

Martin Oxenham

Keyword(s):

Autonomous Systems

Download Full-text

Security Analysis of Smart Home Implementations

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

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

2018 ◽

pp. 450-454

Author(s):

Kulani Mahadewa

Keyword(s):

Security Analysis

Download Full-text