Roberta Gori
External collaborator
Publications
Simula-affiliated publications listed
2017
Proceedings, refereed
A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA
2016
Journal Articles
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation
INFORMS Journal of Computing (JoC)
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation
INFORMS Journal of Computing (JoC)
2013
Proceedings, refereed
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages