Arnaud Gotlieb

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

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

A. Gotlieb, D. Marijan and H. Spieker

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators

International Journal on Artificial Intelligence Tools

H. Spieker and A. Gotlieb

Adaptive Metamorphic Testing with Contextual Bandits

Journal of Systems and Software

M. K. Ahuja, M. B. Belaid, P. Bernabé, M. Collet, A. Gotlieb, C. Lal, D. Marijan, S. Sen, A. Sharif and H. Spieker

Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI

1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020

H. Spieker and A. Gotlieb

Learning Objective Boundaries for Constraint Optimization Problems

International Conference on Machine Learning, Optimization, and Data Science

D. Marijan and A. Gotlieb

Software Testing for Machine Learning

The Thirty-Fourth AAAI Conference on Artificial Intelligence

D. Marijan, A. Gotlieb and A. Sapkota

Neural Network Classification for Improving Continuous Regression Testing

The IEEE Second International Conference On Artificial Intelligence Testing (AITest 2020)

D. Marijan and A. Gotlieb

Lessons Learned on Research Co-Creation: Making Industry-Academia Collaboration Work

The 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

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

A. Gotlieb, L. Hellouet and C. Jard

Scenario realizability with constraint optimization, In: Proc. Of Fundamental Aspects of Software Engineering

Proc. Of Fundamental Aspects of Software Engineering (FASE 2013),

D. Marijan and A. Gotlieb

Research report on test configuration generation