SE4SafeML 2023 – Proceedings

1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components (SE4SafeML 2023)

Frontmatter

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)


@InProceedings{SE4SafeML23p1, author = {Muhammad Usman and Youcheng Sun and Divya Gopinath and Corina S. Păsăreanu}, title = {Rule-Based Testing of Neural Networks}, booktitle = {Proc.\ SE4SafeML}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3617574.3622747}, year = {2023}, } 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)


@InProceedings{SE4SafeML23p6, author = {Waris Gill and Ali Anwar and Muhammad Ali Gulzar}, title = {FedDefender: Backdoor Attack Defense in Federated Learning}, booktitle = {Proc.\ SE4SafeML}, publisher = {ACM}, pages = {6-5}, doi = {10.1145/3617574.3617858}, year = {2023}, } 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)


@InProceedings{SE4SafeML23p11, author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa}, title = {MLGuard: Defend Your Machine Learning Model!}, booktitle = {Proc.\ SE4SafeML}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3617574.3617859}, year = {2023}, } 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)


@InProceedings{SE4SafeML23p16, author = {Hossein Mohasel Arjomandi and Reyhaneh Jabbarvand}, title = {Interpretable On-the-Fly Repair of Deep Neural Classifiers}, booktitle = {Proc.\ SE4SafeML}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3617574.3617860}, year = {2023}, } Publisher's Version

Towards Safe ML-Based Systems in Presence of Feedback Loops
Sumon Biswas, Yining She, and Eunsuk Kang
(Carnegie Mellon University, USA)


@InProceedings{SE4SafeML23p21, author = {Sumon Biswas and Yining She and Eunsuk Kang}, title = {Towards Safe ML-Based Systems in Presence of Feedback Loops}, booktitle = {Proc.\ SE4SafeML}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3617574.3617861}, year = {2023}, } Publisher's Version

The Case for Scalable Quantitative Neural Network Analysis
Mara Downing and Tevfik Bultan
(University of California at Santa Barbara, USA)


@InProceedings{SE4SafeML23p26, author = {Mara Downing and Tevfik Bultan}, title = {The Case for Scalable Quantitative Neural Network Analysis}, booktitle = {Proc.\ SE4SafeML}, publisher = {ACM}, pages = {26-25}, doi = {10.1145/3617574.3617862}, year = {2023}, } Publisher's Version

proc time: 0.66