Items where authors include "Alpizar Santana, Misael"

Article

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. ISSN 0098-5589 (In Press)

Proceedings Paper

Alpizar Santana, Misael, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2022) Risk-aware Real-time Object Detection. In: 18th European Dependable Computing Conference. UNSPECIFIED. IEEE .

Alpizar Santana, Misael, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2022) Mitigating Risk in Neural Network Classifiers. In: 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA). UNSPECIFIED. IEEE .