Hector Cardenas

According to our database, Hector Cardenas authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams.

Mustafa Al-Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour, Alfredo J. Perez

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach.

Hector Cardenas, Mustafa Al-Lail

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Transformation of TOCL temporal properties into OCL.

Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022