Liste als BibTeX-Datei exportieren

2013

• 2013 Emergency Shutdown System Demonstrator using AutoFOCUS3 Anton Hattendorf und 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 und 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 und Alois Zoitl In Theodor Borangiu, Andre Thomas und Damien Trentesaux, Editor, Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, Band 472 von Studies in Computational Intelligence, Seiten 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 und 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 und 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 und 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 und Helmut Krcmar In Radu Calinescu und David Garlan, Editor, Symposium on Software Performance, Seiten 30-38, Karlsruhe, Germany, CEUR Workshop Proceedings. Details URL BIB
• 2013 JBernstein: A Validity Checker for Generalized Polynomial Constraints Chih-Hong Cheng, Harald Rueß und Natarajan Shankar In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Seiten 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 und 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 und Patrick van der Smagt International Journal of Machine Learning and Cybernetics, 4(3):, 2013. Details DOI BIB