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), 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
• 2013 PROCUREMENT OF CLOUD SERVICES: SEVEN PRINCIPLES TO SUCCESS Jan Wollersheim , Patrick Hoberg and Helmut Krcmar 2013. Details BIB
• 2013 Production Plan-Driven Flexible Assembly Automation Architecture Alois Zoitl , Gerd Kainz and Nadine Keddis In Vladimír Mařík , JoseL. Martinez Lastra and Petr Skobelev , editor, Industrial Applications of Holonic and Multi-Agent Systems, volume 8062 of Lecture Notes in Computer Science, pages 49-58. Springer Berlin Heidelberg, 2013. Details DOI BIB
• 2013 Providing security to a smart grid prosumer system based on a service oriented architecture in an office environment Alexander Camek , Florian Hölzl and Denis Bytschkow In Innovative Smart Grid Technologies (ISGT), 2013 IEEE PES, pages 1–7, 2013. IEEE, Details BIB
• 2013 Providing security to a smart grid prosumer system based on a service-oriented architecture in an office environment Alexander Camek , Florian Hölzl and Denis Bytschkow In IEEE PES Innovative Smart Grid Technologies Conference, ISGT, 2013. Details BIB
• 2013 Purchasing processes for cloud services - An exploratory study of process influencing factors Jan Wollersheim and Helmut Krcmar 2013. Details BIB