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), 2013. 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), 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 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, 2013. 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), 2013. 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, 2013. Details DOI BIB
• 2013 How to specify cloud service demand - An approach recognizing planned application Jan Wollersheim , Patrick Hoberg und 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 und Helmut Krcmar In Radu Calinescu und David Garlan , Editor, Symposium on Software Performance, Seiten 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ß und Natarajan Shankar In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Seiten 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 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), 2013. 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
• 2013 MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering Sabine Teufl , Dongyue Mou und 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 und 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ß und 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), Seiten 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 und Helmut Krcmar 2013. Details BIB
• 2013 Production Plan-Driven Flexible Assembly Automation Architecture Alois Zoitl , Gerd Kainz und Nadine Keddis In Vladimír Mařík , JoseL. Martinez Lastra und Petr Skobelev , Editor, Industrial Applications of Holonic and Multi-Agent Systems, Band 8062 von Lecture Notes in Computer Science, Seiten 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 und Denis Bytschkow In Innovative Smart Grid Technologies (ISGT), 2013 IEEE PES, Seiten 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 und 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 und Helmut Krcmar 2013. Details BIB