Peter Nazier Mosaad

Orcid: 0000-0002-3629-4907

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control.
Acta Informatica, 2021

2018
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic.
Sci. Ann. Comput. Sci., 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Just scratching the surface: Partial exploration of initial values in reach-set computation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Temporal Logic Verification for Delay Differential Equations.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Automatic Verification of Stability and Safety for Delay Differential Equations.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015


  Loading...