Huma Latif

According to our database, Huma Latif authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs.

Saba Latif, Huma Latif, Touseef Ur Rehman, Muhammad Rameez Ur Rahman

CoRR, November, 2025

Object-Centric Analysis of XES Event Logs: Integrating OCED Modeling with SPARQL Queries.

Saba Latif, Huma Latif, Muhammad Rameez Ur Rahman

Proceedings of the Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers, 2025