Login / Signup
Hector Cardenas
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Software Systems
Possibility Theory
Unified Modeling Language
Temporal Properties
Top Venues
MoDELS (Companion)
ICSE 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)
Hector Cardenas
,
Mustafa Al-Lail
Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach.
MoDELS (Companion)
(2023)
Mustafa Al-Lail
,
Antonio Rosales
,
Hector Cardenas
,
Lars Hamann
,
Alfredo Perez
Transformation of TOCL temporal properties into OCL.
MoDELS (Companion)
(2022)