Antonio Rosales Viesca

According to our database, Antonio Rosales Viesca authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange.

Antonio Rosales Viesca, Mustafa Al-Lail, Omar Alam

Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing, 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

Automated Mitigation of Frame Problem in UML Class Diagram Verification.

Antonio Rosales Viesca, Mustafa Al-Lail

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