العربية
Banner

Number of Publications

10 Number of Publications

Verifikation und Validierung sicherheitsgerichteter SPS-Programme.

Springer-Verlag 2013
Abstract

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

2013
Abstract

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
Abstract