ESEC/FSE 2023 CoLos
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
Powered by
Conference Publishing Consulting
1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components (SE4SafeML 2023)
,
December 4, 2023
,
San Francisco, CA, USA
SE4SafeML 2023 – Proceedings
Contents
-
Abstracts
-
Authors
Twitter:
https://twitter.com/esecfse
1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components (SE4SafeML 2023)
Frontmatter
Title Page
Welcome from the Chairs
SE4SafeML 2023 Organization
Papers
Rule-Based Testing of Neural Networks
Muhammad Usman
,
Youcheng Sun
,
Divya Gopinath
, and
Corina S. Păsăreanu
(University of Texas, USA; University of Manchester, UK; KBR @ NASA Ames Research Center, USA; Carnegie Mellon University, USA)
Publisher's Version
FedDefender: Backdoor Attack Defense in Federated Learning
Waris Gill
,
Ali Anwar
, and
Muhammad Ali Gulzar
(Virginia Tech, USA; University of Minnesota, USA)
Publisher's Version
MLGuard: Defend Your Machine Learning Model!
Sheng Wong
,
Scott Barnett
,
Jessica Rivera-Villicana
,
Anj Simmons
,
Hala Abdelkader
,
Jean-Guy Schneider
, and
Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
Publisher's Version
Interpretable On-the-Fly Repair of Deep Neural Classifiers
Hossein Mohasel Arjomandi
and
Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Towards Safe ML-Based Systems in Presence of Feedback Loops
Sumon Biswas
,
Yining She
, and
Eunsuk Kang
(Carnegie Mellon University, USA)
Publisher's Version
The Case for Scalable Quantitative Neural Network Analysis
Mara Downing
and
Tevfik Bultan
(University of California at Santa Barbara, USA)
Publisher's Version
proc time: 2.85