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
25 February 2020
- 1 of 6
- next
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
2020
Journal articles
Int. Journal on Artificial Intelligence Tools (IJAIT) 29, no. 3-4 (2020): 23.
Status: Published
Information and Software Technology (2020).
Status: Published
Journal of Systems and Software 165 (2020).
Status: Published
Proceedings, refereed
In 1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020. CEUR Workshop Proceedings, 2020.
Status: Published
In AAAI-21 Student Abstract and Poster Program, 2020.
Status: Accepted
In Proc. of the the 26th Int. Conf. on Principles and Practice of Constraint Prog. (CP-2020), Louvain-La-Neuve, Belgium, Sep. 2020.. LNCS ed. Vol. 12333. Springer, 2020.
Status: Published
In The 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Euromicro, 2020.
Status: Published
In The IEEE Second International Conference On Artificial Intelligence Testing (AITest 2020). IEEE, 2020.
Status: Published
In The Thirty-Fourth AAAI Conference on Artificial Intelligence. AAAI'20: AAAI, 2020.
Status: Published
In Machine Learning, Optimization, and Data Science. LOD 2020. Springer, 2020.
Status: Published