الأبحاث

دعاء ابراهيم عبد الكريم سليمان

مدرس

كلية الهندسة ببنها الهندسة الكهربية

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

البحث الكامل الملخص

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

IFAC 2012

البحث الكامل الملخص

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

Elsevier Ltd. 2011

البحث الكامل الملخص

Towards an Automated Verification Process for Industrial Safety Applications

IEEE 2011

البحث الكامل الملخص

A methodology to upgrade legacy industrial systems to meet safety regulations

IEEE 2011

البحث الكامل الملخص

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

2010

البحث الكامل الملخص

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

IFAC 2009

البحث الكامل الملخص

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

2004

Automation

Electrical Engineering

Functional Safety