Volume 60, Issue 1

January 2018

Special Issue: Selected Extended Papers of NFM 2016

Issue Editors:

7 articles in this issue

Selected Extended Papers of NFM 2016: Preface
César A. Muñoz
Sanjai Rayadurgam
Oksana Tkachuk
OriginalPaper 08 August 2017 Pages: 1 - 2
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction
Julian Brunner
Peter Lammich
OriginalPaper 20 June 2017 Pages: 3 - 21
Verifying Relative Safety, Accuracy, and Termination for Program Approximations
Shaobo He
Shuvendu K. Lahiri
Zvonimir Rakamarić
OriginalPaper 18 July 2017 Pages: 23 - 42
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic
Susmit Jha
Vasumathi Raman
Sanjit A. Seshia
OriginalPaper 26 May 2017 Pages: 43 - 62
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application
Josh Newell
Linna Pang
Mark Lawford
OriginalPaper 30 May 2017 Pages: 63 - 84
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)
Muhammad Usama Sardar
Nida Afaq
Khaza Anuarul Hoque
OriginalPaper 01 June 2017 Pages: 85 - 105
Synthesis of Obfuscation Policies to Ensure Privacy and Utility
Yi-Chin Wu
Vasumathi Raman
Sanjit A. Seshia
OriginalPaper 22 July 2017 Pages: 107 - 131

Search