Alberto Aranda García

According to our database, Alberto Aranda García authored at least 2 papers in 2020.

Collaborative distances:

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

2020

Runtime Verification of Contracts with Themulus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Themulus: A Timed Contract-calculus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020