Witsch, Daniel ; Vogel-Heuser, Birgit ; Faure, Jean-Marc ; Marsal, Gaelle
Performance Analysis of industrial Ethernet networks by means of Timed Model-Checking
IFAC Symposium on Information Control Problems in Manufacturing (INCOM)
2006

Wannagat, Andreas ; Vogel-Heuser, Birgit
Kopplung von regelungstechnischer Analyse und Agentensystemen
Informatik aktuell: Echtzeitsysteme im Alltag
2006

Vogel-Heuser, Birgit ; Pantförder, Dorothea ; Fuchs, Yvonne ; Burgeler, Antje van ; Schweizer, Karin
Vorteile von 3D-Darstellungen bei der Visualisierung von Prozessen
45. Kongress der Deutschen Gesellschaft für Psychologie (DGPS)
2006

Vogel-Heuser, Birgit ; Witsch, Daniel
Techniken zur effizienten Verifikation von Echtzeitsystemen durch Model-Checking
Entwurf komplexer Automatisierungssysteme (EKA)
2006

Pantförder, Dorothea ; Vogel-Heuser, Birgit ; Schweizer, Karin ; Fuchs, Yvonne ; Burgeler, Antje van
Offline- und Onlineprozessdatenvisualisierung anhand von 3D-Pattern unter Berücksichtigung kognitionspsychologischer Aspekte
Useware, Nutzergerechte Gestaltung technischer Systeme
2006

Friedrich, David;Vogel-Heuser, Birgit
Nutzen von Modellierung für die Qualität und Effizienz der Steuerungsprogrammierung in der Automatisierungstechnik
Automatisierungstechnische Praxis (atp)
2006
48
3
54-60

Pantförder, Dorothea;Vogel-Heuser, Birgit
Nutzen von 3D-Pattern in der Prozessführung am Beispiel geeigneter Anwendungsfälle
Automatisierungstechnische Praxis (atp)
2006
48
11
62-70