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