--- _id: '25112' abstract: - lang: eng text: Automatically composing service-based software solutions is a challenging task. Considering context information during this service composition process is even more challenging. In domains such as image processing, however, context-sensitivity is inherent and cannot be ignored when developing techniques for automatic service composition. Formal approaches tend to create ambiguous solutions, whenever the expressive power of the applied formalism is limited. For example, services may have the same formal specification, although their actual functionality depends on the concrete context. In order to satisfy individual user requests while providing data-dependent functionality, formal approaches have to be extended. We propose to incorporate Reinforcement Learning techniques and combine them with planning based composition approaches. While planning ensures formally correct solutions, learning enables the composition process to resolve ambiguity by implicitly considering context information. Preliminary results show that our combined approach adapts to a static context while still satisfying formally specified requirements. author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom). IEEE; 2014:755-758.' apa: Jungmann, A., & Kleinjohann, B. (2014). Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 755–758. bibtex: '@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, booktitle={Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }' chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 755–58. IEEE, 2014. ieee: A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing,” in Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758. mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–58. short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–758.' conference: end_date: 2014-12-18 start_date: 2014-12-15 date_created: 2021-09-29T10:07:26Z date_updated: 2022-01-06T06:56:51Z department: - _id: '672' language: - iso: eng page: 755-758 publication: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) publisher: IEEE status: public title: Towards Context-Sensitive Service Composition for Service-Oriented Image Processing type: conference user_id: '21240' year: '2014' ... --- _id: '25114' abstract: - lang: eng text: One goal of service-oriented computing is to realize future markets of composed services. In such markets, service providers offer services that can be flexibly combined with each other. However, although crucial for decision-making, market participants are usually not able to individually estimate the quality of traded services in advance. To overcome this problem, we present a conceptual design for a reputation system that collects and processes user feedback on transactions, and provides this information as a signal for quality to participants in the market. Based on our proposed concept, we describe the incorporation of reputation information into distinct decisionmaking processes that are crucial in such service markets. In this context, we present a fuzzy service matching approach that takes reputation information into account. Furthermore, we introduce an adaptive service composition approach, and investigate the impact of exchanging immediate user feedback by reputation information. Last but not least, we describe the importance of reputation information for economic decisions of different market participants. The overall output of this paper is a comprehensive view on managing and exploiting reputation information in markets of composed services using the example of On-The-Fly Computing. author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Sonja full_name: Brangewitz, Sonja last_name: Brangewitz - first_name: Ronald full_name: Petrlic, Ronald last_name: Petrlic - first_name: Marie Christin full_name: Platenius, Marie Christin last_name: Platenius citation: ama: Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal on Advances in Intelligent Systems 7(3&4). Published online 2014:572-594. apa: Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal on Advances in Intelligent Systems 7(3&4), 572–594. bibtex: '@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services}, journal={International Journal on Advances in Intelligent Systems 7(3&4)}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572–594} }' chicago: Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal on Advances in Intelligent Systems 7(3&4), 2014, 572–94. ieee: A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services,” International Journal on Advances in Intelligent Systems 7(3&4), pp. 572–594, 2014. mla: Jungmann, Alexander, et al. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal on Advances in Intelligent Systems 7(3&4), 2014, pp. 572–94. short: A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal on Advances in Intelligent Systems 7(3&4) (2014) 572–594. date_created: 2021-09-29T10:18:29Z date_updated: 2022-01-06T06:56:51Z department: - _id: '672' language: - iso: eng page: 572-594 publication: International Journal on Advances in Intelligent Systems 7(3&4) status: public title: Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services type: journal_article user_id: '21240' year: '2014' ... --- _id: '25115' abstract: - lang: eng text: Automatically composing service-based software solutions is still a challenging task. Functional as well as nonfunctional properties have to be considered in order to satisfy individual user requests. Regarding non-functional properties, the composition process can be modeled as optimization problem and solved accordingly. Functional properties, in turn, can be described by means of a formal specification language. Statespace based planning approaches can then be applied to solve the underlying composition problem. However, depending on the expressiveness of the applied formalism and the completeness of the functional descriptions, formally equivalent services may still differ with respect to their implemented functionality. As a consequence, the most appropriate solution for a desired functionality can hardly be determined without considering additional information. In this paper, we demonstrate how to overcome this lack of information by means of Reinforcement Learning. In order to resolve ambiguity, we expand state-space based service composition by a recommendation mechanism that supports decision-making beyond formal specifications. The recommendation mechanism adjusts its recommendation strategy based on feedback from previous composition runs. Image processing serves as case study. Experimental results show the benefit of our proposed solution. author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Felix full_name: Mohr, Felix last_name: Mohr - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Jungmann A, Mohr F, Kleinjohann B. Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA). IEEE Computer Society; 2014:105-112.' apa: Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–112. bibtex: '@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Applying Reinforcement Learning for Resolving Ambiguity in Service Composition}, booktitle={Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={105–112} }' chicago: Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–12. IEEE Computer Society, 2014. ieee: A. Jungmann, F. Mohr, and B. Kleinjohann, “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition,” in Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112. mla: Jungmann, Alexander, et al. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–12. short: 'A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–112.' date_created: 2021-09-29T10:35:37Z date_updated: 2022-01-06T06:56:51Z department: - _id: '672' language: - iso: eng page: 105-112 publication: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA) publisher: IEEE Computer Society status: public title: Applying Reinforcement Learning for Resolving Ambiguity in Service Composition type: conference user_id: '21240' year: '2014' ... --- _id: '25116' author: - first_name: Markus full_name: Becker, Markus last_name: Becker - first_name: Christoph full_name: Kuznik, Christoph last_name: Kuznik citation: ama: Becker M, Kuznik C. Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014). Published online 2014. apa: Becker, M., & Kuznik, C. (2014). Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014). bibtex: '@article{Becker_Kuznik_2014, title={Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation}, journal={Forum on Specification & Design Languages (FDL 2014)}, author={Becker, Markus and Kuznik, Christoph}, year={2014} }' chicago: Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” Forum on Specification & Design Languages (FDL 2014), 2014. ieee: M. Becker and C. Kuznik, “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation,” Forum on Specification & Design Languages (FDL 2014), 2014. mla: Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” Forum on Specification & Design Languages (FDL 2014), 2014. short: M. Becker, C. Kuznik, Forum on Specification & Design Languages (FDL 2014) (2014). date_created: 2021-09-29T10:43:10Z date_updated: 2022-01-06T06:56:51Z department: - _id: '672' language: - iso: eng publication: Forum on Specification & Design Languages (FDL 2014) status: public title: Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation type: journal_article user_id: '21240' year: '2014' ... --- _id: '25118' author: - first_name: Sebastian full_name: Hagenkötter, Sebastian last_name: Hagenkötter citation: ama: Hagenkötter S. Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen. Vol 336. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336; 2014. apa: Hagenkötter, S. (2014). Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen (Vol. 336). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336. bibtex: '@book{Hagenkötter_2014, place={Paderborn}, title={Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen}, volume={336}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336}, author={Hagenkötter, Sebastian}, year={2014} }' chicago: 'Hagenkötter, Sebastian. Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen. Vol. 336. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336, 2014.' ieee: 'S. Hagenkötter, Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen, vol. 336. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336, 2014.' mla: Hagenkötter, Sebastian. Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336, 2014. short: S. Hagenkötter, Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336, Paderborn, 2014. date_created: 2021-09-29T11:40:19Z date_updated: 2022-01-06T06:56:51Z department: - _id: '672' intvolume: ' 336' language: - iso: ger place: Paderborn publication_identifier: isbn: - ' 978-3-942647-55-7' publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336 status: public title: Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen type: dissertation user_id: '21240' volume: 336 year: '2014' ... --- _id: '25119' abstract: - lang: eng text: "In case of a disaster it is of utmost importance to obtain an overview of the affected area in order to coordinate rescue operations. Recent research and development has led to affordable unmanned aerial vehicles (UAVs) and enabled (semi-)autonomous surveillance and mapping of a disaster areas by UAVs. Mapping an area from many images incorporates image registration. Commonly used registration techniques expect static images to be registered. However, while mapping a disaster area, it is very likely that objects like vehicles or persons are moving on the ground, thus leading to dynamic scenes. We formerly introduced a fast and robust approach to register large amounts of successively arriving images, e.g., from UAVs. The approach only uses rigid-body transformations, but the usage of virtual forces enables the registration to tolerate small perspective distortions. This paper investigates the performance of our approach when applied to dynamic scenes, which are represented by nonlinear disturbances within image correspondences. We show that our approach not only tolerates small perspective distortions but also is able to register dynamic scenes.\r\n" author: - first_name: Claudius full_name: Stern, Claudius last_name: Stern - first_name: Lisa full_name: Kleinjohann, Lisa id: '15588' last_name: Kleinjohann citation: ama: 'Stern C, Kleinjohann L. Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces. In: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014. Institute of Industrial Applications Engineers; 2014:209-215.' apa: Stern, C., & Kleinjohann, L. (2014). Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces. Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, 209–215. bibtex: '@inproceedings{Stern_Kleinjohann_2014, title={Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces}, booktitle={Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014}, publisher={ Institute of Industrial Applications Engineers}, author={Stern, Claudius and Kleinjohann, Lisa}, year={2014}, pages={209–215} }' chicago: Stern, Claudius, and Lisa Kleinjohann. “Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces.” In Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, 209–15. Institute of Industrial Applications Engineers, 2014. ieee: C. Stern and L. Kleinjohann, “Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces,” in Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, Kitakyushu, Japan, 26. - 29. Sep. 2014, 2014, pp. 209–215. mla: Stern, Claudius, and Lisa Kleinjohann. “Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces.” Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, Institute of Industrial Applications Engineers, 2014, pp. 209–15. short: 'C. Stern, L. Kleinjohann, in: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, Institute of Industrial Applications Engineers, 2014, pp. 209–215.' conference: location: Kitakyushu, Japan, 26. - 29. Sep. 2014 date_created: 2021-09-29T11:56:44Z date_updated: 2022-01-06T06:56:51Z department: - _id: '672' language: - iso: eng page: 209-215 publication: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014 publisher: ' Institute of Industrial Applications Engineers' status: public title: Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces type: conference user_id: '21240' year: '2014' ... --- _id: '25122' author: - first_name: Stefan full_name: Grösbrink, Stefan last_name: Grösbrink - first_name: Luis full_name: Almeida, Luis last_name: Almeida citation: ama: 'Grösbrink S, Almeida L. A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). ; 2014.' apa: Grösbrink, S., & Almeida, L. (2014). A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). bibtex: '@inproceedings{Grösbrink_Almeida_2014, title={A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors}, booktitle={19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Grösbrink, Stefan and Almeida, Luis}, year={2014} }' chicago: Grösbrink, Stefan, and Luis Almeida. “A Criticality-Aware Mapping of Real-Time Virtual Machines to Multi-Core Processors.” In 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014. ieee: S. Grösbrink and L. Almeida, “A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors,” 2014. mla: Grösbrink, Stefan, and Luis Almeida. “A Criticality-Aware Mapping of Real-Time Virtual Machines to Multi-Core Processors.” 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014. short: 'S. Grösbrink, L. Almeida, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014.' date_created: 2021-09-29T12:14:06Z date_updated: 2022-01-06T06:56:52Z department: - _id: '672' language: - iso: eng publication: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) status: public title: A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors type: conference user_id: '21240' year: '2014' ... --- _id: '25145' author: - first_name: Markus full_name: Becker, Markus last_name: Becker - first_name: Christoph full_name: Kuznik, Christoph last_name: Kuznik - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Becker M, Kuznik C, Müller W. Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. In: 17th Euromicro Conference on Digital Systems Design (DSD). ; 2014.' apa: Becker, M., Kuznik, C., & Müller, W. (2014). Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. 17th Euromicro Conference on Digital Systems Design (DSD). bibtex: '@inproceedings{Becker_Kuznik_Müller_2014, title={Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}, booktitle={17th Euromicro Conference on Digital Systems Design (DSD)}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }' chicago: Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” In 17th Euromicro Conference on Digital Systems Design (DSD), 2014. ieee: M. Becker, C. Kuznik, and W. Müller, “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software,” 2014. mla: Becker, Markus, et al. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” 17th Euromicro Conference on Digital Systems Design (DSD), 2014. short: 'M. Becker, C. Kuznik, W. Müller, in: 17th Euromicro Conference on Digital Systems Design (DSD), 2014.' date_created: 2021-09-30T07:15:48Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: 17th Euromicro Conference on Digital Systems Design (DSD) status: public title: Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software type: conference user_id: '21240' year: '2014' ... --- _id: '25147' author: - first_name: Jan full_name: Jatzkowski, Jan last_name: Jatzkowski - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Jatzkowski J, Kleinjohann B. Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt). ; 2014.' apa: 'Jatzkowski, J., & Kleinjohann, B. (2014). Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt).' bibtex: '@inproceedings{Jatzkowski_Kleinjohann_2014, title={Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt)}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014} }' chicago: 'Jatzkowski, Jan, and Bernd Kleinjohann. “Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” In 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.' ieee: J. Jatzkowski and B. Kleinjohann, “Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems,” 2014. mla: 'Jatzkowski, Jan, and Bernd Kleinjohann. “Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.' short: 'J. Jatzkowski, B. Kleinjohann, in: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.' conference: end_date: 2014-07-04 start_date: 2014-07-02 date_created: 2021-09-30T07:20:58Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: '2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt)' status: public title: Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems type: conference user_id: '21240' year: '2014' ... --- _id: '25148' author: - first_name: Krishna full_name: Sudhakar, Krishna last_name: Sudhakar - first_name: Yuhong full_name: Zhao, Yuhong last_name: Zhao - first_name: Franz-Josef full_name: Rammig, Franz-Josef last_name: Rammig citation: ama: 'Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2014:374-383.' apa: Sudhakar, K., Zhao, Y., & Rammig, F.-J. (2014). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 374–383. bibtex: '@inproceedings{Sudhakar_Zhao_Rammig_2014, place={Reno, NV}, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, booktitle={Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2014}, pages={374–383} }' chicago: 'Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” In Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 374–83. Reno, NV: IEEE Xplore, 2014.' ieee: K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” in Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014, pp. 374–383. mla: Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2014, pp. 374–83. short: 'K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.' date_created: 2021-09-30T07:40:01Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng page: 374-383 place: Reno, NV publication: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) publisher: IEEE Xplore status: public title: Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System type: conference user_id: '21240' year: '2014' ... --- _id: '25149' author: - first_name: Franz-Josef full_name: Rammig, Franz-Josef last_name: Rammig - first_name: Katharina full_name: Stahl, Katharina last_name: Stahl citation: ama: 'Rammig F-J, Stahl K. Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems. In: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On. ; 2014:334-341.' apa: Rammig, F.-J., & Stahl, K. (2014). Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems. Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 334–341. bibtex: '@inproceedings{Rammig_Stahl_2014, title={Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems}, booktitle={Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on}, author={Rammig, Franz-Josef and Stahl, Katharina}, year={2014}, pages={334–341} }' chicago: Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems.” In Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 334–41, 2014. ieee: F.-J. Rammig and K. Stahl, “Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems,” in Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on, 2014, pp. 334–341. mla: Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems.” Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–41. short: 'F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.' date_created: 2021-09-30T07:44:11Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng page: 334-341 publication: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on status: public title: Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems type: conference user_id: '21240' year: '2014' ... --- _id: '25150' author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Felix full_name: Mohr, Felix last_name: Mohr - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: Proceedings of the 10th World Congress on Services (SERVICES). IEEE; 2014:346-353.' apa: Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. Proceedings of the 10th World Congress on Services (SERVICES), 346–353. bibtex: '@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}, booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, publisher={IEEE}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353} }' chicago: Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” In Proceedings of the 10th World Congress on Services (SERVICES), 346–53. IEEE, 2014. ieee: A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services,” in Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353. mla: Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–53. short: 'A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.' date_created: 2021-09-30T07:51:58Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng page: 346-353 publication: Proceedings of the 10th World Congress on Services (SERVICES) publisher: IEEE status: public title: Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services type: conference user_id: '21240' year: '2014' ... --- _id: '25152' author: - first_name: Stefan full_name: Grösbrink, Stefan last_name: Grösbrink citation: ama: 'Grösbrink S. Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. In: 8th IEEE International Conference on Software Security and Reliability. ; 2014.' apa: Grösbrink, S. (2014). Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. 8th IEEE International Conference on Software Security and Reliability. bibtex: '@inproceedings{Grösbrink_2014, title={Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems}, booktitle={8th IEEE International Conference on Software Security and Reliability}, author={Grösbrink, Stefan}, year={2014} }' chicago: Grösbrink, Stefan. “Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems.” In 8th IEEE International Conference on Software Security and Reliability, 2014. ieee: S. Grösbrink, “Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems,” 2014. mla: Grösbrink, Stefan. “Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems.” 8th IEEE International Conference on Software Security and Reliability, 2014. short: 'S. Grösbrink, in: 8th IEEE International Conference on Software Security and Reliability, 2014.' date_created: 2021-09-30T08:08:43Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: 8th IEEE International Conference on Software Security and Reliability status: public title: Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems type: conference user_id: '21240' year: '2014' ... --- _id: '25153' author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Sonja full_name: Brangewitz, Sonja last_name: Brangewitz - first_name: Ronald full_name: Petrlic, Ronald last_name: Petrlic - first_name: Marie Christin full_name: Platenius, Marie Christin last_name: Platenius citation: ama: 'Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.' apa: Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 49–57. bibtex: '@inproceedings{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }' chicago: Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” In Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 49–57, 2014. ieee: A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services,” in Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57. mla: Jungmann, Alexander, et al. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57. short: 'A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, in: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.' date_created: 2021-09-30T08:12:25Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng page: 49-57 publication: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) status: public title: Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services type: conference user_id: '21240' year: '2014' ... --- _id: '25154' author: - first_name: Christopher full_name: Brink, Christopher last_name: Brink - first_name: Jan full_name: Jatzkowski, Jan last_name: Jatzkowski citation: ama: 'Brink C, Jatzkowski J. EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1). Published online 2014:12-13.' apa: 'Brink, C., & Jatzkowski, J. (2014). EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1), 12–13.' bibtex: '@article{Brink_Jatzkowski_2014, title={EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community}, journal={SafeTRANS News (1)}, author={Brink, Christopher and Jatzkowski, Jan}, year={2014}, pages={12–13} }' chicago: 'Brink, Christopher, and Jan Jatzkowski. “EU-Forschungsprojekt AMALTHEA: Entwicklung Einer Open-Source Entwicklungsplattform, Erweiterbar Durch Die Community.” SafeTRANS News (1), 2014, 12–13.' ieee: 'C. Brink and J. Jatzkowski, “EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community,” SafeTRANS News (1), pp. 12–13, 2014.' mla: 'Brink, Christopher, and Jan Jatzkowski. “EU-Forschungsprojekt AMALTHEA: Entwicklung Einer Open-Source Entwicklungsplattform, Erweiterbar Durch Die Community.” SafeTRANS News (1), 2014, pp. 12–13.' short: C. Brink, J. Jatzkowski, SafeTRANS News (1) (2014) 12–13. date_created: 2021-09-30T08:14:44Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng page: 12-13 publication: SafeTRANS News (1) status: public title: 'EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community' type: journal_article user_id: '21240' year: '2014' ... --- _id: '25155' author: - first_name: Markus full_name: Becker, Markus last_name: Becker - first_name: Christoph full_name: Kuznik, Christoph last_name: Kuznik - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. In: ACM/IEEE 5th International Conference on Cyber-Physical Systems. ; 2014.' apa: Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. ACM/IEEE 5th International Conference on Cyber-Physical Systems. bibtex: '@inproceedings{Becker_Kuznik_Müller_2014, title={Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}, booktitle={ACM/IEEE 5th International Conference on Cyber-Physical Systems}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }' chicago: Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” In ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014. ieee: M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems,” 2014. mla: Becker, Markus, et al. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014. short: 'M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.' date_created: 2021-09-30T08:17:50Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: ACM/IEEE 5th International Conference on Cyber-Physical Systems status: public title: Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems type: conference user_id: '21240' year: '2014' ... --- _id: '25156' author: - first_name: Ronald full_name: Petrlic, Ronald last_name: Petrlic - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Marie Christin full_name: Platenius, Marie Christin last_name: Platenius - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer - first_name: Christoph full_name: Sorge, Christoph last_name: Sorge citation: ama: 'Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014.' apa: 'Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., & Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014).' bibtex: '@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security and Privacy Challenges in On-The-Fly Computing}, booktitle={Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}, year={2014} }' chicago: 'Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.' ieee: R. Petrlic, A. Jungmann, M. C. Platenius, W. Schäfer, and C. Sorge, “Security and Privacy Challenges in On-The-Fly Computing,” 2014. mla: 'Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.' short: 'R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.' date_created: 2021-09-30T08:31:42Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: 'Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)' status: public title: Security and Privacy Challenges in On-The-Fly Computing type: conference user_id: '21240' year: '2014' ... --- _id: '25159' author: - first_name: Stefan full_name: Grösbrink, Stefan last_name: Grösbrink citation: ama: 'Grösbrink S. Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. In: GI Design For Future Workshop. ; 2014.' apa: Grösbrink, S. (2014). Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. GI Design For Future Workshop. bibtex: '@inproceedings{Grösbrink_2014, title={Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization}, booktitle={GI Design For Future Workshop}, author={Grösbrink, Stefan}, year={2014} }' chicago: Grösbrink, Stefan. “Increasing the Reusability of Embedded Real-Time Software by a Standardized Interface for Paravirtualization.” In GI Design For Future Workshop, 2014. ieee: S. Grösbrink, “Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization,” 2014. mla: Grösbrink, Stefan. “Increasing the Reusability of Embedded Real-Time Software by a Standardized Interface for Paravirtualization.” GI Design For Future Workshop, 2014. short: 'S. Grösbrink, in: GI Design For Future Workshop, 2014.' date_created: 2021-09-30T09:21:57Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: GI Design For Future Workshop status: public title: Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization type: conference user_id: '21240' year: '2014' ... --- _id: '25160' author: - first_name: Stefan full_name: Grösbrink, Stefan last_name: Grösbrink - first_name: Luis full_name: Almeida, Luis last_name: Almeida - first_name: Mario full_name: de Sousa, Mario last_name: de Sousa - first_name: Stefan M. full_name: Petters, Stefan M. last_name: Petters citation: ama: 'Grösbrink S, Almeida L, de Sousa M, Petters SM. Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). ; 2014.' apa: Grösbrink, S., Almeida, L., de Sousa, M., & Petters, S. M. (2014). Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). bibtex: '@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2014, title={Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization}, booktitle={20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, author={Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2014} }' chicago: Grösbrink, Stefan, Luis Almeida, Mario de Sousa, and Stefan M. Petters. “Towards Certifiable Adaptive Reservations for Hypervisor-Based Virtualization.” In 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014. ieee: S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization,” 2014. mla: Grösbrink, Stefan, et al. “Towards Certifiable Adaptive Reservations for Hypervisor-Based Virtualization.” 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014. short: 'S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.' date_created: 2021-09-30T09:30:23Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) status: public title: Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization type: conference user_id: '21240' year: '2014' ... --- _id: '25161' author: - first_name: Bastian full_name: Koppelmann, Bastian id: '25260' last_name: Koppelmann - first_name: Markus full_name: Becker, Markus last_name: Becker - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Koppelmann B, Becker M, Müller W. Portierung der TriCore-Architektur auf QEMU. In: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) . ; 2014.' apa: Koppelmann, B., Becker, M., & Müller, W. (2014). Portierung der TriCore-Architektur auf QEMU. 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) . bibtex: '@inproceedings{Koppelmann_Becker_Müller_2014, title={Portierung der TriCore-Architektur auf QEMU}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}, year={2014} }' chicago: Koppelmann, Bastian, Markus Becker, and Wolfgang Müller. “Portierung Der TriCore-Architektur Auf QEMU.” In 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014. ieee: B. Koppelmann, M. Becker, and W. Müller, “Portierung der TriCore-Architektur auf QEMU,” 2014. mla: Koppelmann, Bastian, et al. “Portierung Der TriCore-Architektur Auf QEMU.” 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014. short: 'B. Koppelmann, M. Becker, W. Müller, in: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.' date_created: 2021-09-30T09:51:08Z date_updated: 2022-01-06T06:56:53Z department: - _id: '672' language: - iso: eng publication: '17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) ' status: public title: Portierung der TriCore-Architektur auf QEMU type: conference user_id: '21240' year: '2014' ...