Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2013
- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications In MariaSimonetta Balsamo , William J. Knottenbelt und Andrea Marin , Editor, Computer Performance Engineering, 10th European Workshop on Performance Engineering, Band 8168 von Lecture Notes in Computer Science, Seiten 74-88. Springer Berlin Heidelberg, 2013. Details DOI BIB
- Comparing Task-Based and Socially Intelligent Behaviour in a Robot Bartender In Proceedings of the 15th ACM International Conference on Multimodal Interaction (ICMI 2013), Sydney, Australia, 2013. Details DOI BIB
- Control software development in Industrial Automation In Emerging Technologies Factory Automation (ETFA), 2013 IEEE 18th Conference on, Seiten 1-4, 2013. Details DOI BIB
- Cumulative Error Estimation from Noisy Relative Measurements In 16th International Conference on Intelligent Transport Systems (ITSC), 2013. Details BIB
- Developing a monitoring infrastructure for IEC 61499 devices In Emerging Technologies Factory Automation (ETFA), 2013 IEEE 18th Conference on, Seiten 1-6, 2013. Details DOI BIB
- Developing modular reusable IEC 61499 control applications with 4DIAC In Jian-Jia Chen , Editor, Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, Seiten 358-363, 2013. Details DOI BIB
- Effective Online Power Management with Adaptive Interplay of DVS and DPM for Embedded Real-time System In 16th Euromicro International Conference on Digital System Design (DSD), 2013. Details BIB
- EFSMT: A Logical Framework for Cyber-Physical Systems arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BIB
- Emergency Shutdown System Demonstrator using AutoFOCUS3 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
- Energy Optimization with Worst-Case Deadline Guarantee for Pipelined Multiprocessor Systems In Design, Automation and Test in Europe (DATE), 2013. Details BIB
- Extraction of Automation System Engineering Knowledge for Mapping Plant and Simulation Interfaces 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
- Future Cars: Necessity for an Adaptive and Distributed Multiple Independent Levels of Security (MILS) Architecture In Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013. Details BIB
- How Can I Help You? Comparing Engagement Classification Strategies for a Robot Bartender In Proceedings of the 15th ACM International Conference on Multimodal Interaction (ICMI 2013), Sydney, Australia, 2013. Details DOI BIB
- How to specify cloud service demand - An approach recognizing planned application 2013. Details BIB
- Integrating the Palladio-Bench into the Software Development Process of a SOA Project In Radu Calinescu und David Garlan , Editor, Symposium on Software Performance, Seiten 30-38, Karlsruhe, Germany, 2013. CEUR Workshop Proceedings. Details URL BIB
- JBernstein: A Validity Checker for Generalized Polynomial Constraints 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
- Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach 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
- Minimizing Data Consumption with Sequential Online Feature Selection International Journal of Machine Learning and Cybernetics, 4(3):, 2013. Details DOI BIB
- MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering In Proceedings of the 21st IEEE International Requirements Engineering Conference (RE), 2013. Details DOI BIB
- Multiple Vehicle Cooperative Localization Under Random Finite Set Framework In IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013. Details BIB