1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2022★ 1 cited
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
Julio C. Carrasquel, Irina A. Lomazova
Trading systems are software platforms that support the exchange of securities (e.g., company shares) between participants. In this paper, we present a method to search for deviati…
cs.SE2020
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
Khalil Mecheraoui, Julio C. Carrasquel, Irina A. Lomazova
This paper presents a compositional conformance checking approach between nested Petri nets and event logs of multi-agent systems. By projecting an event log onto model components,…