Publication at ICSE 2024
A new publication has been accepted by the International Conference on Software Engineering (ICSE 2024) (A* …
Publications
Publication in FAC
A new publication has been accepted by the ACM Journal Formal Aspects of Computing (FAC) in …
Publication at FMAS 2022
A new publication has been accepted by the FMAS 2022. Bernhard K. Aichernig, Edi Muškardin, and …
Publication at SEFM 2022
A new publication has been accepted by the SEFM 2022. Bernhard K. Aichernig, Sandra König, Cristinel …
Publication at NFM 2022
A new publication has been presented at the NFM 2022. Andrea Pferscher and Bernhard K. Aichernig: …
Publication at FM 2021
A new publication has been presented at the FM 2021. Andrea Pferscher and Bernhard K. Aichernig: …