Special issue on formal aspects of component software (selected papers from FACS'12) : [... 9th International Symposium on ... was held in Mountain View (USA) on September 12 - 1...

Veröffentlicht 2014

A Cascade of Checkers for Run-time Certification of Local Robustness

von Mangal, Ravi
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)

FORMAL ANALYSIS OF A NEURAL NETWORK PREDICTOR INSHARED-CONTROL AUTONOMOUS DRIVING

von Grese, John M.
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 3 of 3 (2021)

Special issue: CAV 2015

Veröffentlicht 2017

Formal aspects of component software : 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers

Veröffentlicht 2013

VPN: Verification of Poisoning in Neural Networks

von Sun, Youcheng
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)

Assume, Guarantee or Repair

von Frenkel, Hadar
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Special issue on Formal aspects of component software : (selected papers from FACS'12). [... held in Mountain View (USA) on September 12 - 14, 2012]

Veröffentlicht 2014

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

von Nilizadeh, Amirfarhad
Veröffentlicht in TAP (15. : 2021 : Online) Tests and Proofs (2021)

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings

Veröffentlicht 2009

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks

von Usman, Muhammad
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, proceedings

Veröffentlicht 2021

Theoretical aspects of computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, proceedings

Veröffentlicht 2022

Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings

Veröffentlicht 2021

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks

von Kadron, Ismet Burak
Veröffentlicht in VSTTE (13. : 2021 : Online) Software Verification (2022)

NNrepair: Constraint-Based Repair of Neural Network Classifiers

von Usman, Muhammad
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Learning Assumptions for Verifying Cryptographic Protocols Compositionally

von Zhang, Zichao
Veröffentlicht in FACS (17. : 2021 : Online) Formal Aspects of Component Software (2021)

Feature-Guided Analysis of Neural Networks

von Gopinath, Divya
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

Self-correcting Neural Networks for Safe Classification

von Leino, Klas
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)

Correction to: Feature-Guided Analysis of Neural Networks

von Gopinath, Divya
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)