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 ORCID logo, Youcheng Sun ORCID logo, Divya Gopinath ORCID logo, and Corina S. Păsăreanu ORCID logo
(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 ORCID logo, Ali Anwar ORCID logo, and Muhammad Ali Gulzar ORCID logo
(Virginia Tech, USA; University of Minnesota, USA)
Publisher's Version
MLGuard: Defend Your Machine Learning Model!
Sheng Wong ORCID logo, Scott Barnett ORCID logo, Jessica Rivera-Villicana ORCID logo, Anj Simmons ORCID logo, Hala Abdelkader ORCID logo, Jean-Guy Schneider ORCID logo, and Rajesh Vasa ORCID logo
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
Publisher's Version
Interpretable On-the-Fly Repair of Deep Neural Classifiers
Hossein Mohasel Arjomandi ORCID logo and Reyhaneh Jabbarvand ORCID logo
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Towards Safe ML-Based Systems in Presence of Feedback Loops
Sumon Biswas ORCID logo, Yining She ORCID logo, and Eunsuk Kang ORCID logo
(Carnegie Mellon University, USA)
Publisher's Version
The Case for Scalable Quantitative Neural Network Analysis
Mara Downing ORCID logo and Tevfik BultanORCID logo
(University of California at Santa Barbara, USA)
Publisher's Version

proc time: 1.88