Witsch, Daniel ; Vogel-Heuser, Birgit ; Faure, Jean-Marc ; Marsal, GaellePerformance Analysis of industrial Ethernet networks by means of Timed Model-CheckingIFAC Symposium on Information Control Problems in Manufacturing (INCOM)2006
Wannagat, Andreas ; Vogel-Heuser, BirgitKopplung von regelungstechnischer Analyse und AgentensystemenInformatik aktuell: Echtzeitsysteme im Alltag2006
Vogel-Heuser, Birgit ; Pantförder, Dorothea ; Fuchs, Yvonne ; Burgeler, Antje van ; Schweizer, KarinVorteile von 3D-Darstellungen bei der Visualisierung von Prozessen45. Kongress der Deutschen Gesellschaft für Psychologie (DGPS)2006
Vogel-Heuser, Birgit ; Witsch, DanielTechniken zur effizienten Verifikation von Echtzeitsystemen durch Model-CheckingEntwurf komplexer Automatisierungssysteme (EKA)2006
Pantförder, Dorothea ; Vogel-Heuser, Birgit ; Schweizer, Karin ; Fuchs, Yvonne ; Burgeler, Antje vanOffline- und Onlineprozessdatenvisualisierung anhand von 3D-Pattern unter Berücksichtigung kognitionspsychologischer AspekteUseware, Nutzergerechte Gestaltung technischer Systeme2006
Friedrich, David;Vogel-Heuser, BirgitNutzen von Modellierung für die Qualität und Effizienz der Steuerungsprogrammierung in der AutomatisierungstechnikAutomatisierungstechnische Praxis (atp)200648354-60
Pantförder, Dorothea;Vogel-Heuser, BirgitNutzen von 3D-Pattern in der Prozessführung am Beispiel geeigneter AnwendungsfälleAutomatisierungstechnische Praxis (atp)2006481162-70