[{"user_id":"21240","_id":"25783","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:12Z","year":"2012","title":"A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems","status":"public","conference":{"location":"27. - 29. Jun. 2012"},"author":[{"first_name":"Stefan","last_name":"Grösbrink","full_name":"Grösbrink, Stefan"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2021-10-07T13:05:50Z","publication":"Symposium on System-integrated Intelligence","citation":{"mla":"Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration in Heterogeneous Multi-Processor Systems.” <i>Symposium on System-Integrated Intelligence</i>, 2012.","apa":"Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. <i>Symposium on System-Integrated Intelligence</i>.","ieee":"S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.","ama":"Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: <i>Symposium on System-Integrated Intelligence</i>. ; 2012.","short":"S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.","chicago":"Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration in Heterogeneous Multi-Processor Systems.” In <i>Symposium on System-Integrated Intelligence</i>, 2012.","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} }"}},{"user_id":"21240","main_file_link":[{"url":"http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6263914&isnumber=6263904"}],"_id":"26022","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:15Z","status":"public","year":"2012","title":"Binary Mutation Testing Through Dynamic Translation","author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"last_name":"Joy","first_name":"M. tech. Mabel Mary","full_name":"Joy, M. tech. Mabel Mary"},{"last_name":"Xie","first_name":"Tao","full_name":"Xie, Tao"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2021-10-11T08:39:53Z","publication":" 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","citation":{"apa":"Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>.","ieee":"M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 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.","chicago":"Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>, 2012.","mla":"Becker, Markus, et al. “Binary Mutation Testing Through Dynamic Translation.” <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>, 2012.","ama":"Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)</i>. ; 2012.","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} }"}},{"title":"Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms","status":"public","year":"2012","author":[{"full_name":"He, Da","first_name":"Da","last_name":"He"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"date_updated":"2022-01-06T06:57:15Z","language":[{"iso":"eng"}],"_id":"26023","publisher":"IEEE Xplore","user_id":"21240","publication":"Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)","citation":{"ieee":"D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.","apa":"He, D., &#38; Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>.","short":"D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.","chicago":"He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” In <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE Xplore, 2012.","mla":"He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>, IEEE Xplore, 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} }","ama":"He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: <i>Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE Xplore; 2012."},"date_created":"2021-10-11T08:43:05Z","type":"conference","department":[{"_id":"672"}]},{"publication":"edaWorkshop 12","citation":{"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. <i>EdaWorkshop 12</i>.","ieee":"S. Radke <i>et al.</i>, “Compilation of Methodologies to Speed up the Verification Process at System Level,” 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.","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 <i>EdaWorkshop 12</i>, 2012.","mla":"Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” <i>EdaWorkshop 12</i>, 2012.","ama":"Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: <i>EdaWorkshop 12</i>. ; 2012.","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} }"},"type":"conference","department":[{"_id":"672"}],"date_created":"2021-10-11T08:54:53Z","date_updated":"2022-01-06T06:57:15Z","status":"public","year":"2012","title":"Compilation of Methodologies to Speed up the Verification Process at System Level","author":[{"full_name":"Radke, Stephan","last_name":"Radke","first_name":"Stephan"},{"full_name":"Rülke, Steffen","last_name":"Rülke","first_name":"Steffen"},{"first_name":"Marcio F.","last_name":"Oliveira","full_name":"Oliveira, Marcio F."},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Wolfgang","last_name":"Ecker","full_name":"Ecker, Wolfgang"},{"first_name":"Volkan","last_name":"Esen","full_name":"Esen, Volkan"},{"full_name":"Hufnagel, Simon","last_name":"Hufnagel","first_name":"Simon"},{"last_name":"Bannow","first_name":"Nico","full_name":"Bannow, Nico"},{"full_name":"Oetjens, Jan-Hendrik","last_name":"Oetjens","first_name":"Jan-Hendrik"},{"full_name":"Brazdrum, Helmut","last_name":"Brazdrum","first_name":"Helmut"},{"full_name":"Janssen, Peter","first_name":"Peter","last_name":"Janssen"},{"full_name":"Le, Hoang M.","last_name":"Le","first_name":"Hoang M."},{"full_name":"Große, Daniel","last_name":"Große","first_name":"Daniel"},{"full_name":"Haedicke, Finn","first_name":"Finn","last_name":"Haedicke"},{"last_name":"Drechsler","first_name":"Rolf","full_name":"Drechsler, Rolf"},{"first_name":"Gernot","last_name":"Koch","full_name":"Koch, Gernot"},{"last_name":"Burger","first_name":"Andreas","full_name":"Burger, Andreas"},{"full_name":"Bringmann, Oliver","first_name":"Oliver","last_name":"Bringmann"},{"last_name":"Rosenstiel","first_name":"Wolfgang","full_name":"Rosenstiel, Wolfgang"},{"first_name":"Ralph","last_name":"Görgen","full_name":"Görgen, Ralph"}],"user_id":"21240","main_file_link":[{"url":"http://www.vde-verlag.de/proceedings-de/563428010.html"}],"_id":"26024","language":[{"iso":"eng"}]},{"department":[{"_id":"672"}],"type":"book_chapter","date_created":"2021-10-11T09:06:41Z","citation":{"mla":"Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond Quality Control by Means of Cytokine-Formal Immune Networks.” <i>Journal of Intelligent Manufacturing 23(3)</i>, Published online on June 2010, 2012, pp. 699–715.","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} }","ama":"Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: <i>Journal of Intelligent Manufacturing 23(3)</i>. Published online on June 2010; 2012:699-715.","ieee":"N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks,” in <i>Journal of Intelligent Manufacturing 23(3)</i>, Published online on June 2010, 2012, pp. 699–715.","apa":"Montealegre, N., &#38; Hagenkötter, S. (2012). Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In <i>Journal of Intelligent Manufacturing 23(3)</i> (pp. 699–715). Published online on June 2010.","short":"N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.","chicago":"Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond Quality Control by Means of Cytokine-Formal Immune Networks.” In <i>Journal of Intelligent Manufacturing 23(3)</i>, 699–715. Published online on June 2010, 2012."},"publication":"Journal of Intelligent Manufacturing 23(3)","user_id":"21240","publisher":"Published online on June 2010","_id":"26025","language":[{"iso":"eng"}],"page":"699-715","date_updated":"2022-01-06T06:57:15Z","author":[{"full_name":"Montealegre, Norma","first_name":"Norma","last_name":"Montealegre"},{"first_name":"Sebastian","last_name":"Hagenkötter","full_name":"Hagenkötter, Sebastian"}],"status":"public","year":"2012","title":"Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks"},{"language":[{"iso":"eng"}],"_id":"26026","user_id":"21240","year":"2012","status":"public","title":"Towards Adaptive Resource Management for Virtualized Real-Time Systems","conference":{"name":"16. - 19. Apr. 2012"},"author":[{"first_name":"Stefan","last_name":"Grösbrink","full_name":"Grösbrink, Stefan"},{"full_name":"Oberthür, Simon","first_name":"Simon","last_name":"Oberthür","id":"383"},{"full_name":"Baldin, Daniel","first_name":"Daniel","last_name":"Baldin"}],"date_updated":"2022-01-06T06:57:15Z","date_created":"2021-10-11T09:09:04Z","type":"conference","department":[{"_id":"672"}],"publication":"4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)","citation":{"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} }","ama":"Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: <i>4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)</i>. ; 2012.","mla":"Grösbrink, Stefan, et al. “Towards Adaptive Resource Management for Virtualized Real-Time Systems.” <i>4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)</i>, 2012.","chicago":"Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Towards Adaptive Resource Management for Virtualized Real-Time Systems.” In <i>4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)</i>, 2012.","short":"S. Grösbrink, S. Oberthür, D. Baldin, 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.","apa":"Grösbrink, S., Oberthür, S., &#38; Baldin, D. (2012). Towards Adaptive Resource Management for Virtualized Real-Time Systems. <i>4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)</i>. 16. - 19. Apr. 2012."}},{"date_created":"2021-10-11T09:35:46Z","department":[{"_id":"672"}],"type":"conference","citation":{"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.","chicago":"Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” In <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>, 154–61.  IEEE Computer Society, 2012.","ieee":"Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time Systems,” in <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>, 2012, pp. 154–161.","apa":"Zhao, Y., &#38; Rammig, F.-J. (2012). Online Model Checking for Dependable Real-time Systems. <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>, 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} }","ama":"Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>.  IEEE Computer Society; 2012:154-161.","mla":"Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” <i>16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China</i>,  IEEE Computer Society, 2012, pp. 154–61."},"publication":"16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China","language":[{"iso":"eng"}],"_id":"26027","publisher":" IEEE Computer Society","page":"154-161","user_id":"21240","conference":{"name":"11. - 13. Apr. 2012 IEEE Computer Society,"},"author":[{"first_name":"Yuhong","last_name":"Zhao","full_name":"Zhao, Yuhong"},{"full_name":"Rammig, Franz-Josef","first_name":"Franz-Josef","last_name":"Rammig"}],"status":"public","year":"2012","title":"Online Model Checking for Dependable Real-time Systems","date_updated":"2022-01-06T06:57:15Z"},{"date_updated":"2022-01-06T06:57:15Z","status":"public","title":"Agent-Based Modeling and Simulation of Artificial Immune Systems","year":"2012","author":[{"last_name":"Montealegre","first_name":"Norma","full_name":"Montealegre, Norma"},{"first_name":"Franz-Josef","last_name":"Rammig","full_name":"Rammig, Franz-Josef"}],"user_id":"21240","_id":"26028","language":[{"iso":"eng"}],"publication":"Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)","citation":{"mla":"Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” <i>Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)</i>, 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} }","ama":"Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial Immune Systems. In: <i>Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)</i>. ; 2012.","ieee":"N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012.","apa":"Montealegre, N., &#38; Rammig, F.-J. (2012). Agent-Based Modeling and Simulation of Artificial Immune Systems. <i>Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)</i>.","chicago":"Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” In <i>Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)</i>. Shenzhen, China, 2012.","short":"N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012."},"type":"conference","department":[{"_id":"672"}],"place":"Shenzhen, China","date_created":"2021-10-11T09:49:33Z"},{"status":"public","title":"Self-Coordination as Fundamental Concept for Cyber Physical Systems","year":"2012","author":[{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"date_updated":"2022-01-06T06:57:15Z","page":"45-48","language":[{"iso":"eng"}],"_id":"26029","publisher":"SBC","user_id":"21240","publication":"2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012","citation":{"ieee":"F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical Systems,” in <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>, 2012, pp. 45–48.","apa":"Rammig, F.-J. (2012). Self-Coordination as Fundamental Concept for Cyber Physical Systems. <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>, 45–48.","chicago":"Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” In <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>, 45–48. Ouro Preto, Brazil: SBC, 2012.","short":"F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.","mla":"Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>, SBC, 2012, pp. 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} }","ama":"Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>. SBC; 2012:45-48."},"place":"Ouro Preto, Brazil","date_created":"2021-10-11T09:54:50Z","type":"conference","department":[{"_id":"672"}]},{"user_id":"21240","publisher":"IEEE Computer Society","_id":"26030","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:15Z","year":"2012","status":"public","title":"Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks","author":[{"full_name":"Mathews, Emi","last_name":"Mathews","first_name":"Emi"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2021-10-11T10:10:44Z","publication":"Ninth International Conference On Information Technology : New Generations (ITNG)","citation":{"chicago":"Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs in Realistic Wireless Networks.” In <i>Ninth International Conference On Information Technology : New Generations (ITNG)</i>. IEEE Computer Society, 2012.","short":"E. Mathews, 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.","apa":"Mathews, E. (2012). Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. <i>Ninth International Conference On Information Technology : New Generations (ITNG)</i>.","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} }","ama":"Mathews E. Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: <i>Ninth International Conference On Information Technology : New Generations (ITNG)</i>. IEEE Computer Society; 2012.","mla":"Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs in Realistic Wireless Networks.” <i>Ninth International Conference On Information Technology : New Generations (ITNG)</i>, IEEE Computer Society, 2012."}},{"date_created":"2021-10-11T10:16:06Z","type":"conference","department":[{"_id":"672"}],"publication":"2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)","citation":{"mla":"He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems.” <i>2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>, IEEE Xplore, 2012.","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} }","ama":"He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: <i>2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>. IEEE Xplore; 2012.","ieee":"D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012.","apa":"He, D., &#38; Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. <i>2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>.","chicago":"He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems.” In <i>2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>. 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."},"language":[{"iso":"eng"}],"_id":"26031","publisher":"IEEE Xplore","user_id":"21240","title":"Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems","status":"public","year":"2012","author":[{"full_name":"He, Da","last_name":"He","first_name":"Da"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"date_updated":"2022-01-06T06:57:15Z"},{"citation":{"mla":"Stern, Claudius, et al. “Efficient Alignment of Aerial Images Based on Virtual Forces.” <i>Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)</i>, IEEE Xplore, 2012.","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} }","ama":"Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial Images Based on Virtual Forces. In: <i>Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)</i>. 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.","apa":"Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Efficient Alignment of Aerial Images Based on Virtual Forces. <i>Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)</i>. 25. - 30. Mrz. 2012 IARIA, IEEE Xplore.","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.","chicago":"Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Efficient Alignment of Aerial Images Based on Virtual Forces.” In <i>Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)</i>. St. Maarten, Netherlands Antilles: IEEE Xplore, 2012."},"publication":"Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)","abstract":[{"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.","lang":"eng"}],"place":"St. Maarten, Netherlands Antilles","date_created":"2021-10-11T11:20:43Z","department":[{"_id":"672"}],"type":"conference","conference":{"name":"25. - 30. Mrz. 2012 IARIA, IEEE Xplore"},"author":[{"last_name":"Stern","first_name":"Claudius","full_name":"Stern, Claudius"},{"full_name":"Rasche, Christoph","first_name":"Christoph","last_name":"Rasche"},{"id":"15588","first_name":"Lisa","last_name":"Kleinjohann","full_name":"Kleinjohann, Lisa"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"}],"year":"2012","status":"public","title":"Efficient Alignment of Aerial Images Based on Virtual Forces","date_updated":"2022-01-06T06:57:15Z","_id":"26032","language":[{"iso":"eng"}],"publisher":"IEEE Xplore","user_id":"21240"},{"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."}],"publication":"Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)","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: <i>Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)</i>. Xpert Publishing Services; 2012.","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} }","mla":"Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” <i>Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)</i>, 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.","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 <i>Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)</i>. Xpert Publishing Services, 2012.","apa":"Jungmann, A., Kleinjohann, B., Kleinjohann, L., &#38; Bieshaar, M. (2012). Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. <i>Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)</i>. 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services.","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."},"type":"conference","department":[{"_id":"672"}],"date_created":"2021-10-11T11:47:17Z","date_updated":"2022-01-06T06:57:15Z","status":"public","title":"Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems","year":"2012","conference":{"name":"25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services"},"author":[{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"last_name":"Kleinjohann","first_name":"Bernd","full_name":"Kleinjohann, Bernd"},{"id":"15588","first_name":"Lisa","last_name":"Kleinjohann","full_name":"Kleinjohann, Lisa"},{"full_name":"Bieshaar, Maarten","last_name":"Bieshaar","first_name":"Maarten"}],"user_id":"21240","_id":"26034","language":[{"iso":"eng"}],"publisher":"Xpert Publishing Services"},{"user_id":"21240","_id":"26035","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:15Z","author":[{"last_name":"Grösbrink","first_name":"Stefan","full_name":"Grösbrink, Stefan"},{"last_name":"Oberthür","first_name":"Simon","full_name":"Oberthür, Simon","id":"383"},{"full_name":"Baldin, Daniel","first_name":"Daniel","last_name":"Baldin"}],"conference":{"name":" 12. - 16. Mrz. 2012"},"status":"public","title":"Dynamic Resource Management for Virtualized Mixed-Criticality Systems","year":"2012","department":[{"_id":"672"}],"type":"conference","date_created":"2021-10-11T11:53:51Z","citation":{"ama":"Grösbrink S, Oberthür S, Baldin D. Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: <i>Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012)</i>. ; 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} }","mla":"Grösbrink, Stefan, et al. “Dynamic Resource Management for Virtualized Mixed-Criticality Systems.” <i>Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012)</i>, 2012.","chicago":"Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Dynamic Resource Management for Virtualized Mixed-Criticality Systems.” In <i>Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012)</i>, 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.","apa":"Grösbrink, S., Oberthür, S., &#38; Baldin, D. (2012). Dynamic Resource Management for Virtualized Mixed-Criticality Systems. <i>Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012)</i>.  12. - 16. Mrz. 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."},"publication":"Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)"},{"status":"public","year":"2012","title":"A SystemC Library for Advanced TLM Verification","author":[{"full_name":"Oliveira, Marcio F.","last_name":"Oliveira","first_name":"Marcio F."},{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Ecker","first_name":"Wolfgang","full_name":"Ecker, Wolfgang"},{"full_name":"Esen, Volkan","last_name":"Esen","first_name":"Volkan"}],"date_updated":"2022-01-06T06:57:15Z","language":[{"iso":"eng"}],"_id":"26036","user_id":"21240","publication":"Proceeding of Design and Verification Conference (DVCON)","citation":{"chicago":"Oliveira, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In <i>Proceeding of Design and Verification Conference (DVCON)</i>, 2012.","short":"M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.","ama":"Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: <i>Proceeding of Design and Verification Conference (DVCON)</i>. ; 2012.","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} }","mla":"Oliveira, Marcio F., et al. “A SystemC Library for Advanced TLM Verification.” <i>Proceeding of Design and Verification Conference (DVCON)</i>, 2012.","apa":"Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., &#38; Esen, V. (2012). A SystemC Library for Advanced TLM Verification. <i>Proceeding of Design and Verification Conference (DVCON)</i>.","ieee":"M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012."},"date_created":"2021-10-11T11:57:27Z","type":"conference","department":[{"_id":"672"}]},{"publication":"Innovations in Systems and Software Engineering 8","citation":{"apa":"Nascimento, F. A. M., Oliveira, M. F., &#38; Wagner, F. (2012). A model-driven engineering framework for embedded systems design. <i>Innovations in Systems and Software Engineering 8</i>, 19–33.","ieee":"F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” <i>Innovations in Systems and Software Engineering 8</i>, pp. 19–33, 2012.","short":"F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.","chicago":"Nascimento, Francisco A. M., Marcio F. Oliveira, and Flavio Wagner. “A Model-Driven Engineering Framework for Embedded Systems Design.” <i>Innovations in Systems and Software Engineering 8</i>, 2012, 19–33.","mla":"Nascimento, Francisco A. M., et al. “A Model-Driven Engineering Framework for Embedded Systems Design.” <i>Innovations in Systems and Software Engineering 8</i>, 2012, pp. 19–33.","ama":"Nascimento FAM, Oliveira MF, Wagner F. A model-driven engineering framework for embedded systems design. <i>Innovations in Systems and Software Engineering 8</i>. Published online 2012: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} }"},"type":"journal_article","department":[{"_id":"672"}],"date_created":"2021-10-11T12:01:25Z","date_updated":"2022-01-06T06:57:15Z","status":"public","title":"A model-driven engineering framework for embedded systems design","year":"2012","author":[{"full_name":"Nascimento, Francisco A. M.","last_name":"Nascimento","first_name":"Francisco A. M."},{"first_name":"Marcio F.","last_name":"Oliveira","full_name":"Oliveira, Marcio F."},{"first_name":"Flavio","last_name":"Wagner","full_name":"Wagner, Flavio"}],"user_id":"21240","page":"19-33","_id":"26037","language":[{"iso":"eng"}]},{"citation":{"mla":"Stefszky, Michael, et al. “Balanced Homodyne Detection of Optical Quantum States at Audio-Band Frequencies and Below.” <i>Classical and Quantum Gravity</i>, 145015, 2012, doi:<a href=\"https://doi.org/10.1088/0264-9381/29/14/145015\">10.1088/0264-9381/29/14/145015</a>.","apa":"Stefszky, M., Mow-Lowry, C. M., Chua, S. S. Y., Shaddock, D. A., Buchler, B. C., Vahlbruch, H., Khalaidovski, A., Schnabel, R., Lam, P. K., &#38; McClelland, D. E. (2012). Balanced homodyne detection of optical quantum states at audio-band frequencies and below. <i>Classical and Quantum Gravity</i>, Article 145015. <a href=\"https://doi.org/10.1088/0264-9381/29/14/145015\">https://doi.org/10.1088/0264-9381/29/14/145015</a>","ieee":"M. Stefszky <i>et al.</i>, “Balanced homodyne detection of optical quantum states at audio-band frequencies and below,” <i>Classical and Quantum Gravity</i>, Art. no. 145015, 2012, doi: <a href=\"https://doi.org/10.1088/0264-9381/29/14/145015\">10.1088/0264-9381/29/14/145015</a>.","ama":"Stefszky M, Mow-Lowry CM, Chua SSY, et al. Balanced homodyne detection of optical quantum states at audio-band frequencies and below. <i>Classical and Quantum Gravity</i>. Published online 2012. doi:<a href=\"https://doi.org/10.1088/0264-9381/29/14/145015\">10.1088/0264-9381/29/14/145015</a>","short":"M. Stefszky, C.M. Mow-Lowry, S.S.Y. Chua, D.A. Shaddock, B.C. Buchler, H. Vahlbruch, A. Khalaidovski, R. Schnabel, P.K. Lam, D.E. McClelland, Classical and Quantum Gravity (2012).","chicago":"Stefszky, Michael, C M Mow-Lowry, S S Y Chua, D A Shaddock, B C Buchler, H Vahlbruch, A Khalaidovski, R Schnabel, P K Lam, and D E McClelland. “Balanced Homodyne Detection of Optical Quantum States at Audio-Band Frequencies and Below.” <i>Classical and Quantum Gravity</i>, 2012. <a href=\"https://doi.org/10.1088/0264-9381/29/14/145015\">https://doi.org/10.1088/0264-9381/29/14/145015</a>.","bibtex":"@article{Stefszky_Mow-Lowry_Chua_Shaddock_Buchler_Vahlbruch_Khalaidovski_Schnabel_Lam_McClelland_2012, title={Balanced homodyne detection of optical quantum states at audio-band frequencies and below}, DOI={<a href=\"https://doi.org/10.1088/0264-9381/29/14/145015\">10.1088/0264-9381/29/14/145015</a>}, number={145015}, journal={Classical and Quantum Gravity}, author={Stefszky, Michael and Mow-Lowry, C M and Chua, S S Y and Shaddock, D A and Buchler, B C and Vahlbruch, H and Khalaidovski, A and Schnabel, R and Lam, P K and McClelland, D E}, year={2012} }"},"publication":"Classical and Quantum Gravity","date_created":"2021-10-11T14:10:40Z","type":"journal_article","publication_identifier":{"issn":["0264-9381","1361-6382"]},"author":[{"full_name":"Stefszky, Michael","last_name":"Stefszky","first_name":"Michael","id":"42777"},{"full_name":"Mow-Lowry, C M","last_name":"Mow-Lowry","first_name":"C M"},{"first_name":"S S Y","last_name":"Chua","full_name":"Chua, S S Y"},{"full_name":"Shaddock, D A","last_name":"Shaddock","first_name":"D A"},{"first_name":"B C","last_name":"Buchler","full_name":"Buchler, B C"},{"full_name":"Vahlbruch, H","first_name":"H","last_name":"Vahlbruch"},{"full_name":"Khalaidovski, A","first_name":"A","last_name":"Khalaidovski"},{"first_name":"R","last_name":"Schnabel","full_name":"Schnabel, R"},{"full_name":"Lam, P K","first_name":"P K","last_name":"Lam"},{"full_name":"McClelland, D E","first_name":"D E","last_name":"McClelland"}],"title":"Balanced homodyne detection of optical quantum states at audio-band frequencies and below","year":"2012","status":"public","date_updated":"2022-01-06T06:57:15Z","publication_status":"published","language":[{"iso":"eng"}],"_id":"26046","article_number":"145015","doi":"10.1088/0264-9381/29/14/145015","user_id":"42777"},{"publication":"Design, Automation and Test in Europe (DATE 2012)","citation":{"ama":"Becker M, Gnokam Defo GB, Müller W, Fummi F, Pravadelli G, Vinco S. MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. In: <i>Design, Automation and Test in Europe (DATE 2012)</i>. ; 2012.","bibtex":"@inproceedings{Becker_Gnokam Defo_Müller_Fummi_Pravadelli_Vinco_2012, place={Dresden}, title={MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution}, booktitle={Design, Automation and Test in Europe (DATE 2012)}, author={Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara}, year={2012} }","mla":"Becker, Markus, et al. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” <i>Design, Automation and Test in Europe (DATE 2012)</i>, 2012.","short":"M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.","chicago":"Becker, Markus, Gilles Bertrand Gnokam Defo, Wolfgang Müller, F. Fummi, G. Pravadelli, and Sara Vinco. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” In <i>Design, Automation and Test in Europe (DATE 2012)</i>. Dresden, 2012.","apa":"Becker, M., Gnokam Defo, G. B., Müller, W., Fummi, F., Pravadelli, G., &#38; Vinco, S. (2012). MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. <i>Design, Automation and Test in Europe (DATE 2012)</i>.","ieee":"M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S. Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,” 2012."},"type":"conference","department":[{"_id":"672"}],"date_created":"2021-10-12T10:06:15Z","place":"Dresden","date_updated":"2022-01-06T06:57:16Z","title":"MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution","year":"2012","status":"public","author":[{"last_name":"Becker","first_name":"Markus","full_name":"Becker, Markus"},{"last_name":"Gnokam Defo","first_name":"Gilles Bertrand","full_name":"Gnokam Defo, Gilles Bertrand"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Fummi, F.","last_name":"Fummi","first_name":"F."},{"full_name":"Pravadelli, G.","first_name":"G.","last_name":"Pravadelli"},{"last_name":"Vinco","first_name":"Sara","full_name":"Vinco, Sara"}],"user_id":"21240","_id":"26079","language":[{"iso":"eng"}]},{"status":"public","year":"2012","title":"Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains","author":[{"id":"54","last_name":"Betz","first_name":"Stefan","full_name":"Betz, Stefan"}],"date_updated":"2022-01-06T06:57:16Z","publication_status":"published","page":"49-72","_id":"2608","edition":"2","language":[{"iso":"ger"}],"user_id":"21811","editor":[{"last_name":"Betz","first_name":"Stefan","full_name":"Betz, Stefan"}],"publication":"Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand","citation":{"apa":"Betz, S. (2012). Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains. In S. Betz (Ed.), <i>Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand</i> (2nd ed., pp. 49–72). Hamburg.","ieee":"S. Betz, “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains,” in <i>Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand</i>, 2nd ed., S. Betz, Ed. Hamburg, 2012, pp. 49–72.","chicago":"Betz, Stefan. “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains.” In <i>Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand</i>, edited by Stefan Betz, 2nd ed., 49–72. Hamburg, 2012.","short":"S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 49–72.","mla":"Betz, Stefan. “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains.” <i>Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand</i>, edited by Stefan Betz, 2nd ed., 2012, pp. 49–72.","ama":"Betz S. Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains. In: Betz S, ed. <i>Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand</i>. 2nd ed. Hamburg; 2012:49-72.","bibtex":"@inbook{Betz_2012, place={Hamburg}, edition={2}, title={Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains}, booktitle={Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}, author={Betz, Stefan}, editor={Betz, StefanEditor}, year={2012}, pages={49–72} }"},"place":"Hamburg","date_created":"2018-05-03T12:05:08Z","type":"book_chapter","department":[{"_id":"193"}]},{"date_updated":"2022-01-06T06:57:16Z","author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"first_name":"M. tech. Mabel","last_name":"Joy","full_name":"Joy, M. tech. Mabel"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"status":"public","year":"2012","title":"XEMU: A QEMU Based Binary Mutation Testing Framework","user_id":"21240","language":[{"iso":"eng"}],"_id":"26080","citation":{"chicago":"Becker, Markus, Christoph Kuznik, M. tech. Mabel Joy, Tao Xie, and Wolfgang Müller. “XEMU: A QEMU Based Binary Mutation Testing Framework.” In <i>Design, Automation and Test in Europe DATE</i>. University Booth, Dresden, 2012.","short":"M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.","ieee":"M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.","apa":"Becker, M., Kuznik, C., Joy, M. tech. M., Xie, T., &#38; Müller, W. (2012). XEMU: A QEMU Based Binary Mutation Testing Framework. <i>Design, Automation and Test in Europe DATE</i>.","bibtex":"@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, place={University Booth, Dresden}, title={XEMU: A QEMU Based Binary Mutation Testing Framework}, booktitle={Design, Automation and Test in Europe DATE}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}, year={2012} }","ama":"Becker M, Kuznik C, Joy M tech. M, Xie T, Müller W. XEMU: A QEMU Based Binary Mutation Testing Framework. In: <i>Design, Automation and Test in Europe DATE</i>. ; 2012.","mla":"Becker, Markus, et al. “XEMU: A QEMU Based Binary Mutation Testing Framework.” <i>Design, Automation and Test in Europe DATE</i>, 2012."},"publication":"Design, Automation and Test in Europe DATE","department":[{"_id":"672"}],"type":"conference","date_created":"2021-10-12T10:57:15Z","place":"University Booth, Dresden"}]