Misael Alpizar Santana

According to our database, Misael Alpizar Santana authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., June, 2024

Weather Impact on DER Long-term Performance: A Formal Verification Approach.

Misael Alpizar Santana, Ioannis Stefanakos, Xinwei Fang, Ankita Garg, Hongjian Sun, Ashraf Osman

Proceedings of the IEEE PES Innovative Smart Grid Technologies - Asia, 2024

2023

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., October, 2023

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

Mitigating Risk in Neural Network Classifiers.

Misael Alpizar Santana, Radu Calinescu, Colin Paterson

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Risk-aware Real-time Object Detection.

Misael Alpizar Santana, Radu Calinescu, Colin Paterson

Proceedings of the 18th European Dependable Computing Conference, 2022