Doaa Soliman

According to our database, Doaa Soliman authored at least 4 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Verification and Validation of Logic Control Safety Applications: Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen.

Doaa Soliman

PhD thesis, 2013

Verifikation und Validierung sicherheitsgerichteter SPS-Programme.

Doaa Soliman, Georg Frey

Proceedings of the Funktionale Sicherheit, 2013

2012

Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications.

Doaa Soliman, Kleanthis Thramboulidis, Georg Frey

Annu. Rev. Control., 2012

2011

Towards an automated verification process for industrial safety applications.

Kleanthis Thramboulidis, Doaa Soliman, Georg Frey

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011