知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
会议文集
文集名
NASA Formal Methods
会议名
14th International Symposium on NASA Formal Methods (NFM 2022)
中译名
《第十四届国际NASA形式方法专题研讨会》
机构
NASA Langley Research Center
会议日期
May 24-27, 2022
会议地点
Pasadena, CA, USA
出版年
2022
馆藏号
343357
题名
作者
出版年
Formal Methods for Trusted Space Autonomy: Boon or Bane?
Steve A. Chien
2022
An Essence of Domain Engineering A Basis for Trustworthy Aeronautics and Space Software
Dines Bjorner
2022
Concept Design Moves
Daniel Jackson
2022
Automating Program Transformation with Coccinelle
Julia Lawall; Gilles Muller
2022
The Prusti Project: Formal Verification for Rust
Vytautas Astrauskas; Aurel Bily; Jonas Fiala; Zachary Grannan; Christoph Matheja; Peter Muller; Federico Poli; Alexander J. Summers
2022
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
Xin Chen; Sriram Sankaranarayanan
2022
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
Josefine B. Graebener; Apurva Badithela; Richard M. Murray
2022
Quantification of Battery Depletion Risk Made Efficient
Holger Hermanns; Gilles Nies
2022
Hierarchical Contract-Based Synthesis for Assurance Cases
Timothy E. Wang; Zamira Daw; Pierluigi Nuzzo; Alessandro Pinto
2022
Verified Probabilistic Policies for Deep Reinforcement Learning
Edoardo Bacci; David Parker
2022
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
Ulices Santa Cruz; Yasser Shoukry
2022
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
Usama Mehmood; Sanaz Sheikhi; Stanley Bak; Scott A. Smolka; Scott D. Stoller
2022
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning
Yue Meng; Zeng Qiu; Md Tawhid Bin Waez; Chuchu Fan
2022
Towards Refactoring FRETish Requirements
Marie Farrell; Matt Luckcuck; Oisin Sheridan; Rosemary Monahan
2022
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability
Stanley Bak; Hoang-Dung Tran
2022
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
Christopher A. Strong; Sydney M. Katz; Anthony L. Corso; Mykel J. Kochenderfer
2022
Permutation Invariance of Deep Neural Networks with ReLUs
Diganta Mukhopadhyay; Kumar Madhukar; Mandayam Srivas
2022
Configurable Benchmarks for C Model Checkers
Xaver Fink; Philipp Berger; Joost-Pieter Katoen
2022
Assume-Guarantee Reasoning with Scheduled Components
Cong Liu; Junaid Babar; Isaac Amundson; Karl Hoech; Darren Cofer; Eric Mercer
2022
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
Andrea Pferscher; Bernhard K. Aichernig
2022
1
2
3
制造业外文文献服务平台