Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems. - Mario Andres Bruno; Paolo Nesi (Inf. Softw. Technol., 1999)

Verification Criteria for a Compositional Model for Reactive Systems. - Pierfrancesco Bellini; Mario Andres Bruno; Paolo Nesi (ICECCS, 2000)

Verification of external specifications of reactive systems. - Pierfrancesco Bellini; Mario Andres Bruno; Paolo Nesi (IEEE Trans. Syst. Man Cybern. Part A, 2000)

Personalization of Serious Videogames for Occupational Engagement for Elderly. - Mario Andres Bruno; Roberto G. Aldunate; Jaime Melendez (IWAAL, 2013)

Realistic Terrain Model in a Wildfire Context for El Yali Reserve: Serious Videogame Simulation. - Oriel A. Herrera; Marcos A. Lévano; Matias Moreno; Roberto G. Aldunate; Mario Andres Bruno (SCCC, 2014)