Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319406473, 9783319406480

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_19 ◽

2016 ◽

pp. 237-254 ◽

Cited By ~ 4

Author(s):

Shaobo He ◽

Shuvendu K. Lahiri ◽

Zvonimir Rakamarić

Keyword(s):

Relative Safety

Download Full-text

Obfuscator Synthesis for Privacy and Utility

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_11 ◽

2016 ◽

pp. 133-149 ◽

Cited By ~ 8

Author(s):

Yi-Chin Wu ◽

Vasumathi Raman ◽

Stéphane Lafortune ◽

Sanjit A. Seshia

Download Full-text

Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_23 ◽

2016 ◽

pp. 307-321 ◽

Cited By ~ 5

Author(s):

Julian Brunner ◽

Peter Lammich

Keyword(s):

Formal Verification ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Model Checker

Download Full-text

Code Generation Using a Formal Model of Reference Counting

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_12 ◽

2016 ◽

pp. 150-165 ◽

Cited By ~ 1

Author(s):

Gaspard Férey ◽

Natarajan Shankar

Keyword(s):

Code Generation ◽

Formal Model ◽

Reference Counting

Download Full-text

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_10 ◽

2016 ◽

pp. 117-132 ◽

Cited By ~ 11

Author(s):

Susmit Jha ◽

Vasumathi Raman

Keyword(s):

Autonomous Vehicle ◽

Vehicle Control ◽

Automated Synthesis

Download Full-text

Improving an Industrial Test Generation Tool Using SMT Solver

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_8 ◽

2016 ◽

pp. 100-106

Author(s):

Hao Ren ◽

Devesh Bhatt ◽

Jan Hvozdovic

Keyword(s):

Test Generation ◽

Industrial Test ◽

Smt Solver

Download Full-text

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_6 ◽

2016 ◽

pp. 65-81 ◽

Cited By ~ 8

Author(s):

Meng Wu ◽

Haibo Zeng ◽

Chao Wang

Keyword(s):

Safety Properties ◽

Burst Error

Download Full-text

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_22 ◽

2016 ◽

pp. 291-306 ◽

Cited By ~ 4

Author(s):

Clément Fumex ◽

Claire Dross ◽

Jens Gerlach ◽

Claude Marché

Keyword(s):

Functional Properties ◽

High Level

Download Full-text

From Design Contracts to Component Requirements Verification

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_28 ◽

2016 ◽

pp. 373-387 ◽

Cited By ~ 2

Author(s):

Jing Liu ◽

John D. Backes ◽

Darren Cofer ◽

Andrew Gacek

Keyword(s):

Requirements Verification

Download Full-text

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_14 ◽

2016 ◽

pp. 175-190 ◽

Cited By ~ 11

Author(s):

Albert Rizaldi ◽

Fabian Immler ◽

Matthias Althoff

Keyword(s):

Autonomous Vehicles ◽

Safe Distance ◽

Traffic Rules

Download Full-text

Lecture Notes in Computer Science - NASA Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

Obfuscator Synthesis for Privacy and Utility

Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

Code Generation Using a Formal Model of Reference Counting

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty

Improving an Industrial Test Generation Tool Using SMT Solver

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

From Design Contracts to Component Requirements Verification

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications