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 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Shapes are not enough: CONSERVAttack and its use for finding vulnerabilities and uncertainties in machine learning applications2026 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access
P. Bechtle, Lucie Flek, A. Jung, Akbar Karimi, Timo Saala, Alexander Schmidt, +4 more
0citations -
Correction to: The baryon cycle in modern cosmological hydrodynamical simulations2026 Monthly Notices of the Royal Astronomical Society erratum Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
Ruby J. Wright, Rachel S. Somerville, Claudia del P. Lagos, Matthieu Schaller, Romeel Davé, Daniel Anglés‐Alcázar, +1 more
0citations
16 results