Content available in repository
Content available in repository
Search results
-
2025
Compiling Binary Decision Diagrams with Interrupt-Based Downsizing
Dubslaff, C. & Wirtz, J., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Springer, Vol. 3. p. 252-273 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
2021
Human-inspired models for tactile computing
Baier, C., Cuevas Rivera, D., Dubslaff, C. & Kiebel, S. J., 6 Mar 2021, Tactile Internet: with Human-in-the-Loop. p. 169-195 27 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
-
Quantitative Analyse von konfigurierbaren und rekonfigurierbaren Systemen
Dubslaff, C., 2021, Ausgezeichnete Informatikdissertationen. p. 21-30 10 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
2015
Probabilistic Model Checking for Feature-Oriented Systems
Dubslaff, C., Baier, C. & Klüppelholz, S., 2015, Transactions on Aspect Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (eds.). Springer, p. 180-220 41 p. (Lecture Notes in Computer Science; vol. 8989).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
20 Citations (Scopus)