Antonio Rosales Viesca

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Coordinate Frame

Signature Verification

Top Venues

MoDELS (Companion)

Publications

Mustafa Al-Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour, Alfredo J. Perez
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams. ICSE Companion (2024)
Antonio Rosales Viesca, Mustafa Al-Lail, Omar Alam
Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange. ISORC (2024)
Antonio Rosales Viesca, Mustafa Al-Lail
Automated Mitigation of Frame Problem in UML Class Diagram Verification. MoDELS (Companion) (2023)