Scholar
Arnaud Gotlieb
Google Scholar ID: BGytCbUAAAAJ
Simula Research Laboratory
Validation Intelligence
Constraint Programming
Software Testing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,585
H-index
20
i10-index
36
Publications
20
Co-authors
34
list available
Contact
Email
arnaud@simula.no
Twitter
Open ↗
LinkedIn
Open ↗
Publications
15 items
Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach
2026
Cited
0
Probabilistic Model Checking of Autoregressive Neural Sequence Models
2026
Cited
0
Gimitest: A Comprehensive Tool for Testing Reinforcement Learning Policies
2026
Cited
0
Metamorphic Testing with the Rashomon Set: Explanation Faithfulness in Machine Learning
2026
Cited
0
Semi-supervised CAPP Transformer Learning via Pseudo-labeling
2026
Cited
0
Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance
2026
Cited
0
Verifying Memoryless Sequential Decision-making of Large Language Models
2025
Cited
0
Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming
2025
Cited
0
Load more
Co-authors
11 total
Helge Spieker
Simula Research Laboratory
Sagar Sen
Research Manager and Senior Scientist, SINTEF Digital
Shaukat Ali
Simula Research Laboratory
Lionel Briand
Professor, EECS, University of Ottawa, Canada and Research Ireland Lero Centre, Ireland
Mathieu Acher
Professor at IRISA / Inria / Institut Universitaire de France (IUF) / INSA Rennes
Hein Meling
Professor of Computer Science, University of Stavanger, Norway
Shiva Nejati
EECS / University of Ottawa
Benoit Baudry
Professor of Software Engineering, Université de Montréal
