h1

h2

h3

h4

h5
h6

121310

Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) Also known as:Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
IDI:(DE-82)121310_20140620

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;  ;
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III / edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer
38. International Conference on Computer Aided Verification, CAV 2026, LisbonLisbon, Portugal, 26 Jul 2026 - 29 Jul 20262026-07-262026-07-29 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16684, 526-549 () [10.1007/978-3-032-32537-2_25]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;  ;  ;  ;
Caesar: A Deductive Verifier for Probabilistic Programs
Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III / edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer
38. International Conference on Computer Aided Verification, CAV 2026, LisbonLisbon, Portugal, 26 Jul 2026 - 29 Jul 20262026-07-262026-07-29 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16684, 565-582 () [10.1007/978-3-032-32537-2_27]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a conference proceedings  ;  ;  ;  ;  ;
Search and explore: symbiotic policy synthesis in POMDPs
35. International Conference on Computer Aided Verification, CAV 2023, ParisParis, France, 17 Jul 2023 - 22 Jul 20232023-07-172023-07-22 Formal methods in system design 68(1), 4 () [10.1007/s10703-025-00488-z] special issue: "CAV 2023 / Editor-in-Chief Prof. Nir Pitermann, Editor-in-Cief Emeritus Edmund M. Clarke"  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;
Verifying Sampling Algorithms via Distributional Invariants
Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 259-278 () [10.1007/978-3-032-26204-2_14]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 189-210 () [10.1007/978-3-032-26204-2_10]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis  ;  ;  ;
Bounds for quantum weakest preconditions
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2026-06831] = Masterarbeit, RWTH Aachen University, 2025  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book (Erratum/Correction)/Contribution to a conference proceedings  ;
Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim
22. International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, MarrakechMarrakech, Morocco, 24 Nov 2025 - 28 Nov 20252025-11-242025-11-28 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16237, C1-C1 () [10.1007/978-3-032-11176-0_29]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;  ;  ;  ;  ;
On termination of polynomial programs with equality conditions
Information and computation 312, 105487 () [10.1016/j.ic.2026.105487]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;
Highly Incremental: A Simple Programmatic Approach for Many Objectives
Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 559-577 () [10.1007/978-3-032-26204-2_29]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Patent (Publication of the patent application)  ;  ;  ;  ;
Verfahren zur Herstellung flächiger, poröser Hydrogele mittels Fluss-Lithographie
13 Seiten : Illustrationen ()  GO   Download fulltextFulltext BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

 Record created 2014-07-16, last modified 2024-02-27
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)