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)

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)

Assumption Generation for Learning-Enabled Autonomous Systems

von Păsăreanu, Corina S.
Veröffentlicht in RV (23 : 2023 : Thessaloniki) Runtime verification (2023)

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

Veröffentlicht 2021

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

Veröffentlicht 2021

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

Veröffentlicht 2022

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)

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers

von Paterson, Colin
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)