( en | de | ru )

 

Disambiguation of "Gotlieb, Arnaud"

Author of the publication

copydeleteadd this publication to your clipboard
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening.

, , , , , and . AAAI, page 4678-4685. AAAI Press, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arnaud Mende

Arnaud Moris

Julien Arnaud

Arnaud Dewalque

Arnaud Casteigts

 

Other publications of authors with the same name

Boosting Probabilistic Choice Operators., and . CP, volume 4741 of Lecture Notes in Computer Science, page 559-573. Springer, (2007)Rotational Diversity in Multi-Cycle Assignment Problems., , and . CoRR, (2018)Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing., and . ICLP, volume 3132 of Lecture Notes in Computer Science, page 471-472. Springer, (2004)Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing., , , and . CP, volume 8656 of Lecture Notes in Computer Science, page 813-830. Springer, (2014)Practical minimization of pairwise-covering test configurations using constraint programming., , , and . Inf. Softw. Technol., (2016)Lessons Learned on Research Co-Creation: Making Industry-Academia Collaboration Work., and . SEAA, page 272-275. IEEE, (2020)Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations., , , and . CoRR, (2024)Proving or Disproving likely Invariants with Constraint Reasoning., , and . WLPE, page 1-13. (2005)Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques., , and . ICST Workshops, page 130-137. IEEE, (2022)Goal-Oriented Test Data Generation for Programs with Pointer Variables., , and . COMPSAC (1), page 449-454. IEEE Computer Society, (2005)