Publikationen
148 Einträge
2024
-
Configuring BDD Compilation Techniques for Feature Models , 2 Sept. 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Association for Computing Machinery (ACM), Band A. S. 209-216Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Linear dynamical systems with continuous weight functions , 14 Mai 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, S. 22:1-22:11, 11 S., 22Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Backward Responsibility in Transition Systems Using General Power Indices , 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
Lazy model checking for recursive state machines , 20 März 2024, in: Software and systems modeling. 23, 2, S. 369-401, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Foundations of probability-raising causality in Markov decision processes , 19 Jan. 2024, in: Logical methods in computer science : LMCS. 20, 1, S. 4:1–4:66, 66 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes , 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (Hrsg.). Cham: Springer Nature Switzerland, Dortrecht [u. a.], S. 1-18, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2023
-
Towards a Formal Account on Negative Latency , 14 Dez. 2023, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (Hrsg.). Springer, Cham, S. 188–214, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Feature causality , 7 Dez. 2023, in: Journal of Systems and Software. 209 (2024), 19 S., 111915Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking , 31 Okt. 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (Hrsg.). Cham: Springer, Cham, S. 361-375, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Markov chains and unambiguous automata , Sept. 2023, in: Journal of computer and system sciences. 136, S. 113-134, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel