Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2013
- Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), Seiten 100–109, Phoenix, AZ, USA, April 2013. IEEE. Details DOI BIB
- Reconfigurable Industrial Process Monitoring using the CHROMOSOME Middleware In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013), April 2013. ACM. Details BIB
- Seamless Model-based Development of Embedded Systems with AF3 Phoenix In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Seiten 212, April 2013. Details DOI BIB
- Implementation guidelines for closed loop control algorithms on PLCs In Industrial Technology (ICIT), 2013 IEEE International Conference on, Seiten 1297-1302, Februar 2013. Details DOI BIB
- Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers In ACM Transactions on Embedded Computer Systems (TECS), Band 12, Seiten 17:1-17:17, Januar 2013. ACM. Details URL DOI BIB
- EFSMT: A Logical Framework for Cyber-Physical Systems CoRR, abs/1306.3456():, 2013. Details URL BIB
- Representation and Exchange of Knowledge about Actions, Objects, and Environments in the RoboEarth Framework IEEE Transactions on Automation Science and Engineering (T-ASE), 10(3):643-651, 2013. Details URL DOI BIB
- Towards Adaptable Manufacturing Systems In IEEE International Conference on Industrial Technology (ICIT), Seiten 1410–1415, 2013. IEEE, Details DOI BIB
- A Framework for Reliability-Aware Design Exploration for MPSoC Based Systems Design Automation for Embedded Systems (DAEM), ():, 2013. Details URL BIB
- A Lane Marking Extraction Approach based on Random Finite Set Statistics In Intelligent Vehicles Symposium (IV), 2013 IEEE, 2013. Details BIB
- A Model-Driven Approach for Runtime Reliability Analysis In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013. Details URL DOI BIB
- Automated Test Case Generation for Industrial Control Applications In Gourab Sen Gupta , Donald Bailey , Serge Demidenko und Dale Carnegie , Editor, Recent Advances in Robotics and Automation, Band 480 von Studies in Computational Intelligence, Seiten 263-273. Springer Berlin Heidelberg, 2013. Details DOI BIB
- 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