fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Liste als BibTeX-Datei exportieren

2013

  • 2013 Developing modular reusable IEC 61499 control applications with 4DIAC Alois Zoitl , Thomas Strasser und Gerhard Ebenhofer In Jian-Jia Chen , Editor, Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, Seiten 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 und 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ß und Saddek Bensalem arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BIB
  • 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