Content available in repository
Content available in repository
Search results
-
2025
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Neele, T. (Editor) & Wijs, A. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 14624)Research output: Book/Report › Book editing › Academic › peer-review
-
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Jansen, N. (Editor), Junges, S. (Editor), Kaminski, B. L. (Editor), Matheja, C. (Editor), Noll, T. (Editor), Quatmann, T. (Editor), Stoelinga, M. (Editor) & Volk, M. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 15260)Research output: Book/Report › Book editing › Academic › peer-review
-
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Jansen, N. (Editor), Junges, S. (Editor), Kaminski, B. L. (Editor), Matheja, C. (Editor), Noll, T. (Editor), Quatmann, T. (Editor), Stoelinga, M. (Editor) & Volk, M. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 15262)Research output: Book/Report › Book editing › Academic › peer-review
-
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Jansen, N. (Editor), Junges, S. (Editor), Kaminski, B. L. (Editor), Matheja, C. (Editor), Noll, T. (Editor), Quatmann, T. (Editor), Stoelinga, M. (Editor) & Volk, M. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 15261)Research output: Book/Report › Book editing › Academic › peer-review
-
2024
Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Castiglioni, V. (Editor) & Francalanza, A. (Editor), 12 Jun 2024, Springer. 239 p. (Lecture Notes in Computer Science; vol. 14678)Research output: Book/Report › Book editing › Academic › peer-review
-
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems (MARS 2024): Luxembourg City, Luxembourg, 6th April 2024
Lang, F. (Editor) & Volk, M. (Editor), 2024, Open Publishing Association. 215 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 399)Research output: Book/Report › Book editing › Academic › peer-review
Open Access -
2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, Paris, France, 23rd April 2023
ter Beek, M. H. (Editor) & Dubslaff, C. (Editor), 28 Oct 2023, (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 392)Research output: Book/Report › Book editing › Academic
Open Access -
Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Ábrahám, E. (Editor), Dubslaff, C. (Editor) & Tapia Tarifa, S. L. (Editor), 23 Nov 2023, Springer. (Lecture Notes in Computer Science; vol. 14446)Research output: Book/Report › Book editing › Academic