Antonio Rosales Viesca
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | TPV: A Tool for Validating Temporal Properties in UML Class Diagrams. | Mustafa Al-Lail, Antonio Rosales Viesca, Hector Cardenas, Mohammad Zarour, Alfredo J. Perez |
| 2024 | ISORC | Streamlining CPS Validation: Using Interoperable UML Tools for Seamless Model Exchange. | Antonio Rosales Viesca, Mustafa Al-Lail, Omar Alam |
| 2023 | MODELS | Automated Mitigation of Frame Problem in UML Class Diagram Verification. | Antonio Rosales Viesca, Mustafa Al-Lail |