Mario M. Alvarez

According to our database, Mario M. Alvarez authored at least 2 papers between 2015 and 2016.

Collaborative distances:

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

2016

Towards foundational verification of cyber-physical systems.

Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner

Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

2015

Towards verification of hybrid systems in a foundational proof assistant.

Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015