Automatic Verification of Stability and Safety for Delay Differential Equations. - Liang Zou; Martin Fränzle; Naijun Zhan; Peter Nazier Mosaad (CAV (2), 2015)

Validated Simulation-Based Verification of Delayed Differential Dynamics. - Mingshuai Chen; Martin Fränzle; Yangjia Li; Peter Nazier Mosaad; Naijun Zhan (FM, 2016)

Temporal Logic Verification for Delay Differential Equations. - Peter Nazier Mosaad; Martin Fränzle; Bai Xue 001 (ICTAC, 2016)

Just scratching the surface: Partial exploration of initial values in reach-set computation. - Bai Xue 001; Martin Fränzle; Peter Nazier Mosaad (CDC, 2017)

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. - Bai Xue 001; Peter Nazier Mosaad; Martin Fränzle; Mingshuai Chen; Yangjia Li; Naijun Zhan (FORMATS, 2017)

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. - Peter Nazier Mosaad; Martin Fränzle; Bai Xue 001 (Sci. Ann. Comput. Sci., 2017)

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. - Mingshuai Chen; Martin Fränzle; Yangjia Li; Peter Nazier Mosaad; Naijun Zhan (ATVA, 2018)

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. - Meilun Li; Peter Nazier Mosaad; Martin Fränzle; Zhikun She; Bai Xue 001 (FORMATS, 2018)

Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. - Mingshuai Chen; Martin Fränzle; Yangjia Li; Peter Nazier Mosaad; Naijun Zhan (Acta Informatica, 2021)