fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2013

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