Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

39

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642288906, 9783642288913

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lessons Learnt from the Adoption of Formal Model-Based Development

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_5 ◽

2012 ◽

pp. 24-38 ◽

Author(s):

Alessio Ferrari ◽

Alessandro Fantechi ◽

Stefania Gnesi

Keyword(s):

Formal Model ◽

Model Based ◽

Download Full-text

CLSE: Closed-Loop Symbolic Execution

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_33 ◽

2012 ◽

pp. 356-370 ◽

Author(s):

Rupak Majumdar ◽

Indranil Saha ◽

K. C. Shashidhar ◽

Zilong Wang

Keyword(s):

Closed Loop ◽

Symbolic Execution

Download Full-text

Using PVS to Investigate Incidents through the Lens of Distributed Cognition

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_27 ◽

2012 ◽

pp. 273-278 ◽

Author(s):

Paolo Masci ◽

Huayi Huang ◽

Paul Curzon ◽

Michael D. Harrison

Keyword(s):

Distributed Cognition

Download Full-text

Sound Formal Verification of Linux’s USB BP Keyboard Driver

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_21 ◽

2012 ◽

pp. 210-215 ◽

Author(s):

Willem Penninckx ◽

Jan Tobias Mühlberg ◽

Jan Smans ◽

Bart Jacobs ◽

Frank Piessens

Keyword(s):

Formal Verification

Download Full-text

Enhancing the Inverse Method with State Merging

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_10 ◽

2012 ◽

pp. 100-105 ◽

Author(s):

Étienne André ◽

Laurent Fribourg ◽

Romain Soulat

Keyword(s):

Download Full-text

On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_34 ◽

2012 ◽

pp. 371-387 ◽

Author(s):

Michael Backes ◽

Alex Busenius ◽

Cătălin Hriţcu

Keyword(s):

Real Life ◽

Security Protocols ◽

Download Full-text

Belief Bisimulation for Hidden Markov Models

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_31 ◽

2012 ◽

pp. 326-340 ◽

Author(s):

David N. Jansen ◽

Flemming Nielson ◽

Lijun Zhang

Keyword(s):

Hidden Markov Models ◽

Markov Models ◽

Download Full-text

Generating Verifiable Java Code from Verified PVS Specifications

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_30 ◽

2012 ◽

pp. 310-325 ◽

Author(s):

Leonard Lensink ◽

Sjaak Smetsers ◽

Marko van Eekelen

Keyword(s):

Download Full-text

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_29 ◽

2012 ◽

pp. 295-309

Author(s):

Jason Belt ◽

Robby ◽

Patrice Chalin ◽

John Hatcliff ◽

Xianghua Deng

Keyword(s):

Data Structures ◽

Symbolic Execution ◽

Critical Systems

Download Full-text

Runtime Verification Meets Android Security

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-28891-3_18 ◽

2012 ◽

pp. 174-180 ◽

Author(s):

Andreas Bauer ◽

Jan-Christoph Küster ◽

Gil Vegliach

Keyword(s):

Runtime Verification ◽

Android Security

Download Full-text