DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-021-00373-5,9393,KrCh,Faster algorithms for quantitative verification in bounded treewidth graphs
10.1023/A:1026228213080,4460,,From pre-historic to post-modern symbolic model checking
10.1023/A:1008767206905,4599,,Partial-order reduction in symbolic state-space exploration
10.1023/A:1008739929481,4582,,Reactive modules
10.1023/A:1008626013578,4607,,Computing accumulated delays in real-time systems