Peter Nazier Mosaad

According to our database, Peter Nazier Mosaad authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

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

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic.

Peter Nazier Mosaad, Martin Fränzle, Bai Xue

Sci. Ann. Comput. Sci., 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.

Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Just scratching the surface: Partial exploration of initial values in reach-set computation.

Bai Xue, Martin Fränzle, Peter Nazier Mosaad

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Temporal Logic Verification for Delay Differential Equations.

Peter Nazier Mosaad, Martin Fränzle, Bai Xue

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Proceedings of the FM 2016: Formal Methods, 2016

2015

Automatic Verification of Stability and Safety for Delay Differential Equations.

Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad

Proceedings of the Computer Aided Verification - 27th International Conference, 2015