Birgit Vogel-Heuser

May 2014 Delta modeling for variant-rich and evolving manufacturing systems Kowal Matthias, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schaefer and Birgit Vogel-Heuser In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, pages 32-41, ACM. Details BIB

2014 Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser In System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pages 287–303, Details DOI BIB

2013 Automated Test Case Generation for Industrial Control Applications Reinhard Hametner, Benjamin Kormann, Birgit Vogel-Heuser, Dietmar Winkler and Alois Zoitl In Gourab Sen Gupta, Donald Bailey, Serge Demidenko and Dale Carnegie, editor, Recent Advances in Robotics and Automation, volume 480 of Studies in Computational Intelligence, pages 263-273. Springer Berlin Heidelberg, Details DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

Birgit Vogel-Heuser

Publications