Primary tabs
Arnaud Gotlieb
Head of Department
Chief Research Scientist/Research Professor
Organisation:
Department of Validation Intelligence for Autonomous Software Systems
Email:
Research interests:
Validation Intelligence of Autonomous Software Systems
Software Testing
Software Validation and Verification
Artificial Intelligence: Constraint Programming, Applications of Machine Learning, Industrial Robotics
Selected publications
News
18 February 2021
- 1 of 7
- next
Projects
Awards
Best Paper Award for " A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing"
in the 11th International Joint Conference on Software Technologies, ICSOFT-EA 2016, Lisbon, Portugal
July 2016
Best Application Paper Award for "Using CP in automatic test generation for ABB robotics' paint control systems" In Principles and Practice of Constraint Programming
The 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France
September 2014
Best Application Paper Award for "Automated test case selection using feature model: An industrial case study."
ACM/IEEE 16th Int. Conf. on Model Driven Eng. Languages and Systems (MODELS'13), Miami, Florida.
July 2013
Students under supervision
Status
Departments
Publication type
Year published
2022
Proceedings, refereed
In Artificial Intelligence in Software Testing @ ICST, 2022.
Status: Accepted
In Annual Conference of the Association for Advancement of Artificial Intelligence (AAAI-22). AAAI, 2022.
Status: Published
In 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22), 2022.
Status: Accepted
2021
Journal articles
Information and Software Technology 132 (2021).
Status: Published
AI 2, no. 4 (2021): 527-551.
Status: Published
Proceedings, refereed
In Proceedings of the 31st European Safety and Reliability Conference (ESREL). ESREL, 2021.
Status: Published
In Applications Pratiques de l’Intelligence Artificielle. AFIA, 2021.
Status: Published
In Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. AAAI, 2021.
Status: Published
Book chapters
In Software Engineering for Robotics, 109-137. Cham: Springer Nature, 2021.
Status: Published
Talks, keynote
In 17th European Dependable Computing Conference 13-16 September 2021 Munich, Germany, 2021.
Status: Published