POPL 2019 (series) / OPCT 2019 (series) / OPCT 2019 /
Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification
Tue 15 Jan 2019 13:50 - 14:15 at Sala VII - Algebra, Coalgebra, Model Checking Chair(s): Barbara König
| Slides (opct2019.pdf) | 2.13MiB |
I am full professor at the RWTH Aachen University in the Software Modeling and Verification (MOVES) group and part-time associated to the Formal Methods & Tools group at the University of Twente. Since 2013, I hold a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.
Tue 15 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change
Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change
13:50 - 15:30: Algebra, Coalgebra, Model CheckingOPCT at Sala VII Chair(s): Barbara KönigUniversity of Duisburg-Essen | |||
| 13:50 - 14:15 Talk | Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification OPCT Joost-Pieter KatoenRWTH Aachen University File Attached | ||
| 14:15 - 14:40 Talk | Model Checking True Concurrency Properties OPCT Paolo BaldanUniversity of Padova File Attached | ||
| 14:40 - 15:05 Talk | A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics OPCT Helle Hvid HansenDelft University of Technology File Attached | ||
| 15:05 - 15:30 Talk | Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization OPCT Simone TiniUniversity of Insubria | ||
