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

9783030206512, 9783030206529

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extracting and Optimizing Formally Verified Code for Systems Programming

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_15 ◽

2019 ◽

pp. 228-236

Author(s):

Eleftherios Ioannidis ◽

Frans Kaashoek ◽

Nickolai Zeldovich

Keyword(s):

Systems Programming

Download Full-text

Towards Full Proof Automation in Frama-C Using Auto-active Verification

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_6 ◽

2019 ◽

pp. 88-105 ◽

Cited By ~ 2

Author(s):

Allan Blanchard ◽

Frédéric Loulergue ◽

Nikolai Kosmatov

Keyword(s):

Proof Automation ◽

Full Proof

Download Full-text

Practical Causal Models for Cyber-Physical Systems

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_14 ◽

2019 ◽

pp. 211-227 ◽

Cited By ~ 4

Author(s):

Amjad Ibrahim ◽

Severin Kacianka ◽

Alexander Pretschner ◽

Charles Hartsell ◽

Gabor Karsai

Keyword(s):

Cyber Physical Systems ◽

Causal Models ◽

Physical Systems

Download Full-text

Using Standard Typing Algorithms Incrementally

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_7 ◽

2019 ◽

pp. 106-122 ◽

Cited By ~ 1

Author(s):

Matteo Busi ◽

Pierpaolo Degano ◽

Letterio Galletta

Download Full-text

Formal Methods Assisted Training of Safe Reinforcement Learning Agents

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_22 ◽

2019 ◽

pp. 333-340

Author(s):

Anitha Murugesan ◽

Mohammad Moghadamfalahi ◽

Arunabh Chattopadhyay

Keyword(s):

Reinforcement Learning ◽

Formal Methods ◽

Learning Agents

Download Full-text

Transaction Protocol Verification with Labeled Synchronization Logic

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_19 ◽

2019 ◽

pp. 280-297

Author(s):

Mohsen Lesani

Keyword(s):

Protocol Verification

Download Full-text

Design and Runtime Verification Side-by-Side in eTrice

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_17 ◽

2019 ◽

pp. 255-262

Author(s):

Sudeep Kanav ◽

Levi Lúcio ◽

Christian Hilden ◽

Thomas Schuetz

Keyword(s):

Runtime Verification

Download Full-text

Using Binary Analysis Frameworks: The Case for BAP and angr

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_8 ◽

2019 ◽

pp. 123-129

Author(s):

Chris Casinghino ◽

J. T. Paasch ◽

Cody Roux ◽

John Altidor ◽

Michael Dixon ◽

...

Keyword(s):

Binary Analysis

Download Full-text

Towards a Two-Layer Framework for Verifying Autonomous Vehicles

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_12 ◽

2019 ◽

pp. 186-203 ◽

Cited By ~ 1

Author(s):

Rong Gu ◽

Raluca Marinescu ◽

Cristina Seceleanu ◽

Kristina Lundqvist

Keyword(s):

Autonomous Vehicles

Download Full-text

Automated Backend Selection for ProB Using Deep Learning

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_9 ◽

2019 ◽

pp. 130-147 ◽

Cited By ~ 2

Author(s):

Jannik Dunkelau ◽

Sebastian Krings ◽

Joshua Schmidt

Keyword(s):

Deep Learning ◽

Selection For

Download Full-text

Lecture Notes in Computer Science - NASA Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Extracting and Optimizing Formally Verified Code for Systems Programming

Towards Full Proof Automation in Frama-C Using Auto-active Verification

Practical Causal Models for Cyber-Physical Systems

Using Standard Typing Algorithms Incrementally

Formal Methods Assisted Training of Safe Reinforcement Learning Agents

Transaction Protocol Verification with Labeled Synchronization Logic

Design and Runtime Verification Side-by-Side in eTrice

Using Binary Analysis Frameworks: The Case for BAP and angr

Towards a Two-Layer Framework for Verifying Autonomous Vehicles

Automated Backend Selection for ProB Using Deep Learning

Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications