Publications

Doaa Ibrahim Abdel karim Soliman

Lecturer

Faculty of Engineering, Benha Electrical Engineering

Verifikation und Validierung sicherheitsgerichteter SPS-Programme.

Springer-Verlag 2013

On Formal Verification of Function Block Applications in Safety-related Software Development.

2013

Transformation of Function Block Diagrams to UPPAAL Timed Automata for the Verification of Safety Applications.

Elsevier 2012

Full Paper Abstract

Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models

IFAC 2012

Full Paper Abstract

Verification and validation of safety applications based on PLCopen safety function blocks

Elsevier Ltd. 2011

Full Paper Abstract

Towards an Automated Verification Process for Industrial Safety Applications

IEEE 2011

Full Paper Abstract

A methodology to upgrade legacy industrial systems to meet safety regulations

IEEE 2011

Full Paper Abstract

Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene

2010

Full Paper Abstract

Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal

IFAC 2009

Full Paper Abstract

Control of a Forced-Circulation Evaporator System as a Case Study for Control Engineering Education

2004

Automation

Electrical Engineering

Functional Safety