researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2023
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Ali Anwar 0001
Anj Simmons
Corina S. Pasareanu
Divya Gopinath
Eunsuk Kang
Hala Abdelkader
Hossein Mohasel Arjomandi
Jean-Guy Schneider
Jessica Rivera-Villicana
Mara Downing
Muhammad Ali Gulzar
Muhammad Usman 0024
Rajesh Vasa
Reyhaneh Jabbarvand
Scott Barnett
Sheng Wong
Sumon Biswas
Tevfik Bultan
Waris Gill
Yining She
Filter by Top terms
[+]
OR
AND
NOT
1
1st
2023
4
analysis
attack
backdoor
ca
case
classifiers
components
critical
december
deep
defend
defense
dependability
learning
machine
neural
systems
SE4SafeML@SIGSOFT FSE (se4safeml)
Editions
Publications
Viewing Publication 1 - 7 from 7
2023
Rule-Based Testing of Neural Networks
Muhammad Usman 0024
,
Youcheng Sun
,
Divya Gopinath
,
Corina S. Pasareanu
.
se4safeml 2023
:
1-5
[doi]
Interpretable On-the-Fly Repair of Deep Neural Classifiers
Hossein Mohasel Arjomandi
,
Reyhaneh Jabbarvand
.
se4safeml 2023
:
14-17
[doi]
Towards Safe ML-Based Systems in Presence of Feedback Loops
Sumon Biswas
,
Yining She
,
Eunsuk Kang
.
se4safeml 2023
:
18-21
[doi]
Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023
Marsha Chechik
,
Sebastian G. Elbaum
,
Boyue Caroline Hu
,
Lina Marsso
,
Meriel von Stein
, editors,
ACM,
2023.
[doi]
The Case for Scalable Quantitative Neural Network Analysis
Mara Downing
,
Tevfik Bultan
.
se4safeml 2023
:
22-25
[doi]
FedDefender: Backdoor Attack Defense in Federated Learning
Waris Gill
,
Ali Anwar 0001
,
Muhammad Ali Gulzar
.
se4safeml 2023
:
6-9
[doi]
MLGuard: Defend Your Machine Learning Model!
Sheng Wong
,
Scott Barnett
,
Jessica Rivera-Villicana
,
Anj Simmons
,
Hala Abdelkader
,
Jean-Guy Schneider
,
Rajesh Vasa
.
se4safeml 2023
:
10-13
[doi]
Sign in
or
sign up
to see more results.