Mario Andres Bruno

Verification of external specifications of reactive systems

Pierfrancesco Bellini, Paolo Nesi, Mario Andres Bruno, 2000, IEEE Trans. Syst. Man Cybern. Part A.

Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems

Paolo Nesi, Mario Andres Bruno, P. Nesi, 1999, Inf. Softw. Technol..

Verification criteria for a compositional model for reactive systems

Pierfrancesco Bellini, Paolo Nesi, Mario Andres Bruno, 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

Personalization of Serious Video Games for Self Care in Aging

Mario Andres Bruno, Roberto G. Aldunate, Jaime Melendez, 2014, IEEE Latin America Transactions.

Personalization of Serious Videogames for Occupational Engagement for Elderly

Mario Andres Bruno, Jaime Melendez, Roberto G. Aldunate, 2013, IWAAL.

Realistic Terrain Model in a Wildfire Context for El Yali Reserve: Serious Videogame Simulation

Mario Andres Bruno, Oriel A. Herrera, Roberto G. Aldunate, 2014, 2014 33rd International Conference of the Chilean Computer Science Society (SCCC).