Export list as BibTeX file

2013

• 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), 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), 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, 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), 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, Details DOI BIB
• 2013 How to specify cloud service demand - An approach recognizing planned application Jan Wollersheim, Patrick Hoberg and Helmut Krcmar 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, 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, 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), 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