Misael Alpizar Santana

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Controller Synthesis

Design Space Exploration

Top Venues

Softw. Syst. Model.

Publications

Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. 50 (6) (2024)
James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. 22 (5) (2023)
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR (2022)
Misael Alpizar Santana, Radu Calinescu, Colin Paterson
Risk-aware Real-time Object Detection. EDCC (2022)
Misael Alpizar Santana, Radu Calinescu, Colin Paterson
Mitigating Risk in Neural Network Classifiers. SEAA (2022)