Peter Nazier Mosaad

Conference Papers

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan (2018). What's to Come is Still Unsure. ATVA 2018. PDF Cite Code Slides Video DOI Distinguished Paper Award
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan (2017). Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS 2017. PDF Cite Slides Video DOI
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan (2016). Validated Simulation-Based Verification of Delayed Differential Dynamics. In FM 2016. PDF Cite Code Poster Slides DOI