Arnaud Gotlieb

Simula Research Laboratory — Norway

Computer Science · Physical Sciences

27h-index2.7kcitations220works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(109), Formal Methods in Verification(60), Software Reliability and Analysis Research(51), Software Engineering Research(50), Advanced Software Engineering Methodologies(30)

Publications220 total

Semi-supervised CAPP Transformer Learning via Pseudo-labeling
ArXiv.org·2026Open Access
Semi-supervised CAPP Transformer Learning via Pseudo-labeling
arXiv (Cornell University)·2026Open Access
Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance
arXiv (Cornell University)·2026Open Access
Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance
ArXiv.org·2026Open Access
Large language models for high-level computer-aided process planning in a distributed manufacturing paradigm
Robotics and Computer-Integrated Manufacturing·2026Open Access
Rashomon in the Streets: Explanation Ambiguity in Scene Understanding
Zenodo (CERN European Organization for Nuclear Research)·2025Open Access
Rashomon in the Streets: Explanation Ambiguity in Scene Understanding
Zenodo (CERN European Organization for Nuclear Research)·2025Open Access
Bounded PCTL Model Checking of Large Language Model Outputs
2025
Prompting for Performance: Exploring LLMs for Configuring Software
2025· 2 cited
Trustworthy Automated Driving Through Qualitative Scene Understanding and Explanations
Lecture notes in mobility·2025Open Access
Verifying Memoryless Sequential Decision-making of Large Language Models
arXiv (Cornell University)·2025Open Access
Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming
arXiv (Cornell University)·2025Open Access
Metamorphic Testing of Multimodal Human Trajectory Prediction
Information and Software Technology·2025· 1 citedOpen Access
Bounded PCTL Model Checking of Large Language Model Outputs
arXiv (Cornell University)·2025Open Access
Efficiently Ranking Software Variants with Minimal Benchmarks
arXiv (Cornell University)·2025Open Access
Rashomon in the Streets: Explanation Ambiguity in Scene Understanding
arXiv (Cornell University)·2025Open Access
Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research
2025Open Access
Automatic Cause Determination in Road Scene Understanding Using Qualitative Reasoning and Four-Valued Logic
2025
Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks
2025· 1 cited
Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks
arXiv (Cornell University)·2025Open Access
page 1 of 11Next →

Frequent Co-authors

Dusica Marijan(12), Bernard Botella(11), Shaukat Ali(6), Marius Liaaen(6), Michel Rueher(5), Shuai Wang(5), Morten Mossige(4), Helge Spieker(3), Sagar Sen(3), Aymeric Hervieu(3), Hein Meling(3), Tristan Denmat(3), Benoît Baudry(2), Olivier Lhomme(2), Matthieu Petit(2), Florence Charreteur(2), Carlo Ieva(2), Stefano Di Alesio(2), Shiva Nejati(2), Lionel Briand(2)