Youcheng Sun

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]