11573/1755453 - 2025 -
Formal Methods as a Catalyst for Robust Smart Contracts in Blockchain Latif, Saba - 04b Atto di convegno in volume
congresso: 2nd International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2025 (Jamshoro, Pakistan)
libro: 2nd International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2025 - ()
11573/1755459 - 2025 -
Object-Centric Analysis of XES Event Logs: Integrating OCED Modeling with SPARQL Queries Latif, Saba; Latif, Huma; Rahman, Muhammad Rameez Ur - 04b Atto di convegno in volume
congresso: International Workshop on Analytics for Software Product and Process Improvement 2025, Salerno, Italy (Salerno, Italy)
libro: International Workshop on Analytics for Software Product and Process Improvement 2025, Salerno, Italy - ()
11573/1755456 - 2025 -
Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs Latif, Saba; Latif, Huma; Ur Rehman, Touseef; Rahman, Muhammad Rameez Ur - 04b Atto di convegno in volume
congresso: ICSOC, the International Conference on Service-Oriented Computing, china 2025 (Shenzhen, China)
libro: ICSOC, the International Conference on Service-Oriented Computing, china 2025 - ()