Concepedia
Statistics
Publications
4
Citations
107
H-Index
Active since
2009
Affiliations
Saarland University(Current)
University of Patras
Doaa Soliman is an author at Saarland University specializing in safety engineering, safety systems, and formal methods.
Publications per year
2009–2012
Verification and validation of safety applications based on PLCopen safety function blocks
Doaa Soliman, Georg Frey · Control Engineering Practice · 2011 · 39 citations
Engineering, Systems Engineering, Safety Engineering +9
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications
Doaa Soliman, Kleanthis Thramboulidis, Georg Frey · Annual Reviews in Control · 2012 · 31 citations
Computing, Computer Science, Computer Systems +14
Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal
Doaa Soliman, Georg Frey · IFAC Proceedings Volumes · 2009 · 19 citations
Engineering, Systems Engineering, Automation +13
Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models
Doaa Soliman, Kleanthis Thramboulidis, Georg Frey · IFAC Proceedings Volumes · 2012 · 18 citations
Computing, Computer Science, Computer Systems +16
1–4 of 4