Not finding it? Sign in to also search OpenAlex live.
-
Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Formal Methods in Verification Open access
Bahareh Taghavi, Max Stachon, Adrian Marin, Bao-Lan Le-Quang, Bernhard Rumpe⋆, Ralf Reussner, +1 more
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Proposer of the vote of thanks to Waudy-Smith and Ramdas and contribution to the Discussion of ‘Estimating means of bounded random variables by betting’0citations
-
Conformance Checking Approximation Using Simulation2020 International Conference on Process Mining (ICPM) conference-paper Business, Management and Accounting Business Process Modeling and Analysis
Mohammadreza Fani Sani, Juan J. Garza Gonzalez, Sebastiaan J. van Zelst, Wil M. P. van der Aalst
23citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations