Our paper has been accepted for presentation at IJCAI 2025.
Our paper has been accepted by Journal of Computer Science and Technology.
Our paper has been accepted for presentation at CAV 2025.
Our paper has been accepted by Journal of Software.
Our tool Parf has been awarded the 2nd prize in the Software Prototype System Competition at ChinaSoft 2024.
Our paper appears in the Festschrift dedicated to Joost-Pieter Katoen.
Our paper has been accepted for presentation at ASE 2024.
Our paper has been accepted for presentation at ACM MM 2024.
Our paper has been accepted for presentation at FM 2024.
Our work-in-progress paper has been accepted for presentation at ICWS (SRG) 2024.
