Braun, Steven;Bartelt, Christian;Obermeier, Martin;Rausch, Andreas;Vogel-Heuser, Birgit
Requirements on Evolution Management of Product Lines in Automation Engineering
340-345
Vienna International Conference on Mathematical Modelling (Mathmod)
Wien, Österreich
2012

Folmer, Jens;Vogel-Heuser, Birgit
Computing Dependent Industrial Alarms for Alarm Flood Reduction
1-6
IEEE Conference on Systems, Analysis and Automatic Control (SAC)
Chemnitz, Deutschland
2012

Braun, Steven;Obermeier, Martin;Vogel-Heuser, Birgit
Usability Challenges in the Design Workflow of Reusable PLC Software for Machine and Plant Automation
1-6
IEEE Conference on Systems, Analysis and Automatic Control (SAC)
Chemnitz, Deutschland
2012

Vogel-Heuser, Birgit;Frey, Georg;Hermanns, Holger;Folmer, Jens;Liu, Liu;Hartmanns, Arnd
Modeling of Networked Automation Systems for Simulation and Model Checking of Time Behavior
1-5
IEEE Conference on Systems, Analysis and Automatic Control (SAC)
Chemnitz, Deutschland
2012

Folmer, Jens;Vogel-Heuser, Birgit
Model-Based Approach to Generate Training Sequences for Discrete Event Anomaly Detection in Manufacturing
151-156
IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT)
Würzburg, Deutschland
2012

Fuchs, Julia;Feldmann, Stefan;Vogel-Heuser, Birgit
Modularität im Maschinen- und Anlagenbau - Analyse der Anforderungen und Herausforderungen im industriellen Einsatz
307-316
Entwurf komplexer Automatisierungssysteme (EKA)
Magdeburg, Deutschland
2012

Frank, Timo;Hadlich, Thomas;Eckert, Karin;Vogel-Heuser, Birgit;Diedrich, Christian;Fay, Alexander
Erweiterung des V-Modells® für den Entwurf von verteilten Automatisierungssystemen
Entwurf komplexer Automatisierungssysteme (EKA)
Magdeburg, Deutschland
2012

Kormann, Benjamin;Tikhonov, Dmitry;Vogel-Heuser, Birgit
Automated PLC Software Testing using adapted UML Sequence Diagrams
1615-1621
IFAC Symposium on Information Control Problems in Manufacturing (INCOM)
Bukarest, Rumänien
2012

Li, Fang;Bayrak, Gülden;Kernschmidt, Konstantin;Vogel-Heuser, Birgit
Specification of the Requirements to Support Information Technology-Cycles in the Machine and Plant Manufacturing Industry
1077-1082
IFAC Symposium on Information Control Problems in Manufacturing (INCOM)
Bukarest, Rumänien
2012

Schütz, Daniel;Legat, Christoph;Vogel-Heuser, Birgit
On Modelling the State-Space of Manufacturing Systems using UML
469-474
IFAC Symposium on Information Control Problems in Manufacturing (INCOM)
Bukarest, Rumänien
2012