Misael Alpizar Santana

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

Collaborative distances:

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

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