Risk-aware Real-time Object Detection. - Misael Alpizar Santana; Radu Calinescu; Colin Paterson (EDCC, 2022)

Mitigating Risk in Neural Network Classifiers. - Misael Alpizar Santana; Radu Calinescu; Colin Paterson (SEAA, 2022)

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. - Radu Calinescu; Calum Imrie; Ravi Mangal; Corina S. Pasareanu; Misael Alpizar Santana; Gricel Vázquez (CoRR, 2022)

Model-driven design space exploration for multi-robot systems in simulation. - James Harbin; Simos Gerasimou; Nicholas Drivalos Matragkas; Thanos Zolotas; Radu Calinescu; Misael Alpizar Santana (Softw. Syst. Model., 2023)

Weather Impact on DER Long-term Performance: A Formal Verification Approach. - Misael Alpizar Santana; Ioannis Stefanakos; Xinwei Fang; Ankita Garg; Hongjian Sun; Ashraf Osman (ISGT Asia, 2024)

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. - Radu Calinescu; Calum Imrie; Ravi Mangal; Genaína Nunes Rodrigues; Corina S. Pasareanu; Misael Alpizar Santana; Gricel Vázquez (IEEE Trans. Software Eng., 2024)