Items where authors include "Camara, Javier"

Proceedings Paper

Camara, Javier, Calinescu, Radu orcid.org/0000-0002-2678-9260, Cheng, Betty et al. (4 more authors) (2022) Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. In: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. UNSPECIFIED. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems . ACM , pp. 24-30.

Hamilton, Jordan, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2022) Towards Planning and Adaptation of Assistive-care Robot Tasks. In: Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE). UNSPECIFIED. Electronic proceedings in theoretical computer science . , pp. 175-183.

Vazquez Flores, Gricel, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Camara, Javier (2022) Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. In: Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE). UNSPECIFIED. Electronic proceedings in theoretical computer science . , pp. 156-174.