Doaa Soliman

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Linear Transformation

Formal Specification

Top Venues

Annu. Rev. Control.

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Doaa Soliman, Georg Frey
Verifikation und Validierung sicherheitsgerichteter SPS-Programme. Echtzeit (2013)
Doaa Soliman, Kleanthis Thramboulidis, Georg Frey
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications. Annu. Rev. Control. 36 (2) (2012)
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
Towards an automated verification process for industrial safety applications. CASE (2011)