Papers

Runtime Verification for FMI-Based Co-simulation

Anastasios Temperekidis, Nikolaos Kekatos, and Panagiotis Katsaros

Runtime Verification. RV 2022. Lecture Notes in Computer Science, vol 13498

DOIPaper

On Neural Network Equivalence Checking using SMT Solvers

Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, and Stavros Tripakis

Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Lecture Notes in Computer Science

DOIPaper

Survey on mining signal temporal logic specifications

Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic

Information and Computation journal

DOIPaper

DeepSTL – From English Requirements to Signal Temporal Logic

Jie He, Ezio Bartocci, Dejan Nickovic and Radu Grosu

ICSE ’22: Proceedings of the 44th International Conference on Software Engineering

DOIPaper

Enhancing Adversarial Training with Second-Order Statistics of Weights

Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang

CVPR 2022 – 2022 Conference on Computer Vision and Pattern Recognition

Paper

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enable Systems

Yi Qi, Philippa Ryan, Wei Huang, Xingyu Zhao and Xiaowei Huang

AISafety 2022 workshop  at IJCAI2022

DOIPaper

Strategies for MDP Bisimilarity Equivalence and Inequivalence

Stefan Kiefer, Qiyi Tang

Concur 2022 –  33RD INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY

DOIPaper

Hidden 1-Counter Markov Models and How to Learn Them

Mehmet Kurucan, Mete Ozbaltan, Sven Schewe, Dominik Wojtczak

IJCAI 2022 – 31st International Joint Conference on Artificial Intelligence

DOIPaper

Search-Based Testing of Reinforcement Learning

Martin Tappler, Filip Cano Cordoba, Bernhard Aichernig, Bettina Könighofer

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022) Main Track.

DOIPaper

Semantic Modeling and Analysis of Natural Language System Requirements

Konstantinos Mokos, Theodoros Nestoridis, Panagiotis Katsaros, Nick Bassiliades

IEEE Access Journal

DOIPaper

Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs

Syed Qutub, Florian Geissler, Yang Peng, Ralf Gräfe, Michael Paulitsch, Gereon Hinz, and Alois Knoll

Safecomp 2022

DOIPaper

Robustness Verification for Attention Networks using Mixed Integer Programming

Hsuan-Cheng Liao, Chih-Hong Cheng, Maximilian Kneissl, Alois Knoll

DOIPaper

Virtual Reality Assisted Human Perception in ADAS Development: a Munich 3D Model Study

Felix Bognar, Oster Markus, Herman Van der Auweraer, Tong Duy Son

DOIPaper

Deciding What is Good-for-MDPs
Sven Schewe, Qiyi Tang and Tansholpan Zhanabekova

DOIPaper

Towards Trustworthy Camera-Based Sensing and Perception Systems
Christian Berghoff, Jona Böddinghaus, Vasilios Danos, Gabrielle Davelaar, Thomas Doms, Heiko Ehrich, Alexandru Forrai, Radu Grosu, Ronan Hamon, Henrik Junklewitz, Matthias Neu, Simon Romanski, Wojciech Samek, Dirk Schlesinger, Jan-Eve Stavesand, Sebastian Steinbach, Arndt von Twickel, Robert Walter, Johannes Weissenböck, Markus Wenzel, Thomas Wiegand

Whitepaper | May 2022. Towards Auditable AI Systems. From Principles to Practice.  Based on the 2nd international Workshop “Towards Auditable AI Systems”, October 26th 2021, Fraunhofer Forum Digitale Technologien, Berlin, organized by the Federal Office for Information Security Germany, the TÜV-Verband and the Fraunhofer HHI

DOIPaper

Information-flow Interfaces
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa

Fundamental Approaches to Software Engineering. FASE 2022. Lecture Notes in Computer Science, vol 13241.

DOIPaper

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications
Wenjie Ruan; Xinping Yi; Xiaowei Huang

CIKM ’21: The 30th ACM International Conference on Information and Knowledge Management

DOIPaper

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems
Dong, Yi; Zhao, Xingyu; Huang, Xiaowei

arxiv

Detecting Operational Adversarial Examples for Reliable Deep Learning
Zhao, Xingyu; Huang, Wei; Schewe, Sven; Dong, Yi; Huang, Xiaowei;

51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS – SUPPLEMENTAL VOL (DSN 2021)

DOI Paper

Model-Free Reinforcement Learning for Lexicographic ω-Regular Objectives
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, and Dominik Wojtczak

24th International Symposium, FM 2021

DOI Paper

TEMPEST – Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem

ATVA 2021

DOI Paper

Mining Shape Expressions with ShapeIt
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, and Xin Qin

19th International Conference on Software Engineering and Formal Methods (SEFM’21)

DOI Paper

EPMC Gets Knowledge in Multi-Agent Systems
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, and Lijun Zhang

VMCAI 2022 – 23rd International Conference on Verification, Model Checking, and Abstract Interpretation

DOI Paper

Continuous Safety Verification of Neural Networks
Chih-Hong Cheng, Rongjie Yan

Design, Automation & Test in Europe Conference & Exhibition (DATE) 2021

DOI Paper

Provably-Robust Runtime Monitoring of Neuron Activation Patterns
Chih-Hong Cheng

Design, Automation & Test in Europe Conference & Exhibition (DATE) 2021

DOI Paper

Safe Imitation Learning on Real-Life Highway Data for Human-like Autonomous Driving
Flavia Sofia Acerbo, Mohsen Alirezaei, Herman Van der Auweraer, Tong Duy Son.

24th IEEE International Conference on Intelligent Transportation – ITSC2021

arxiv

Coverage Guided Testing for Recurrent Neural Networks
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, and Xiaowei Huang

IEEE Transactions on Reliability,

DOI Paper

Testing Autonomous Systems with Believed Equivalence Refinement
Chih-Hong Cheng, Rongjie Yan

IEEE International Conference On Artificial Intelligence Testing (AITest) 2021

DOI Paper

Assessing the reliability of deep learning classifiers through robustness evaluation and operational profiles
Zhao, X., Huang, W., Banks, A., Cox, V., Flynn, D., Schewe, S., and Huang, X.

AISafety’21 Workshop at IJCAI’21

Paper

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
Xingyu Zhao, Xiaowei Huang, et. Al.

UAI2021 Proceedings of Machine Learning Research (PMLR)

Published Version | arxiv

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
Yuhang Chen, Chih-Hong Cheng, Jun Yan and Rongjie Yan

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021)

arxiv

Safety and Reliability of Deep Learning (Brief Overview)
Xiaowei Huang

Workshop: Verification of Autonomous & Robotic Systems (VARS) 2021

DOI | Paper

Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments
Sebastian vom Dorff, Maximilian Kneissl, Martin Fränzle

ITSC2021 – 24th IEEE International Conference on Intelligent Transportation

arxiv

Safety Metrics for Semantic Segmentation in Autonomous Driving
Chih-Hong Cheng, Alois Knoll, and Hsuan-Cheng Liao

IEEE International Conference On Artificial Intelligence Testing, (AI Test 2021)

DOI Paper

Embedding and Extraction of Knowledge in Tree Ensemble Classifiers
Xingyu Zhao, Xiaowei Huang

Machine Learning journal (Springer)

arxiv

Sampling of Shape Expressions with ShapEx
Nicolas Basset; Thao Dang; Felix Gigler; Cristinel Mateis; Dejan Nickovic

MEMOCODE 2021 – 19th ACM-IEEE International Conference on Formal Methods and Models for System Design

Paper

Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving
Jean Pierre Allamaa, Petr Listov, Herman Van der Auweraer, Colin Jones, Tong Duy Son

MEMOCODE 2021 – 19th ACM-IEEE International Conference on Formal Methods and Models for System Design

arxiv

How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang

34th Conference on Neural Information Processing Systems (NeurIPS 2020)

arxiv