Publications
145 Entries
2023
-
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7) , Jun 2023, In: Innovations in Systems and Software Engineering. Vol. 19. p. 227-229, 3 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
-
Interaction detection in configurable systems – A formal approach featuring roles , Feb 2023, In: Journal of Systems and Software. 196, 111556Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study , 13 Jan 2023, Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings. Gilly, K. & Thomas, N. (eds.). Cham: Springer International Publishing AG, p. 19-34, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Unifying Formal Approach to Importance Values in Boolean Functions , 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 2728-2737, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Counterfactual Causality for Reachability and Safety based on Distance Functions , 2023, Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. Achilleos, A. & Monica, D. D. (eds.).p. 132-149, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Entropic Risk for Turn-Based Stochastic Games , 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, p. 15:1-15:16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks , 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer, Cham, p. 401-421, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2022
-
Configurable-by-construction runtime monitoring , 1 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 220–241Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Operational causality – Necessarily sufficient and sufficiently necessary , 7 Sep 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Berlin [u. a.], p. 27–45, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications , 1 Sep 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution