Talk on Conditioning accepted at POPL PPS workshop
November 8, 2015
The talk on “On the Semantic Intricacies of Conditioning” has been accepted for presentation at the Probabilistic Programming Semantics (PPS) workshop at POPL’16.
News
Friedrich Gretz successfully defended his Ph.D. dissertation
September 26, 2015
[](http://moves.rwth-aachen.de/wp-content/uploads/DSC%5F0604.jpg) Friday September 26, Friedrich Gretz successfully def
PhD thesis on probabilistic counterexamples
September 22, 2015
The PhD thesis of Nils Jansen titled “Counterexamples in Probabilistic Verification” has recently been published online at the [library webpage](http://publications.rwth-aachen.de/record/479827/) and
Sebastian Junges awarded with Best Master Thesis Prize in Germany
September 10, 2015
[Sebastian Junges](http://moves.rwth-aachen.de/people/sebastian-junges/) will receive the price for the best Master Thesis in Computer Science 2014/15 in Germany. His work, entitled [_Simplifying Faul
Paper accepted by Formal Methods in System Design
August 28, 2015
The paper entitled _Juggrnaut: Using Graph Grammars for Abstracting Unbounded Heap Structures_ by Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen and Thomas Noll has been accepted for publicati
Paper accepted at SETTA 2015
August 23, 2015
The paper “Fault trees on a Diet” by Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink and Mariëlle Stoelinga has been accepted at [SETTA’15](http://cs.nju.edu.cn/setta/index.shtml). T
Paper accepted at APLAS 2015
August 18, 2015
The paper entitled _Tree-Like Grammars and Separation Logic_ by Christoph Matheja, Christina Jansen and Thomas Noll has been accepted at the 13th Asian Symposium on Programming Languages and Systems (
CAV 2015
July 23, 2015
Our new PROPhESY tool for parameter synthesis of Markov chains has been elected (out of 30 artefacts) as runner-up in the Artifact Evaluation at CAV 2015\. In addition, Joost-Pieter Katoen gave a thre
Paper accepted at FMCAD 2015
July 8, 2015
The paper entitled _IC3 Software Model Checking on Control Flow Automata_ by Tim Lange, Martin Neuhäußer (Siemens AG) and Thomas Noll has been accepted at the [15th International Conference on Formal
Sebastian Junges receives prize for excellent master studies
June 28, 2015
Sebastian Junges received on last Friday (June 26) a price for his excellent achievements in his master studies Computer Science. Sebastian recently completed his master thesis on “Simplifying Dynamic
Paper accepted at FORMATS 2015
June 19, 2015
The paper entitled “Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems” by Martin Fränzle, Sebastian Gerwinn, Paul Kröger (all Oldenburg), Alessandro Abate (Oxford) and Joost-Pieter K
Paper accepted at MFCS 40
June 3, 2015
The paper “On the Hardness of Almost-Sure Termination” by Benjamin Kaminski and Joost-Pieter Katoen has been accepted at the 40th MFCS (Mathematical Foundations in Computer Science) conference in Mila
PROPhESY has been CAV Artifact Evaluated
May 25, 2015
We are happy to announce that our tool [PROPhESY](http://moves.rwth-aachen.de/research/tools/prophesy/): A PRObabilistic ParamEter SYnthesis has successfully passed the [CAV 2015 Artifact Evaluation](
Falak Sher successfully defended his PhD dissertation
May 17, 2015
[](http://moves.rwth-aachen.de/wp-content/uploads/IMG%5F2045.jpg)Friday April 24, Falak Sher successfully defended his P
Paper accepted at MFPS XXXI
May 17, 2015
The paper “Conditioning in Probabilistic Programming” by Friedrich Gretz, Nils Jansen, Benjamin Kaminski, Joost-Pieter Katoen, Annabelle McIver, and Federico Olmedo has been accepted at the 31st Mathe