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, May 2014. 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, 2014. 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, 2013. 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

Authors

Birgit Vogel-Heuser

Publications