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 Software  ;  ;
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
Zenodo () [10.5281/ZENODO.18188200]  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  ;  ;  ;
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
10th International Conference on Formal Structures for Computation and Deduction : FSCD 2025, July 14-20, 2025, Birmingham, UK / edited by Maribel Fernández
10. International Conference on Formal Structures for Computation and Deduction, FSCD 2025, BirminghamBirmingham, UK, 14 Jul 2025 - 20 Jul 20252025-07-142025-07-20 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 337, 6:[1]-6:21 () [10.4230/LIPICS.FSCD.2025.6]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis  ;  ;  ;
Multi‐agent path finding for reversible conveyors
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2025-10004] = 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/Contribution to a conference proceedings  ;  ;
A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
36th International Conference on Concurrency Theory : CONCUR 2025, August 25-30, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol
36. International Conference on Concurrency Theory, CONCUR 2025, AarhusAarhus, Denmark, 25 Aug 2025 - 30 Aug 20252025-08-252025-08-30 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 348, 9:1-9:21 () [10.4230/LIPICS.CONCUR.2025.9]  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  ;  ;
Compositional Reasoning for Parametric Probabilistic Automata
36th International Conference on Concurrency Theory : CONCUR 2025, August 25-30, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol
36. International Conference on Concurrency Theory, CONCUR 2025, AarhusAarhus, Denmark, 25 Aug 2025 - 30 Aug 20252025-08-252025-08-30 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 348, 31:1-31:20 () [10.4230/LIPICS.CONCUR.2025.31]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis  ;  ;
Evaluating tool support for fault tree analysis of satellite constellations
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2025-09682] = Bachelorarbeit, 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/Contribution to a conference proceedings  ;  ;  ;  ;
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
37. International Conference on Computer Aided Verification-CAV-Annual, ZagrebZagreb, Croatia, 23 Jul 2025 - 25 Jul 20252025-07-232025-07-25 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 15932, 56-81 () [10.1007/978-3-031-98679-6_3]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis  ;  ;  ;  ;
On the relation of rely-guarantee and assume-guarantee reasoning
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2025-09295] = Bachelorarbeit, 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 Bachelor Thesis  ;  ;  ;
Modeling non-deterministic quantum programs for model checking
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2025-09031] = Bachelorarbeit, 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/Contribution to a conference proceedings  ;  ;  ;
Multi-Cost-Bounded Reachability Analysis of POMDPs
Conference on Uncertainty in Artificial Intelligence, 21-25 July 2025, Rio Othon Palace, Rio de Janeiro, Brazil / Editors: Silvia Chiappa, Sara Magliacane
41. Conference on Uncertainty in Artificial Intelligence, UAI 2025, Rio de JaneiroRio de Janeiro, Brazil, 21 Jul 2025 - 25 Jul 20252025-07-212025-07-25 Proceedings of machine learning research 286, 354-366 () [10.18154/RWTH-2025-08686]  GO OpenAccess  Download fulltext Files  Download fulltextFulltext Download fulltextHomepage of book 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)