Arnaud Gotlieb

G. Menguy, S. Bardin, A. Gotlieb and N. Lazaar

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

Journal of Artificial Intelligence Research

M. Acher, A. Gotlieb, H. Spieker and G. Le Bartz Lyan

Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research

ACM Conference on Reproducibility and Replicability (REP)

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks

Advancing Automated Driving in Highly Interactive Scenarios through Behavior Prediction, Trustworthy AI, and Remote Operations @ 36th IEEE Intelligent Vehicles Symposium (IV)

Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher

Policy Testing with MDPFuzz (Replicability Study) (Abstract)

Software Engineering (SE 2025)

Q. Mazouni, A. Gotlieb, H. Spieker, M. Acher and B. Combemale

Mutation-Guided Metamorphic Testing of Optimality in AI Planning

18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025

C. Braye, A. Bricout, A. Gotlieb, N. Lazaar and Q. Vallet

TAID : Un outil pour évaluer la confiance des systèmes médicaux intelligents

EGC: Extraction et Gestion des Connaissances

Q. Mazouni, A. Gotlieb, H. Spieker, M. Acher and B. Combemale

Mutation-Guided Metamorphic Testing of Optimality in AI Planning

Journal of Software: Testing, Verification and Reliability

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations

SAE International Journal of Connected and Automated Vehicles

M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Query-driven Qualitative Constraint Acquisition

Journal of Artificial Intelligence Research (JAIR)

L. Lesoil, H. Spieker, A. Gotlieb, M. Acher, P. Temple, A. Blouin and J. Jézéquel

Learning Input-aware Performance Models of Configurable Systems: An Empirical Evaluation

Journal of Systems and Software

Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher

Policy Testing with MDPFuzz (Replicability Study)

ISSTA 2024: Proceedings of the 33st ACM SIGSOFT International Symposium on Software Testing and Analysis

Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher

Testing for Fault Diversity in Reinforcement Learning

AST '24: Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024)

H. Spieker, N. Belmecheri, A. Gotlieb and N. Lazaar

Evaluating Human Trajectory Prediction with Metamorphic Testing

MET 2024: Proceedings of the 9th ACM International Workshop on Metamorphic Testing

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations

Transport Research Arena (TRA)

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Hybrid Intelligence for Scene Understanding and Action Explanation using Qualitative Explanation Graphs

HyCHA'24 - Hybrid Artificial Intelligence Workshop: From knowledge and human integration to model explanation (Knowledge, Human and Machine Learning Hybridization) 27-28 Mar 2024 , CentraleSupélec, Gif-sur-Yvette (France)

A. Gotlieb

AI-Driven Metamorphic Testing for Autonomous Systems

MET2024 Opening and Keynote Talk, Metamorphic Testing Workshop 2024 colocated with ISSTA/ECOOP 2024, Vienna, Austria

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Relevant Object Identification from Qualitative Explainable Graphs in Automated Driving

NORA Annual Conference

P. Bernabé, A. Gotlieb, B. Legeard, D. Marijan, F. O. Sem-Jacobsen and H. Spieker

Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning

IEEE Transactions on Intelligent Transportation Systems

A. Gotlieb, M. Mossige and H. Spieker

Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics

SAFECOMP2023 42nd International Conference on Computer Safety, Reliability and Security 19-22 September 2023, Toulouse, France

M. B. Belaid, N. Belmecheri, N. Lazaar, A. Gotlieb and H. Spieker

Approche générique pour l’acquisition de contraintes qualitatives

JFPC

G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb

Active Disjunctive Constraint Acquisition

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning — Main Track

Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher

A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making

Rencontres des Jeunes Chercheurs en Intelligence Artificielle

C. Braye, J. Clech, A. Gotlieb, N. Lazaar and P. Malléa

Towards Trustworthy-AI-by-Design Methodology for Intelligent Radiology Systems

Santé et IA séminaire' at PFIA 23, Strasbrourg, France. July 6

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation

J. Clech, A. Gotlieb, F. Sève, F. Didout and P. Malléa

Méthodologie d’anonymisation dès la conception d’un jeu de données en imagerie médicale

Applications Pratiques de l'Intelligence Artificielle (APIA)

M. K. Ahuja, A. Gotlieb and H. Spieker

Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques

Artificial Intelligence in Software Testing @ 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)

M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

GEQCA: Generic Qualitative Constraint Acquisition

Proceedings of the AAAI Conference on Artificial Intelligence

A. Gotlieb, M. K. Ahuja and M. B. Belaid

T-Largo: Testing of Learning Robots

M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

GEQCA: Generic Qualitative Constraint Acquisition

Lernen. Wissen. Daten. Analysen. (LWDA) - KDML Track

H. Spieker and A. Gotlieb

Predictive Machine Learning of Objective Boundaries for Solving COPs

AI

D. Marijan and A. Gotlieb

Industry-Academia research collaboration in software engineering: The Certus model

Information and Software Technology

P. Bernabé, A. Gotlieb, B. Legeard, F. O. Sem-Jacobsen and H. Spieker

Apprentissage auto-supervisé pour la détection d’actions illégales lors de la surveillance du trafic maritime

Applications Pratiques de l’Intelligence Artificielle

M. K. Ahuja, M. B. Belaid, P. Bernabé, A. Gotlieb, D. Marijan, A. Sharif and H. Spieker

Improving the Reliability of Autonomous Software Systems through Metamorphic Testing

Proceedings of the 31st European Safety and Reliability Conference (ESREL)

P. Bernabé, H. Spieker, B. Legeard and A. Gotlieb

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)

Proceedings of the AAAI Conference on Artificial Intelligence

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

Software Engineering for Robotics

M. B. Belaid, A. Gotlieb and N. Lazaar

Solve Optimization Problems with Unknown Constraint Networks

PTHG workshop in CP

P. Bernabé, H. Spieker, A. Gotlieb and B. Legeard

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)

A. Gotlieb

Leveraging AI Methods for Testing Non-testable Autonomous Systems

17th European Dependable Computing Conference 13-16 September 2021 Munich, Germany

A. Gotlieb

AI-based Testing of Autonomous Software Systems

IRT SystemX, France

A. Gotlieb

Code-Based Testing with Constraints

HUAWEI Paris, France

A. Gotlieb

Advanced Testing Methods for Robotic Software-Systems

Bristol Robotics Lab., Bristol, UK

A. Gotlieb

Breaking silos in data innovation in Europe: Experiences of AI4EU, EUH4D, and DIH4AI

Data Week 2021

M. B. Belaid, A. Gotlieb and N. Lazaar

Solve Optimization Problems with Unknown Constraint Networks

PTHG workshop in CP (online)

H. Spieker and A. Gotlieb

Summary of: Adaptive Metamorphic Testing with Contextual Bandits

IEEE International Conference on Software Testing (ICST)

H. Spieker and A. Gotlieb

Learning to Generate Fault-revealing Test Cases in Metamorphic Testing

Software Engineering 2021

P. Bernabé, A. Gotlieb and B. Legeard

Detection of False Data Injection in AIS Vessels Communication Using Machine Learning

A. Gotlieb

AI4EU: Pilot Experiments with the platform

Big Data Value Forum, Nov. 3-5, Berlin, Germany

A. Gotlieb

Metamorphic Testing: A Validation Technique for Trustworthy AI?

Workshop on Lessons learnt on Trustworthy AI made in Europe: Challenges and Answers

P. Bernabé, H. Spieker, A. Gotlieb, D. Marijan and B. Legeard

Statistics AIS Dataset from Statsat

Simula Research Laboratory