Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer International Publishing

9783319779348, 9783319779355

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Distributed Model Checking Using ProB

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_18 ◽

2018 ◽

pp. 244-260 ◽

Author(s):

Philipp Körner ◽

Jens Bendisposto

Keyword(s):

Model Checking ◽

Distributed Model ◽

Distributed Model Checking

Download Full-text

An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_12 ◽

2018 ◽

pp. 164-178

Author(s):

Ansgar Fehnker ◽

Kaylash Chaudhary ◽

Vinay Mehta

Keyword(s):

Formal Modelling

Download Full-text

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_10 ◽

2018 ◽

pp. 139-156 ◽

Author(s):

Yassmeen Elderhalli ◽

Osman Hasan ◽

Waqar Ahmad ◽

Sofiène Tahar

Keyword(s):

Model Checking ◽

Theorem Proving ◽

Download Full-text

Don’t Miss the End: Preventing Unsafe End-of-File Comparisons

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_6 ◽

2018 ◽

pp. 87-94 ◽

Author(s):

Charles Zhuo Chen ◽

Werner Dietl

Download Full-text

Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_29 ◽

2018 ◽

pp. 435-451 ◽

Author(s):

Miguel Romero ◽

Camilo Rocha

Keyword(s):

Symbolic Execution ◽

Reachability Analysis ◽

Constraint Systems

Download Full-text

Formal Assurance for Cooperative Intelligent Autonomous Agents

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_2 ◽

2018 ◽

pp. 20-36

Author(s):

Siddhartha Bhattacharyya ◽

Thomas C. Eskridge ◽

Natasha A. Neogi ◽

Marco Carvalho ◽

Milton Stafford

Keyword(s):

Autonomous Agents

Download Full-text

On the Timed Analysis of Big-Data Applications

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_22 ◽

2018 ◽

pp. 315-332 ◽

Author(s):

Francesco Marconi ◽

Giovanni Quattrocchi ◽

Luciano Baresi ◽

Marcello M. Bersani ◽

Matteo Rossi

Keyword(s):

Big Data ◽

Big Data Applications

Download Full-text

Certified Foata Normalization for Generalized Traces

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_21 ◽

2018 ◽

pp. 299-314

Author(s):

Hendrik Maarand ◽

Tarmo Uustalu

Download Full-text

Optimal Storage of Combinatorial State Spaces

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_19 ◽

2018 ◽

pp. 261-279 ◽

Author(s):

Alfons Laarman

Keyword(s):

Download Full-text

An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_7 ◽

2018 ◽

pp. 95-112 ◽

Author(s):

Flavio M. De Paula ◽

Arvind Haran ◽

Brad Bingham

Keyword(s):

Symmetric Systems

Download Full-text