Doaa Ibrahim Abdel karim Soliman|Publications

Benha University

Staff Search: Go

You are in:Home/Publications
Dr. Doaa Ibrahim Abdel karim Soliman :: Publications:

Research Fields

Automation

Electrical Engineering

Functional Safety

Number of publications is 10

Title

1-Verifikation und Validierung sicherheitsgerichteter SPS-Programme.

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

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

Abstract' | Full paper

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

Abstract' | Full paper

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

Abstract' | Full paper

6- Towards an Automated Verification Process for Industrial Safety Applications

Abstract' | Full paper

7- A methodology to upgrade legacy industrial systems to meet safety regulations

Abstract' | Full paper

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

Abstract' | Full paper

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

Abstract' | Full paper

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

Google Scholar

Acdemia.edu

Research Gate

Google Plus

Youtube

Wordpress

Instagram

Mendeley

Zotero

Evernote

ORCID

Scopus