Author

Ali Jannatpour

Institution: Concordia University

Observed institution: Concordia University

ORCID: 0009-0004-1740-8819

Observed ORCID: 0009-0004-1740-8819

OpenAlex ID: A5106205754

Verification of Linear Temporal Properties over Timed Events

2026 · Hosna Habibi Baghi, Ali Jannatpour, et al. · Communications in computer and information science · 1

Simulating UML state machines from a declarative representation

2026 · Cristina Trofimov, Constantinos Constantinides, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

Verification of Mission-Time Linear Temporal Logic Properties in UML State Machines

2026 · Vinisha Manek, Constantinos Constantinides, et al.

A declarative platform for the model transformation and behavioral analysis of UML activity diagrams

2025 · Cleopatr-Aliak Manoukian, Ali Jannatpour, et al.

A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization Tools

2025 · Ali Jannatpour, Constantinos Constantinides · Lecture notes in computer science

Declarative Representation of UML State Machines for Querying and Simulation

2024 · Zohreh Mehrafrooz, Ali Jannatpour, et al. · Lecture notes in computer science

Works count: 6

Citation count: 1

H-index: 1

I10-index: