Arnaud Gotlieb
Scholar

Arnaud Gotlieb

Google Scholar ID: BGytCbUAAAAJ
Simula Research Laboratory
Validation IntelligenceConstraint ProgrammingSoftware Testing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,585
 
H-index
20
 
i10-index
36
 
Publications
20
 
Co-authors
34
list available
Contact
Emailarnaud@simula.noTwitterOpen ↗LinkedInOpen ↗
Publications
11 items
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
Bounded PCTL Model Checking of Large Language Model Outputs
2025
Cited
0
Efficiently Ranking Software Variants with Minimal Benchmarks
2025
Cited
0
Rashomon in the Streets: Explanation Ambiguity in Scene Understanding
2025
Cited
0
Metamorphic Testing of Multimodal Human Trajectory Prediction
2025
Cited
0
Resume (English only)
Co-authors
34 total
Helge Spieker
Helge Spieker
Simula Research Laboratory
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Sagar Sen
Sagar Sen
Research Manager and Senior Scientist, SINTEF Digital
Shaukat Ali
Shaukat Ali
Simula Research Laboratory
Lionel Briand
Lionel Briand
Professor, EECS, University of Ottawa, Canada and Research Ireland Lero Centre, Ireland
Co-author 7
Co-author 7
Mathieu Acher
Mathieu Acher
Professor at IRISA / Inria / Institut Universitaire de France (IUF) / INSA Rennes