6 papers
Monitoring Data-aware Temporal Properties (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable…
Detecting Dynamic Relationships in Object-Centric Event Logs
Alessandro Gianola, Zeeshan Hameed, Marco Montali +3
Object-centric process mining examines how processes interact with multiple co-evolving objects, and has gained great interest in recent years. However, object-centric event logs (…
To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
Anjo Seidel, Sarah Winkler, Alessandro Gianola +2
Object-centric process mining investigates the intertwined behavior of multiple objects in business processes. From object-centric event logs, object-centric Petri nets (OCPN) can…
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola +3
Despite growing interest in process analysis and mining for data-aware specifications, alignment-based conformance checking for declarative process models has focused on pure contr…
Object-centric Processes with Structured Data and Exact Synchronization (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
Real-world processes often involve interdependent objects that also carry data values, such as integers, reals, or strings. However, existing process formalisms fall short to combi…
Femtosecond laser written waveguides in sapphire for visible light delivery
Sarah Winkler, Joachim R. Krenn, Jakob Wahl +8
A promising solution for scalable integrated optics of trapped-ion quantum processors are curved waveguides guiding visible light within sapphire bulk material. To the best of our…