先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名NASA Formal Methods
会议名13th International Symposium on NASA Formal Methods (NFM 2021)
中译名《第十三届国际NASA形式方法专题研讨会》
机构NASA Langley Research Center
会议日期May 24-28, 2021
会议地点Online
出版年2021
馆藏号339604


题名作者出版年
Balancing Wind and Batteries: Towards Predictive Verification of Smart GridsThom S. Badings; Arnd Hartmanns; Nils Jansen; Marnix Suilen2021
nnenum: Verification of ReLU Neural Networks with Optimized Abstraction RefinementStanley Bak2021
Minimum-Violation Traffic Management for Urban Air MobilitySuda Bharadwaj; Tichakorn Wongpiromsarn; Natasha Neogi; Joseph Muffoletto; Ufuk Topcu2021
Integrating Formal Verification and Assurance: An Inspection Rover Case StudyHamza Bourbouh; Marie Farrell; Anastasia Mavridou; Irfan Sljivo; Guillaume Brat; Louise A. Dennis; Michael Fisher2021
Towards Verifying SHA256 in OpenSSL with the Software Analysis WorkbenchBrett Decker; Benjamin Winters; Eric Mercer2021
Polygon Merge: A Geometric Algorithm Verified Using PVSBen L. Di Vito; Ashlie B. Hocking2021
Program Sketching Using Lifted Analysis for Numerical Program FamiliesAleksandar S. Dimovski; Sven Apel; Axel Legay2021
Specification Decomposition for Reactive SynthesisBernd Finkbeiner; Gideon Geier; Noemi Passing2021
On Symmetry and Quantification: A New Approach to Verify Distributed ProtocolsAman Goel; Karem Sakallah2021
Integrating Runtime Verification into a Sounding Rocket Control SystemBenjamin Hertz; Zachary Luppen; Kristin Yvonne Rozier2021
Verification of Functional Correctness of Code Diversification TechniquesJae-Won Jang; Freek Verbeek; Binoy Ravindran2021
Scalable Reliability Analysis by Lazy VerificationShahid Khan; Joost-Pieter Katoen; Matthias Volk; Marc Bouissou2021
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual UncertaintyTsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki; Fuyuki Ishikawa; Shin-ya Katsumata2021
Good Fences Make Good Neighbors Using Formally Verified Safe Trajectories to Design a Predictive Geofence AlgorithmYanni Kouskoulas; Rosa Wu; Joshua Brule; Daniel Genin; Aurora Schmidt; T. J. Machado2021
Online Shielding for Stochastic SystemsBettina Konighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem2021
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor ModelSaswata Paul; Gul A. Agha; Stacy Patterson; Carlos A. Varela2021
An Infrastructure for Faithful Execution of Remote Attestation ProtocolsAdam Petz; Perry Alexander2021
Verifying Min-Plus Computations with CoqLucien Rakotomalala; Pierre Roux; Marc Boyer2021
Efficient Verification of Optimized Code Correct High-Speed X25519Marc Schoolderman; Jonathan Moerman; Sjaak Smetsers; Marko van Eekelen2021
A Formal Proof of the Lax Equivalence Theorem for Finite Difference SchemesMohit Tekriwal; Karthik Duraisamy; Jean-Baptiste Jeannin2021
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024