Publications
149 Entries
2021
-
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking , 1 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 7:1–7:18Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Causality-Based Game Solving , 15 Jul 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. M. (eds.). Springer, Berlin [u. a.], p. 894–917, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
From Verification to Causality-Based Explications (Invited Talk) , 2 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021: ICALP 2021, July 12–16, 2021, Glasgow, Scotland (Virtual Conference). Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, p. 1:1–1:20, 1Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Enhancing Probabilistic Model Checking with Ontologies , 26 May 2021, In: Formal Aspects of Computing. 33, 6, p. 885–921, 37 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Responsibility Attribution in Parameterized Markovian Models , 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 ed., AAAI Press, Vol. 35. p. 11734-11743, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Development, characterisation, and deployment of the SNO plus liquid scintillator , May 2021, In: Journal of instrumentation. 16, 5, 23 p., P05009Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Human-inspired models for tactile computing , 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). Academic Press, p. 169-195, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Tactile computing: Essential building blocks for the Tactile Internet , 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). Academic Press, p. 293-317, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Preface , Jan 2021, 29th EACSL Annual Conference on Computer Science Logic. Baier, C. & Goubault-Larrecq, J. (eds.).2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
-
29th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference) , 2021, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 734 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding