Youcheng Sun

Mustafa A. Mustafa

Proceedings of the IEEE International Conference on Communications, 2024

TAIiST CPS-UAV at the SBFT Tool Competition 2024.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

Interpretability Based Neural Network Repair.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Isolation-Based Debugging for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

ESBMC-Python: A Bounded Model Checker for Python Programs.

[BibT_eX]

[DOI]

Bruno Farias

Rafael Menezes

Eddie B. de Lima Filho

Lucas C. Cordeiro

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Multi-Loss Fusion: Angular and Contrastive Integration for Machine-Generated Text Detection.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

Probing the Uniquely Identifiable Linguistic Patterns of Conversational AI Agents.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

QuoTe: Quality-oriented Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

An overview of structural coverage metrics for testing neural networks.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., June, 2023

Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

[BibT_eX]

[DOI]

Dataset, June, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

[BibT_eX]

[DOI]

Michael González Harbour

Dagstuhl Artifacts Ser., 2023

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

[BibT_eX]

[DOI]

CoRR, 2023

QNNRepair: Quantized Neural Network Repair.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Rule-Based Testing of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

AIREPAIR: A Repair Platform for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

[BibT_eX]

[DOI]

Michael González Harbour

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2022

Coverage-Guided Testing for Recurrent Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2022

Safety Analysis of Autonomous Driving Systems Based on Model Learning.

[BibT_eX]

[DOI]

CoRR, 2022

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2022

Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

VPN: Verification of Poisoning in Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks.

[BibT_eX]

[DOI]

Paolo Pazzaglia

ACM Trans. Embed. Comput. Syst., 2021

Tutorials on Testing Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Compositional Explanations for Image Classifiers.

[BibT_eX]

[DOI]

Hana Chockler

CoRR, 2021

Ranking Policy Decisions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

RobOT: Robustness-Oriented Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Explanations for Occluded Images.

[BibT_eX]

[DOI]

Hana Chockler

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

NNrepair: Constraint-Based Repair of Neural Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2020

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.

[BibT_eX]

[DOI]

CoRR, 2020

Practical Verification of Neural Network Enabled State Estimation System for Robotics.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

HyDiff: hybrid differential software analysis.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Reliability Validation of Learning Enabled Vehicle Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Explaining Image Classifiers Using Statistical Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Structural Test Coverage Criteria for Deep Neural Networks.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Pessimism in multicore global schedulability analysis.

[BibT_eX]

[DOI]

J. Syst. Archit., 2019

Test Metrics for Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization.

[BibT_eX]

[DOI]

CoRR, 2019

testRNN: Coverage-guided Testing on Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Building Better Bit-Blasting for Floating-Point Problems.

[BibT_eX]

[DOI]

Martin Brain

Florian Schanda

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

DeepConcolic: testing and debugging deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling.

[BibT_eX]

[DOI]

Alessandro Biondi

Real Time Syst., 2018

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.

[BibT_eX]

[DOI]

CoRR, 2018

Testing Deep Neural Networks.

[BibT_eX]

[DOI]

Xiaowei Huang

CoRR, 2018

Assessing the pessimism of current multicore global fixed-priority schedulability analysis.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Concolic testing for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.

[BibT_eX]

[DOI]

David Landsberg

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks.

[BibT_eX]

[DOI]

Francisco Javier Guzman Jimenez

ACM Trans. Embed. Comput. Syst., 2017

Functional Requirements-Based Automated Testing for Avionics.

[BibT_eX]

[DOI]

Simon Daniel

Chris Bryan

Ian Broster

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling.

[BibT_eX]

[DOI]

Giuseppe Lipari

Real Time Syst., 2016

Multicore CPU reclaiming: parallel or sequential?

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Parallel and sequential reclaiming in multicore real-time global scheduling.

[BibT_eX]

[DOI]

CoRR, 2015

Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling.

[BibT_eX]

[DOI]

Giuseppe Lipari

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Task placement and selection of data consistency mechanisms for real-time multicore applications.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Reachability Preservation Based Parameter Synthesis for Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Toward Parametric Timed Interfaces for Real-Time Components.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata.

[BibT_eX]

[DOI]