Scientific publications

2013 Cumulative Error Estimation from Noisy Relative Measurements Feihu Zhang , Carsten Simon , Guang Chen , Christian Buckl and Alois Knoll In 16th International Conference on Intelligent Transport Systems (ITSC), 2013. Details BIB

2013 Developing a monitoring infrastructure for IEC 61499 devices Alois Zoitl , Gerhard Ebenhofer and Michael Hofmann In Emerging Technologies Factory Automation (ETFA), 2013 IEEE 18th Conference on, pages 1-6, 2013. Details DOI BIB

2013 Developing modular reusable IEC 61499 control applications with 4DIAC Alois Zoitl , Thomas Strasser and Gerhard Ebenhofer In Jian-Jia Chen , editor, Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, pages 358-363, 2013. Details DOI BIB

2013 Effective Online Power Management with Adaptive Interplay of DVS and DPM for Embedded Real-time System Gang Chen , Kai Huang , Jia Huang , Christian Buckl and Alois Knoll In 16th Euromicro International Conference on Digital System Design (DSD), 2013. Details BIB

2013 EFSMT: A Logical Framework for Cyber-Physical Systems Chih-Hong Cheng , Natarajan Shankar , Harald Rueß and Saddek Bensalem arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BIB

2013 Emergency Shutdown System Demonstrator using AutoFOCUS3 Anton Hattendorf and Sebastian Voss In Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE), 2013. Details BIB

2013 Energy Optimization with Worst-Case Deadline Guarantee for Pipelined Multiprocessor Systems Gang Chen , Kai Huang , Christian Buckl and Alois Knoll In Design, Automation and Test in Europe (DATE), 2013. Details BIB

2013 Extraction of Automation System Engineering Knowledge for Mapping Plant and Simulation Interfaces Petr Novak , Martin Melik-Merkumians , Michael Steinegger , Thomas Moser , Radek Sindelar and Alois Zoitl In Theodor Borangiu , Andre Thomas and Damien Trentesaux , editor, Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, volume 472 of Studies in Computational Intelligence, pages 247-261. Springer Berlin Heidelberg, 2013. Details DOI BIB

2013 Future Cars: Necessity for an Adaptive and Distributed Multiple Independent Levels of Security (MILS) Architecture Alexander Camek , Christian Buckl and Alois Knoll In Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013. Details BIB

2013 How Can I Help You? Comparing Engagement Classification Strategies for a Robot Bartender Mary Ellen Foster , Andre Gaschler and Manuel Giuliani In Proceedings of the 15th ACM International Conference on Multimodal Interaction (ICMI 2013), Sydney, Australia, 2013. Details DOI BIB

2013 How to specify cloud service demand - An approach recognizing planned application Jan Wollersheim , Patrick Hoberg and Helmut Krcmar 2013. Details BIB

2013 Integrating the Palladio-Bench into the Software Development Process of a SOA Project Andreas Brunnert , Alexandru Danciu , Christian Vögele , Daniel Tertilt and Helmut Krcmar In Radu Calinescu and David Garlan , editor, Symposium on Software Performance, pages 30-38, Karlsruhe, Germany, 2013. CEUR Workshop Proceedings. Details URL BIB

2013 JBernstein: A Validity Checker for Generalized Polynomial Constraints Chih-Hong Cheng , Harald Rueß and Natarajan Shankar In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pages 656–661, 2013. Details URL DOI BIB

2013 Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach Paul Pop , Leonidas Tsiopoulos , Sebastian Voss , Oscar Slotosch , Christoph Ficek , Ulrik Nyman and Alejandra Ruiz Lopez In Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE), 2013. Details URL BIB

2013 Minimizing Data Consumption with Sequential Online Feature Selection T Rueckstiess , C Osendorfer and Patrick van der Smagt International Journal of Machine Learning and Cybernetics, 4(3):, 2013. Details DOI BIB

2013 MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering Sabine Teufl , Dongyue Mou and Daniel Ratiu In Proceedings of the 21st IEEE International Requirements Engineering Conference (RE), 2013. Details DOI BIB

2013 Multiple Vehicle Cooperative Localization Under Random Finite Set Framework Feihu Zhang , Hauke Stähle , Guang Chen , Christian Buckl and Alois Knoll In IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013. Details BIB

2013 On Behavioral Types for OSGi: From Theory to Implementation Jan Olaf Blech , Harald Rueß and Bernhard Schätz CoRR, abs/1306.6115():, 2013. Details URL BIB

2013 Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal Maged Khalil In Software Engineering (Workshops), pages 493–499, 2013. Details URL BIB

2013 Performance-Modellierung und Simulation eines SAP-Netweaver-Portal-Systems Manuel Mayer Dissertation, Technische Universität München, München, 2013. Details 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