--- _id: '25767' author: - first_name: Da full_name: He, Da last_name: He - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore; 2012.' apa: He, D., & Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. 15th Euromicro Conference on Digital System Design (DSD). bibtex: '@inproceedings{He_Müller_2012, title={A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}, booktitle={15th Euromicro Conference on Digital System Design (DSD)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }' chicago: He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” In 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore, 2012. ieee: D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012. mla: He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012. short: 'D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.' date_created: 2021-10-07T12:11:29Z date_updated: 2022-01-06T06:57:12Z department: - _id: '672' language: - iso: eng publication: 15th Euromicro Conference on Digital System Design (DSD) publisher: IEEE Xplore status: public title: A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms type: conference user_id: '21240' year: '2012' ... --- _id: '25776' author: - first_name: Christoph full_name: Rasche, Christoph last_name: Rasche - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Thomas full_name: Schierbaum, Thomas last_name: Schierbaum - first_name: Benjamin full_name: Werdehausen, Benjamin last_name: Werdehausen - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B. Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: IEEE 10th International Conference on Industrial Informatics,. IEEE Xplore; 2012.' apa: Rasche, C., Jungmann, A., Schierbaum, T., Werdehausen, B., & Kleinjohann, B. (2012). Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. IEEE 10th International Conference on Industrial Informatics,. bibtex: '@inproceedings{Rasche_Jungmann_Schierbaum_Werdehausen_Kleinjohann_2012, title={ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}, booktitle={ IEEE 10th International Conference on Industrial Informatics,}, publisher={IEEE Xplore}, author={Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2012} }' chicago: Rasche, Christoph, Alexander Jungmann, Thomas Schierbaum, Benjamin Werdehausen, and Bernd Kleinjohann. “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots.” In IEEE 10th International Conference on Industrial Informatics,. IEEE Xplore, 2012. ieee: C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012. mla: Rasche, Christoph, et al. “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots.” IEEE 10th International Conference on Industrial Informatics, IEEE Xplore, 2012. short: 'C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, B. Kleinjohann, in: IEEE 10th International Conference on Industrial Informatics, IEEE Xplore, 2012.' date_created: 2021-10-07T12:48:41Z date_updated: 2022-01-06T06:57:12Z department: - _id: '672' language: - iso: eng publication: ' IEEE 10th International Conference on Industrial Informatics,' publisher: IEEE Xplore status: public title: ' Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots' type: conference user_id: '21240' year: '2012' ... --- _id: '25777' abstract: - lang: eng text: "This paper presents a hierarchical hyprid planning approach developed for realizing self-optimizing mechatronic systems. The hybrid planning approach is based on a discrete plan and a forecast of continuous system behavior generated by simulation during runtime. This does not only allow an online adaptation of a previously generated plan with regard to the actual system state as well as the current environmental conditions, even the planning objectives may be adapted to newly arising needs during system operation. The planner exploits the hierarchy already present in the system model by considering hierarchical parameterizations of the system as a discrete dimension of choice. The parameterizations are proposed by a novel hierarchical multiobjective optimization, which calculates Pareto points in a bottom up fashion, taking into account the constraints imposed by lower levels of the system hierarchy on the higher ones. Evaluations of the hierarchical hybrid planner in the context of an innovative railbound transport system show that it outperforms its non-hierarchical predecessor.\r\n" author: - first_name: Natascha full_name: Esau, Natascha last_name: Esau - first_name: Martin full_name: Krüger, Martin last_name: Krüger - first_name: Christoph full_name: Rasche, Christoph last_name: Rasche - first_name: Steffen full_name: Beringer, Steffen last_name: Beringer - first_name: Lisa full_name: Kleinjohann, Lisa id: '15588' last_name: Kleinjohann - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: 7th IEEE Conference in Industrial Electronics and Applications. IEEE; 2012.' apa: Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., & Kleinjohann, B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. 7th IEEE Conference in Industrial Electronics and Applications. bibtex: '@inproceedings{Esau_Krüger_Rasche_Beringer_Kleinjohann_Kleinjohann_2012, place={Singapore}, title={Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}, booktitle={7th IEEE Conference in Industrial Electronics and Applications}, publisher={IEEE}, author={Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }' chicago: 'Esau, Natascha, Martin Krüger, Christoph Rasche, Steffen Beringer, Lisa Kleinjohann, and Bernd Kleinjohann. “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System.” In 7th IEEE Conference in Industrial Electronics and Applications. Singapore: IEEE, 2012.' ieee: N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012. mla: Esau, Natascha, et al. “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System.” 7th IEEE Conference in Industrial Electronics and Applications, IEEE, 2012. short: 'N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann, in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore, 2012.' conference: location: Singapore, 18. - 20. Jul. 2012 IEEE, IEEE date_created: 2021-10-07T12:56:39Z date_updated: 2022-01-06T06:57:12Z department: - _id: '672' language: - iso: eng place: Singapore publication: 7th IEEE Conference in Industrial Electronics and Applications publisher: IEEE status: public title: Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System type: conference user_id: '21240' year: '2012' ... --- _id: '25781' author: - first_name: Claudius full_name: Stern, Claudius last_name: Stern - first_name: Christoph full_name: Rasche, Christoph last_name: Rasche - first_name: Lisa full_name: Kleinjohann, Lisa id: '15588' last_name: Kleinjohann - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. In: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. ; 2012.' apa: Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. bibtex: '@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={Las Vegas, Nevada, USA}, title={Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}, booktitle={Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }' chicago: Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces.” In Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. Las Vegas, Nevada, USA, 2012. ieee: C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012. mla: Stern, Claudius, et al. “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces.” Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition, 2012. short: 'C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition, Las Vegas, Nevada, USA, 2012.' conference: location: 16. - 19. Jul. 2012; Las Vegas, Nevada, USA date_created: 2021-10-07T13:00:52Z date_updated: 2022-01-06T06:57:12Z department: - _id: '672' language: - iso: eng place: Las Vegas, Nevada, USA publication: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition status: public title: Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces type: conference user_id: '21240' year: '2012' ... --- _id: '25783' author: - first_name: Stefan full_name: Grösbrink, Stefan last_name: Grösbrink citation: ama: 'Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Symposium on System-Integrated Intelligence. ; 2012.' apa: Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. Symposium on System-Integrated Intelligence. bibtex: '@inproceedings{Grösbrink_2012, title={A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}, booktitle={Symposium on System-integrated Intelligence}, author={Grösbrink, Stefan}, year={2012} }' chicago: Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration in Heterogeneous Multi-Processor Systems.” In Symposium on System-Integrated Intelligence, 2012. ieee: S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012. mla: Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration in Heterogeneous Multi-Processor Systems.” Symposium on System-Integrated Intelligence, 2012. short: 'S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.' conference: location: 27. - 29. Jun. 2012 date_created: 2021-10-07T13:05:50Z date_updated: 2022-01-06T06:57:12Z department: - _id: '672' language: - iso: eng publication: Symposium on System-integrated Intelligence status: public title: A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26022' author: - first_name: Markus full_name: Becker, Markus last_name: Becker - first_name: Christoph full_name: Kuznik, Christoph last_name: Kuznik - first_name: M. tech. Mabel Mary full_name: Joy, M. tech. Mabel Mary last_name: Joy - first_name: Tao full_name: Xie, Tao last_name: Xie - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). ; 2012.' apa: Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). bibtex: '@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, title={Binary Mutation Testing Through Dynamic Translation}, booktitle={ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }' chicago: Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012. ieee: M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012. mla: Becker, Markus, et al. “Binary Mutation Testing Through Dynamic Translation.” 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012. short: 'M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.' date_created: 2021-10-11T08:39:53Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng main_file_link: - url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6263914&isnumber=6263904 publication: ' 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)' status: public title: Binary Mutation Testing Through Dynamic Translation type: conference user_id: '21240' year: '2012' ... --- _id: '26023' author: - first_name: Da full_name: He, Da last_name: He - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore; 2012.' apa: He, D., & Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). bibtex: '@inproceedings{He_Müller_2012, title={Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}, booktitle={Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }' chicago: He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” In Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore, 2012. ieee: D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012. mla: He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012. short: 'D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.' date_created: 2021-10-11T08:43:05Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng publication: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012) publisher: IEEE Xplore status: public title: Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms type: conference user_id: '21240' year: '2012' ... --- _id: '26024' author: - first_name: Stephan full_name: Radke, Stephan last_name: Radke - first_name: Steffen full_name: Rülke, Steffen last_name: Rülke - first_name: Marcio F. full_name: Oliveira, Marcio F. last_name: Oliveira - first_name: Christoph full_name: Kuznik, Christoph last_name: Kuznik - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Wolfgang full_name: Ecker, Wolfgang last_name: Ecker - first_name: Volkan full_name: Esen, Volkan last_name: Esen - first_name: Simon full_name: Hufnagel, Simon last_name: Hufnagel - first_name: Nico full_name: Bannow, Nico last_name: Bannow - first_name: Jan-Hendrik full_name: Oetjens, Jan-Hendrik last_name: Oetjens - first_name: Helmut full_name: Brazdrum, Helmut last_name: Brazdrum - first_name: Peter full_name: Janssen, Peter last_name: Janssen - first_name: Hoang M. full_name: Le, Hoang M. last_name: Le - first_name: Daniel full_name: Große, Daniel last_name: Große - first_name: Finn full_name: Haedicke, Finn last_name: Haedicke - first_name: Rolf full_name: Drechsler, Rolf last_name: Drechsler - first_name: Gernot full_name: Koch, Gernot last_name: Koch - first_name: Andreas full_name: Burger, Andreas last_name: Burger - first_name: Oliver full_name: Bringmann, Oliver last_name: Bringmann - first_name: Wolfgang full_name: Rosenstiel, Wolfgang last_name: Rosenstiel - first_name: Ralph full_name: Görgen, Ralph last_name: Görgen citation: ama: 'Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: EdaWorkshop 12. ; 2012.' apa: Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. EdaWorkshop 12. bibtex: '@inproceedings{Radke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et al._2012, title={Compilation of Methodologies to Speed up the Verification Process at System Level}, booktitle={edaWorkshop 12}, author={Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and et al.}, year={2012} }' chicago: Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” In EdaWorkshop 12, 2012. ieee: S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012. mla: Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” EdaWorkshop 12, 2012. short: 'S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.' date_created: 2021-10-11T08:54:53Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng main_file_link: - url: http://www.vde-verlag.de/proceedings-de/563428010.html publication: edaWorkshop 12 status: public title: Compilation of Methodologies to Speed up the Verification Process at System Level type: conference user_id: '21240' year: '2012' ... --- _id: '26025' author: - first_name: Norma full_name: Montealegre, Norma last_name: Montealegre - first_name: Sebastian full_name: Hagenkötter, Sebastian last_name: Hagenkötter citation: ama: 'Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: Journal of Intelligent Manufacturing 23(3). Published online on June 2010; 2012:699-715.' apa: Montealegre, N., & Hagenkötter, S. (2012). Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In Journal of Intelligent Manufacturing 23(3) (pp. 699–715). Published online on June 2010. bibtex: '@inbook{Montealegre_Hagenkötter_2012, title={Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}, booktitle={Journal of Intelligent Manufacturing 23(3)}, publisher={Published online on June 2010}, author={Montealegre, Norma and Hagenkötter, Sebastian}, year={2012}, pages={699–715} }' chicago: Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond Quality Control by Means of Cytokine-Formal Immune Networks.” In Journal of Intelligent Manufacturing 23(3), 699–715. Published online on June 2010, 2012. ieee: N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks,” in Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715. mla: Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond Quality Control by Means of Cytokine-Formal Immune Networks.” Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715. short: 'N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.' date_created: 2021-10-11T09:06:41Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng page: 699-715 publication: Journal of Intelligent Manufacturing 23(3) publisher: Published online on June 2010 status: public title: Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks type: book_chapter user_id: '21240' year: '2012' ... --- _id: '26026' author: - first_name: Stefan full_name: Grösbrink, Stefan last_name: Grösbrink - first_name: Simon full_name: Oberthür, Simon id: '383' last_name: Oberthür - first_name: Daniel full_name: Baldin, Daniel last_name: Baldin citation: ama: 'Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). ; 2012.' apa: Grösbrink, S., Oberthür, S., & Baldin, D. (2012). Towards Adaptive Resource Management for Virtualized Real-Time Systems. 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). 16. - 19. Apr. 2012. bibtex: '@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Towards Adaptive Resource Management for Virtualized Real-Time Systems}, booktitle={4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}, author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }' chicago: Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Towards Adaptive Resource Management for Virtualized Real-Time Systems.” In 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012. ieee: S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012. mla: Grösbrink, Stefan, et al. “Towards Adaptive Resource Management for Virtualized Real-Time Systems.” 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012. short: 'S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012.' conference: name: 16. - 19. Apr. 2012 date_created: 2021-10-11T09:09:04Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng publication: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012) status: public title: Towards Adaptive Resource Management for Virtualized Real-Time Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26027' author: - first_name: Yuhong full_name: Zhao, Yuhong last_name: Zhao - first_name: Franz-Josef full_name: Rammig, Franz-Josef last_name: Rammig citation: ama: 'Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China. IEEE Computer Society; 2012:154-161.' apa: Zhao, Y., & Rammig, F.-J. (2012). Online Model Checking for Dependable Real-time Systems. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 154–161. bibtex: '@inproceedings{Zhao_Rammig_2012, title={Online Model Checking for Dependable Real-time Systems}, booktitle={16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}, publisher={ IEEE Computer Society}, author={Zhao, Yuhong and Rammig, Franz-Josef}, year={2012}, pages={154–161} }' chicago: Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” In 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 154–61. IEEE Computer Society, 2012. ieee: Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time Systems,” in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 2012, pp. 154–161. mla: Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, IEEE Computer Society, 2012, pp. 154–61. short: 'Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, IEEE Computer Society, 2012, pp. 154–161.' conference: name: 11. - 13. Apr. 2012 IEEE Computer Society, date_created: 2021-10-11T09:35:46Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng page: 154-161 publication: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China publisher: ' IEEE Computer Society' status: public title: Online Model Checking for Dependable Real-time Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26028' author: - first_name: Norma full_name: Montealegre, Norma last_name: Montealegre - first_name: Franz-Josef full_name: Rammig, Franz-Josef last_name: Rammig citation: ama: 'Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). ; 2012.' apa: Montealegre, N., & Rammig, F.-J. (2012). Agent-Based Modeling and Simulation of Artificial Immune Systems. Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). bibtex: '@inproceedings{Montealegre_Rammig_2012, place={Shenzhen, China}, title={Agent-Based Modeling and Simulation of Artificial Immune Systems}, booktitle={Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)}, author={Montealegre, Norma and Rammig, Franz-Josef}, year={2012} }' chicago: Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” In Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). Shenzhen, China, 2012. ieee: N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012. mla: Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), 2012. short: 'N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012.' date_created: 2021-10-11T09:49:33Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng place: Shenzhen, China publication: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012) status: public title: Agent-Based Modeling and Simulation of Artificial Immune Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26029' author: - first_name: Franz-Josef full_name: Rammig, Franz-Josef last_name: Rammig citation: ama: 'Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012. SBC; 2012:45-48.' apa: Rammig, F.-J. (2012). Self-Coordination as Fundamental Concept for Cyber Physical Systems. 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48. bibtex: '@inproceedings{Rammig_2012, place={Ouro Preto, Brazil}, title={Self-Coordination as Fundamental Concept for Cyber Physical Systems}, booktitle={2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012}, publisher={SBC}, author={Rammig, Franz-Josef}, year={2012}, pages={45–48} }' chicago: 'Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” In 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48. Ouro Preto, Brazil: SBC, 2012.' ieee: F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical Systems,” in 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 2012, pp. 45–48. mla: Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, 2012, pp. 45–48. short: 'F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.' date_created: 2021-10-11T09:54:50Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng page: 45-48 place: Ouro Preto, Brazil publication: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012 publisher: SBC status: public title: Self-Coordination as Fundamental Concept for Cyber Physical Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26030' author: - first_name: Emi full_name: Mathews, Emi last_name: Mathews citation: ama: 'Mathews E. Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: Ninth International Conference On Information Technology : New Generations (ITNG). IEEE Computer Society; 2012.' apa: 'Mathews, E. (2012). Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. Ninth International Conference On Information Technology : New Generations (ITNG).' bibtex: '@inproceedings{Mathews_2012, title={Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks}, booktitle={Ninth International Conference On Information Technology : New Generations (ITNG)}, publisher={IEEE Computer Society}, author={Mathews, Emi}, year={2012} }' chicago: 'Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs in Realistic Wireless Networks.” In Ninth International Conference On Information Technology : New Generations (ITNG). IEEE Computer Society, 2012.' ieee: E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks,” 2012. mla: 'Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs in Realistic Wireless Networks.” Ninth International Conference On Information Technology : New Generations (ITNG), IEEE Computer Society, 2012.' short: 'E. Mathews, in: Ninth International Conference On Information Technology : New Generations (ITNG), IEEE Computer Society, 2012.' date_created: 2021-10-11T10:10:44Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng publication: 'Ninth International Conference On Information Technology : New Generations (ITNG)' publisher: IEEE Computer Society status: public title: Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks type: conference user_id: '21240' year: '2012' ... --- _id: '26031' author: - first_name: Da full_name: He, Da last_name: He - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2012.' apa: He, D., & Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). bibtex: '@inproceedings{He_Müller_2012, title={Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems}, booktitle={2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }' chicago: He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems.” In 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore, 2012. ieee: D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012. mla: He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems.” 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012. short: 'D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.' date_created: 2021-10-11T10:16:06Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng publication: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) publisher: IEEE Xplore status: public title: Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26032' abstract: - lang: eng text: 'Getting a contemporary aerial overview of a disaster area is a foremost task in search and rescue operations. We previously have introduced a novel method for registering a large amount of aerial images when camera parameters are almost unknown and no reference images are available. This paper provides two new methods, which improve our method for image registration based on virtual forces. The goal is to improve the performance of creating a contemporary overview map of a disaster area assembling several images taken by unmanned aerial vehicles (UAVs) equipped with cameras. In this paper, two new methods are introduced: a method for rotation estimation and a method for scale estimation. Both methods use fast heuristic approximation approaches and statistical methods to provide high robustness. We discuss the methods in detail and compare them to our previous approach regarding robustness and calculation speed. We can show that the new methods significantly increase the performance of the image registration process.' author: - first_name: Claudius full_name: Stern, Claudius last_name: Stern - first_name: Christoph full_name: Rasche, Christoph last_name: Rasche - first_name: Lisa full_name: Kleinjohann, Lisa id: '15588' last_name: Kleinjohann - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial Images Based on Virtual Forces. In: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). IEEE Xplore; 2012.' apa: Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Efficient Alignment of Aerial Images Based on Virtual Forces. Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). 25. - 30. Mrz. 2012 IARIA, IEEE Xplore. bibtex: '@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={St. Maarten, Netherlands Antilles}, title={Efficient Alignment of Aerial Images Based on Virtual Forces}, booktitle={Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)}, publisher={IEEE Xplore}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }' chicago: 'Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Efficient Alignment of Aerial Images Based on Virtual Forces.” In Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). St. Maarten, Netherlands Antilles: IEEE Xplore, 2012.' ieee: C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012 IARIA, IEEE Xplore, 2012. mla: Stern, Claudius, et al. “Efficient Alignment of Aerial Images Based on Virtual Forces.” Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, 2012. short: 'C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.' conference: name: 25. - 30. Mrz. 2012 IARIA, IEEE Xplore date_created: 2021-10-11T11:20:43Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng place: St. Maarten, Netherlands Antilles publication: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS) publisher: IEEE Xplore status: public title: Efficient Alignment of Aerial Images Based on Virtual Forces type: conference user_id: '21240' year: '2012' ... --- _id: '26034' abstract: - lang: eng text: In this paper, a color based feature extraction and classification approach for image processing in embedded systems in presented. The algorithms and data structures developed for this approach pay particular attention to reduce memory consumption and computation power of the entire image processing, since embedded systems usually impose strong restrictions regarding those resources. The feature extraction is realized in terms of an image segmentation algorithm. The criteria of homogeneity for merging pixels and regions is provided by the color classification mechanism, which incorporates appropriate methods for defining, representing and accessing subspaces in the working color space. By doing so, pixels and regions with color values that belong to the same color class can be merged. Furthermore, pixels with redundant color values that do not belong to any pre-defined color class can be completely discarded in order to minimize computational effort. Subsequently, the extracted regions are converted to a more convenient feature representation in terms of statistical moments up to and including second order. For evaluation, the whole image processing approach is applied to a mobile representative of embedded systems within the scope of a simple real-world scenario. author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann - first_name: Lisa full_name: Kleinjohann, Lisa id: '15588' last_name: Kleinjohann - first_name: Maarten full_name: Bieshaar, Maarten last_name: Bieshaar citation: ama: 'Jungmann A, Kleinjohann B, Kleinjohann L, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). Xpert Publishing Services; 2012.' apa: Jungmann, A., Kleinjohann, B., Kleinjohann, L., & Bieshaar, M. (2012). Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services. bibtex: '@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}, booktitle={Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten}, year={2012} }' chicago: Jungmann, Alexander, Bernd Kleinjohann, Lisa Kleinjohann, and Maarten Bieshaar. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” In Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). Xpert Publishing Services, 2012. ieee: A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services, 2012. mla: Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012. short: 'A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.' conference: name: 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services date_created: 2021-10-11T11:47:17Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng publication: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE) publisher: Xpert Publishing Services status: public title: Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26035' author: - first_name: Stefan full_name: Grösbrink, Stefan last_name: Grösbrink - first_name: Simon full_name: Oberthür, Simon id: '383' last_name: Oberthür - first_name: Daniel full_name: Baldin, Daniel last_name: Baldin citation: ama: 'Grösbrink S, Oberthür S, Baldin D. Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). ; 2012.' apa: Grösbrink, S., Oberthür, S., & Baldin, D. (2012). Dynamic Resource Management for Virtualized Mixed-Criticality Systems. Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). 12. - 16. Mrz. 2012. bibtex: '@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Dynamic Resource Management for Virtualized Mixed-Criticality Systems}, booktitle={Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)}, author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }' chicago: Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Dynamic Resource Management for Virtualized Mixed-Criticality Systems.” In Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012. ieee: S. Grösbrink, S. Oberthür, and D. Baldin, “Dynamic Resource Management for Virtualized Mixed-Criticality Systems,” presented at the 12. - 16. Mrz. 2012, 2012. mla: Grösbrink, Stefan, et al. “Dynamic Resource Management for Virtualized Mixed-Criticality Systems.” Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012. short: 'S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.' conference: name: ' 12. - 16. Mrz. 2012' date_created: 2021-10-11T11:53:51Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng publication: Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012) status: public title: Dynamic Resource Management for Virtualized Mixed-Criticality Systems type: conference user_id: '21240' year: '2012' ... --- _id: '26036' author: - first_name: Marcio F. full_name: Oliveira, Marcio F. last_name: Oliveira - first_name: Christoph full_name: Kuznik, Christoph last_name: Kuznik - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Wolfgang full_name: Ecker, Wolfgang last_name: Ecker - first_name: Volkan full_name: Esen, Volkan last_name: Esen citation: ama: 'Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON). ; 2012.' apa: Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., & Esen, V. (2012). A SystemC Library for Advanced TLM Verification. Proceeding of Design and Verification Conference (DVCON). bibtex: '@inproceedings{Oliveira_Kuznik_Müller_Ecker_Esen_2012, title={A SystemC Library for Advanced TLM Verification}, booktitle={Proceeding of Design and Verification Conference (DVCON)}, author={Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan}, year={2012} }' chicago: Oliveira, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In Proceeding of Design and Verification Conference (DVCON), 2012. ieee: M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012. mla: Oliveira, Marcio F., et al. “A SystemC Library for Advanced TLM Verification.” Proceeding of Design and Verification Conference (DVCON), 2012. short: 'M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.' date_created: 2021-10-11T11:57:27Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng publication: Proceeding of Design and Verification Conference (DVCON) status: public title: A SystemC Library for Advanced TLM Verification type: conference user_id: '21240' year: '2012' ... --- _id: '26037' author: - first_name: Francisco A. M. full_name: Nascimento, Francisco A. M. last_name: Nascimento - first_name: Marcio F. full_name: Oliveira, Marcio F. last_name: Oliveira - first_name: Flavio full_name: Wagner, Flavio last_name: Wagner citation: ama: Nascimento FAM, Oliveira MF, Wagner F. A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8. Published online 2012:19-33. apa: Nascimento, F. A. M., Oliveira, M. F., & Wagner, F. (2012). A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8, 19–33. bibtex: '@article{Nascimento_Oliveira_Wagner_2012, title={A model-driven engineering framework for embedded systems design}, journal={Innovations in Systems and Software Engineering 8}, author={Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio}, year={2012}, pages={19–33} }' chicago: Nascimento, Francisco A. M., Marcio F. Oliveira, and Flavio Wagner. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, 19–33. ieee: F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” Innovations in Systems and Software Engineering 8, pp. 19–33, 2012. mla: Nascimento, Francisco A. M., et al. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, pp. 19–33. short: F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33. date_created: 2021-10-11T12:01:25Z date_updated: 2022-01-06T06:57:15Z department: - _id: '672' language: - iso: eng page: 19-33 publication: Innovations in Systems and Software Engineering 8 status: public title: A model-driven engineering framework for embedded systems design type: journal_article user_id: '21240' year: '2012' ...