4 citations · 5 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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★ 4 cited
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,…