Peter Nazier Mosaad

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 9

Top Topics

Dynamical Systems

Differential Equations

Top Venues

Acta Informatica

Publications

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. Acta Informatica 58 (5) (2021)
Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS (2018)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. ATVA (2018)
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Sci. Ann. Comput. Sci. 27 (1) (2017)
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS (2017)
Bai Xue, Martin Fränzle, Peter Nazier Mosaad
Just scratching the surface: Partial exploration of initial values in reach-set computation. CDC (2017)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Validated Simulation-Based Verification of Delayed Differential Dynamics. FM (2016)
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
Temporal Logic Verification for Delay Differential Equations. ICTAC (2016)
Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad
Automatic Verification of Stability and Safety for Delay Differential Equations. CAV (2) (2015)