[{"publication_identifier":{"issn":["1064-5462","1530-9185"]},"publication_status":"published","issue":"2","year":"2012","page":"165-198","intvolume":"        18","citation":{"apa":"Hamann, H., Schmickl, T., &#38; Crailsheim, K. (2012). A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems. <i>Artificial Life</i>, <i>18</i>(2), 165–198. <a href=\"https://doi.org/10.1162/artl_a_00058\">https://doi.org/10.1162/artl_a_00058</a>","bibtex":"@article{Hamann_Schmickl_Crailsheim_2012, title={A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems}, volume={18}, DOI={<a href=\"https://doi.org/10.1162/artl_a_00058\">10.1162/artl_a_00058</a>}, number={2}, journal={Artificial Life}, author={Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}, year={2012}, pages={165–198} }","mla":"Hamann, Heiko, et al. “A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems.” <i>Artificial Life</i>, vol. 18, no. 2, 2012, pp. 165–98, doi:<a href=\"https://doi.org/10.1162/artl_a_00058\">10.1162/artl_a_00058</a>.","short":"H. Hamann, T. Schmickl, K. Crailsheim, Artificial Life 18 (2012) 165–198.","ama":"Hamann H, Schmickl T, Crailsheim K. A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems. <i>Artificial Life</i>. 2012;18(2):165-198. doi:<a href=\"https://doi.org/10.1162/artl_a_00058\">10.1162/artl_a_00058</a>","ieee":"H. Hamann, T. Schmickl, and K. Crailsheim, “A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems,” <i>Artificial Life</i>, vol. 18, no. 2, pp. 165–198, 2012.","chicago":"Hamann, Heiko, Thomas Schmickl, and Karl Crailsheim. “A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems.” <i>Artificial Life</i> 18, no. 2 (2012): 165–98. <a href=\"https://doi.org/10.1162/artl_a_00058\">https://doi.org/10.1162/artl_a_00058</a>."},"date_updated":"2022-01-06T06:54:21Z","volume":18,"author":[{"first_name":"Heiko","full_name":"Hamann, Heiko","last_name":"Hamann"},{"full_name":"Schmickl, Thomas","last_name":"Schmickl","first_name":"Thomas"},{"last_name":"Crailsheim","full_name":"Crailsheim, Karl","first_name":"Karl"}],"date_created":"2020-10-22T09:51:39Z","title":"A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems","doi":"10.1162/artl_a_00058","publication":"Artificial Life","type":"journal_article","abstract":[{"text":"One of the main challenges in automatic controller synthesis is to develop methods that can successfully be applied for complex tasks. The difficulty is increased even more in the case of settings with multiple interacting agents. We apply the artificial homeostatic hormone system (AHHS) approach, which is inspired by the signaling network of unicellular organisms, to control a system of several independently acting agents decentrally. The approach is designed for evaluation-minimal, artificial evolution in order to be applicable to complex modular robotics scenarios. The performance of AHHS controllers is compared with neuroevolution of augmenting topologies (NEAT) in the coupled inverted pendulums benchmark. AHHS controllers are found to be better for multimodular settings. We analyze the evolved controllers with regard to the usage of sensory inputs and the emerging oscillations, and we give a nonlinear dynamics interpretation. The generalization of evolved controllers to initial conditions far from the original conditions is investigated and found to be good. Similarly, the performance of controllers scales well even with module numbers different from the original domain the controller was evolved for. Two reference implementations of a similar controller approach are reported and shown to have shortcomings. We discuss the related work and conclude by summarizing the main contributions of our work.","lang":"eng"}],"status":"public","_id":"20177","department":[{"_id":"63"},{"_id":"238"}],"user_id":"15415","language":[{"iso":"eng"}]},{"_id":"20178","user_id":"15415","department":[{"_id":"63"},{"_id":"238"}],"language":[{"iso":"eng"}],"type":"journal_article","publication":"Neural Computing and Applications","status":"public","date_updated":"2022-01-06T06:54:21Z","date_created":"2020-10-22T09:56:20Z","author":[{"last_name":"Hamann","full_name":"Hamann, Heiko","first_name":"Heiko"},{"last_name":"Schmickl","full_name":"Schmickl, Thomas","first_name":"Thomas"},{"last_name":"Wörn","full_name":"Wörn, Heinz","first_name":"Heinz"},{"full_name":"Crailsheim, Karl","last_name":"Crailsheim","first_name":"Karl"}],"volume":21,"title":"Analysis of emergent symmetry breaking in collective decision making","doi":"10.1007/s00521-010-0368-6","publication_status":"published","publication_identifier":{"issn":["0941-0643","1433-3058"]},"issue":"2","year":"2012","citation":{"apa":"Hamann, H., Schmickl, T., Wörn, H., &#38; Crailsheim, K. (2012). Analysis of emergent symmetry breaking in collective decision making. <i>Neural Computing and Applications</i>, <i>21</i>(2), 207–218. <a href=\"https://doi.org/10.1007/s00521-010-0368-6\">https://doi.org/10.1007/s00521-010-0368-6</a>","mla":"Hamann, Heiko, et al. “Analysis of Emergent Symmetry Breaking in Collective Decision Making.” <i>Neural Computing and Applications</i>, vol. 21, no. 2, 2012, pp. 207–18, doi:<a href=\"https://doi.org/10.1007/s00521-010-0368-6\">10.1007/s00521-010-0368-6</a>.","bibtex":"@article{Hamann_Schmickl_Wörn_Crailsheim_2012, title={Analysis of emergent symmetry breaking in collective decision making}, volume={21}, DOI={<a href=\"https://doi.org/10.1007/s00521-010-0368-6\">10.1007/s00521-010-0368-6</a>}, number={2}, journal={Neural Computing and Applications}, author={Hamann, Heiko and Schmickl, Thomas and Wörn, Heinz and Crailsheim, Karl}, year={2012}, pages={207–218} }","short":"H. Hamann, T. Schmickl, H. Wörn, K. Crailsheim, Neural Computing and Applications 21 (2012) 207–218.","ama":"Hamann H, Schmickl T, Wörn H, Crailsheim K. Analysis of emergent symmetry breaking in collective decision making. <i>Neural Computing and Applications</i>. 2012;21(2):207-218. doi:<a href=\"https://doi.org/10.1007/s00521-010-0368-6\">10.1007/s00521-010-0368-6</a>","chicago":"Hamann, Heiko, Thomas Schmickl, Heinz Wörn, and Karl Crailsheim. “Analysis of Emergent Symmetry Breaking in Collective Decision Making.” <i>Neural Computing and Applications</i> 21, no. 2 (2012): 207–18. <a href=\"https://doi.org/10.1007/s00521-010-0368-6\">https://doi.org/10.1007/s00521-010-0368-6</a>.","ieee":"H. Hamann, T. Schmickl, H. Wörn, and K. Crailsheim, “Analysis of emergent symmetry breaking in collective decision making,” <i>Neural Computing and Applications</i>, vol. 21, no. 2, pp. 207–218, 2012."},"intvolume":"        21","page":"207-218"},{"type":"conference","publication":"Swarm Intelligence: 8th International Conference, ANTS 2012","status":"public","_id":"20179","user_id":"15415","department":[{"_id":"63"},{"_id":"238"}],"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["9783642326493","9783642326509"],"issn":["0302-9743","1611-3349"]},"place":"Berlin, Heidelberg","year":"2012","citation":{"ama":"Hamann H, Engelbrecht A, Birattari M, et al. Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions. In: <i>Swarm Intelligence: 8th International Conference, ANTS 2012</i>. Vol 7461. Berlin, Heidelberg: Springer; 2012:168-179. doi:<a href=\"https://doi.org/10.1007/978-3-642-32650-9_15\">10.1007/978-3-642-32650-9_15</a>","ieee":"H. Hamann <i>et al.</i>, “Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions,” in <i>Swarm Intelligence: 8th International Conference, ANTS 2012</i>, 2012, vol. 7461, pp. 168–179.","chicago":"Hamann, Heiko, Andreas Engelbrecht, Mauro Birattari, Marco Dorigo, Christian Blum, Thomas Stuetzle, Anders Lyhne Christensen, and Roderich Gross. “Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions.” In <i>Swarm Intelligence: 8th International Conference, ANTS 2012</i>, 7461:168–79. Berlin, Heidelberg: Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-32650-9_15\">https://doi.org/10.1007/978-3-642-32650-9_15</a>.","bibtex":"@inproceedings{Hamann_Engelbrecht_Birattari_Dorigo_Blum_Stuetzle_Christensen_Gross_2012, place={Berlin, Heidelberg}, title={Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions}, volume={7461}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-32650-9_15\">10.1007/978-3-642-32650-9_15</a>}, booktitle={Swarm Intelligence: 8th International Conference, ANTS 2012}, publisher={Springer}, author={Hamann, Heiko and Engelbrecht, Andreas and Birattari, Mauro and Dorigo, Marco and Blum, Christian and Stuetzle, Thomas and Christensen, Anders Lyhne and Gross, Roderich}, year={2012}, pages={168–179} }","short":"H. Hamann, A. Engelbrecht, M. Birattari, M. Dorigo, C. Blum, T. Stuetzle, A.L. Christensen, R. Gross, in: Swarm Intelligence: 8th International Conference, ANTS 2012, Springer, Berlin, Heidelberg, 2012, pp. 168–179.","mla":"Hamann, Heiko, et al. “Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions.” <i>Swarm Intelligence: 8th International Conference, ANTS 2012</i>, vol. 7461, Springer, 2012, pp. 168–79, doi:<a href=\"https://doi.org/10.1007/978-3-642-32650-9_15\">10.1007/978-3-642-32650-9_15</a>.","apa":"Hamann, H., Engelbrecht, A., Birattari, M., Dorigo, M., Blum, C., Stuetzle, T., … Gross, R. (2012). Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions. In <i>Swarm Intelligence: 8th International Conference, ANTS 2012</i> (Vol. 7461, pp. 168–179). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-642-32650-9_15\">https://doi.org/10.1007/978-3-642-32650-9_15</a>"},"intvolume":"      7461","page":"168-179","publisher":"Springer","date_updated":"2022-01-06T06:54:21Z","author":[{"first_name":"Heiko","full_name":"Hamann, Heiko","last_name":"Hamann"},{"first_name":"Andreas","last_name":"Engelbrecht","full_name":"Engelbrecht, Andreas"},{"full_name":"Birattari, Mauro","last_name":"Birattari","first_name":"Mauro"},{"full_name":"Dorigo, Marco","last_name":"Dorigo","first_name":"Marco"},{"full_name":"Blum, Christian","last_name":"Blum","first_name":"Christian"},{"first_name":"Thomas","full_name":"Stuetzle, Thomas","last_name":"Stuetzle"},{"last_name":"Christensen","full_name":"Christensen, Anders Lyhne","first_name":"Anders Lyhne"},{"first_name":"Roderich","full_name":"Gross, Roderich","last_name":"Gross"}],"date_created":"2020-10-22T10:00:11Z","volume":7461,"title":"Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions","doi":"10.1007/978-3-642-32650-9_15"},{"publisher":"IEEE","date_updated":"2022-01-06T06:57:12Z","date_created":"2021-10-07T10:33:59Z","author":[{"last_name":"Joy","full_name":"Joy, M. tech. Mabel Mary","first_name":"M. tech. Mabel Mary"},{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"first_name":"Emi","last_name":"Mathews","full_name":"Mathews, Emi"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"title":"Automated Source Code Annotation for Timing Analysis of Embedded Software","conference":{"location":" Bangalore, 14. - 16. Dez. 2012, IEEE"},"year":"2012","citation":{"chicago":"Joy, M. tech. Mabel Mary, Markus Becker, Emi Mathews, and Wolfgang Müller. “Automated Source Code Annotation for Timing Analysis of Embedded Software.” In <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>. IEEE, 2012.","ieee":"M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source Code Annotation for Timing Analysis of Embedded Software,”  Bangalore, 14. - 16. Dez. 2012, IEEE, 2012.","ama":"Joy M tech. MM, Becker M, Mathews E, Müller W. Automated Source Code Annotation for Timing Analysis of Embedded Software. In: <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>. IEEE; 2012.","bibtex":"@inproceedings{Joy_Becker_Mathews_Müller_2012, title={Automated Source Code Annotation for Timing Analysis of Embedded Software}, booktitle={ In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}, publisher={IEEE}, author={Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller, Wolfgang}, year={2012} }","mla":"Joy, M. tech. Mabel Mary, et al. “Automated Source Code Annotation for Timing Analysis of Embedded Software.” <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>, IEEE, 2012.","short":"M. tech. M.M. Joy, M. Becker, E. Mathews, W. Müller, in:  In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), IEEE, 2012.","apa":"Joy, M. tech. M. M., Becker, M., Mathews, E., &#38; Müller, W. (2012). Automated Source Code Annotation for Timing Analysis of Embedded Software. <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>."},"_id":"25744","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":" In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)","status":"public"},{"citation":{"chicago":"Mauerer, Wolfgang, Gernot Hillier, Jan Sawallisch, Stefan Hönick, and Simon Oberthür. “Real-Time Android: Deterministic Ease of Use.” In <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>, 2012.","ieee":"W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of Use,” 2012.","ama":"Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of Use. In: <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>. ; 2012.","bibtex":"@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time Android: Deterministic Ease of Use}, booktitle={Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012}, author={Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012} }","mla":"Mauerer, Wolfgang, et al. “Real-Time Android: Deterministic Ease of Use.” <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>, 2012.","short":"W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012, 2012.","apa":"Mauerer, W., Hillier, G., Sawallisch, J., Hönick, S., &#38; Oberthür, S. (2012). Real-Time Android: Deterministic Ease of Use. <i>Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012</i>."},"year":"2012","date_created":"2021-10-07T10:59:08Z","author":[{"first_name":"Wolfgang","full_name":"Mauerer, Wolfgang","last_name":"Mauerer"},{"first_name":"Gernot","last_name":"Hillier","full_name":"Hillier, Gernot"},{"first_name":"Jan","full_name":"Sawallisch, Jan","last_name":"Sawallisch"},{"last_name":"Hönick","full_name":"Hönick, Stefan","first_name":"Stefan"},{"first_name":"Simon","last_name":"Oberthür","full_name":"Oberthür, Simon","id":"383"}],"date_updated":"2022-01-06T06:57:12Z","title":"Real-Time Android: Deterministic Ease of Use","publication":"Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"21240","_id":"25749","language":[{"iso":"eng"}]},{"status":"public","type":"conference","publication":"In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25752","citation":{"ama":"Mathews E, Graf T, Kulathunga KSSB. Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. In: <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>. IEEE Computer Society; 2012.","chicago":"Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity.” In <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>. IEEE Computer Society, 2012.","ieee":"E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity,” presented at the  14. - 17. Okt. 2012, 2012.","mla":"Mathews, Emi, et al. “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity.” <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>, IEEE Computer Society, 2012.","bibtex":"@inproceedings{Mathews_Graf_Kulathunga_2012, title={Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity}, booktitle={In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)}, publisher={IEEE Computer Society}, author={Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}, year={2012} }","short":"E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), IEEE Computer Society, 2012.","apa":"Mathews, E., Graf, T., &#38; Kulathunga, K. S. S. B. (2012). Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. <i>In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)</i>.  14. - 17. Okt. 2012."},"year":"2012","conference":{"name":" 14. - 17. Okt. 2012"},"title":"Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity","author":[{"full_name":"Mathews, Emi","last_name":"Mathews","first_name":"Emi"},{"last_name":"Graf","full_name":"Graf, Tobias","first_name":"Tobias"},{"last_name":"Kulathunga","full_name":"Kulathunga, K. S. S. B.","first_name":"K. S. S. B."}],"date_created":"2021-10-07T11:03:25Z","publisher":"IEEE Computer Society","date_updated":"2022-01-06T06:57:12Z"},{"department":[{"_id":"672"}],"user_id":"21240","_id":"25758","language":[{"iso":"eng"}],"publication":"EMSOFT'12: Teenth ACM International Conference on Embedded Software 2012 Proceedings ","type":"conference","status":"public","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"first_name":"Daniel","full_name":"Baldin, Daniel","last_name":"Baldin"},{"last_name":"Kuznik","full_name":"Kuznik, Christoph","first_name":"Christoph"},{"last_name":"Joy","full_name":"Joy, M. tech. Mabel Mary","first_name":"M. tech. Mabel Mary"},{"full_name":"Xie, Tao","last_name":"Xie","first_name":"Tao"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2021-10-07T11:11:30Z","date_updated":"2022-01-06T06:57:12Z","title":"XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software","citation":{"ieee":"M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software,” 2012.","chicago":"Becker, Markus, Daniel Baldin, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software.” In <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>, 2012.","ama":"Becker M, Baldin D, Kuznik C, Joy M tech. MM, Xie T, Müller W. XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. In: <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>. ; 2012.","mla":"Becker, Markus, et al. “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software.” <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>, 2012.","short":"M. Becker, D. Baldin, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings , 2012.","bibtex":"@inproceedings{Becker_Baldin_Kuznik_Joy_Xie_Müller_2012, title={XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software}, booktitle={EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings }, author={Becker, Markus and Baldin, Daniel and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }","apa":"Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller, W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. <i>EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>."},"year":"2012"},{"year":"2012","citation":{"ama":"Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>. ; 2012.","ieee":"M. F. Oliveira <i>et al.</i>, “The System Verification Methodology for Advanced TLM Verification,” 2012.","chicago":"Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The System Verification Methodology for Advanced TLM Verification.” In <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.","apa":"Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., &#38; Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>.","bibtex":"@inproceedings{Oliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012, title={The System Verification Methodology for Advanced TLM Verification}, booktitle={CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}, author={Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}, year={2012} }","short":"M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.","mla":"Oliveira, Marcio F., et al. “The System Verification Methodology for Advanced TLM Verification.” <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012."},"date_updated":"2022-01-06T06:57:12Z","date_created":"2021-10-07T11:16:29Z","author":[{"first_name":"Marcio F.","last_name":"Oliveira","full_name":"Oliveira, Marcio F."},{"first_name":"Christoph","full_name":"Kuznik, Christoph","last_name":"Kuznik"},{"first_name":"Hoang M.","last_name":"Le","full_name":"Le, Hoang M."},{"last_name":"Große","full_name":"Große, Daniel","first_name":"Daniel"},{"first_name":"Finn","full_name":"Haedicke, Finn","last_name":"Haedicke"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"first_name":"Rolf","last_name":"Drechsler","full_name":"Drechsler, Rolf"},{"first_name":"Wolfgang","full_name":"Ecker, Wolfgang","last_name":"Ecker"},{"full_name":"Esen, Volkan","last_name":"Esen","first_name":"Volkan"}],"title":"The System Verification Methodology for Advanced TLM Verification","type":"conference","publication":"CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings","status":"public","_id":"25761","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}]},{"type":"conference","publication":"15th Euromicro Conference on Digital System Design (DSD)","status":"public","user_id":"21240","department":[{"_id":"672"}],"_id":"25767","language":[{"iso":"eng"}],"citation":{"ama":"He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: <i>15th Euromicro Conference on Digital System Design (DSD)</i>. 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.","chicago":"He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” In <i>15th Euromicro Conference on Digital System Design (DSD)</i>. IEEE Xplore, 2012.","short":"D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.","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} }","mla":"He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” <i>15th Euromicro Conference on Digital System Design (DSD)</i>, IEEE Xplore, 2012.","apa":"He, D., &#38; Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. <i>15th Euromicro Conference on Digital System Design (DSD)</i>."},"year":"2012","date_created":"2021-10-07T12:11:29Z","author":[{"last_name":"He","full_name":"He, Da","first_name":"Da"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"publisher":"IEEE Xplore","date_updated":"2022-01-06T06:57:12Z","title":"A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms"},{"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25776","status":"public","publication":" IEEE 10th International Conference on Industrial Informatics,","type":"conference","title":" Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots","author":[{"first_name":"Christoph","full_name":"Rasche, Christoph","last_name":"Rasche"},{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"first_name":"Thomas","last_name":"Schierbaum","full_name":"Schierbaum, Thomas"},{"first_name":"Benjamin","full_name":"Werdehausen, Benjamin","last_name":"Werdehausen"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"date_created":"2021-10-07T12:48:41Z","publisher":"IEEE Xplore","date_updated":"2022-01-06T06:57:12Z","citation":{"ieee":"C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.","chicago":"Rasche, Christoph, Alexander Jungmann, Thomas Schierbaum, Benjamin Werdehausen, and Bernd Kleinjohann. “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots.” In <i> IEEE 10th International Conference on Industrial Informatics,</i>. IEEE Xplore, 2012.","ama":"Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B.  Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: <i> IEEE 10th International Conference on Industrial Informatics,</i>. 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.","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} }","mla":"Rasche, Christoph, et al. “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots.” <i> IEEE 10th International Conference on Industrial Informatics,</i> IEEE Xplore, 2012.","apa":"Rasche, C., Jungmann, A., Schierbaum, T., Werdehausen, B., &#38; Kleinjohann, B. (2012).  Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. <i> IEEE 10th International Conference on Industrial Informatics,</i>."},"year":"2012"},{"author":[{"last_name":"Esau","full_name":"Esau, Natascha","first_name":"Natascha"},{"first_name":"Martin","full_name":"Krüger, Martin","last_name":"Krüger"},{"full_name":"Rasche, Christoph","last_name":"Rasche","first_name":"Christoph"},{"first_name":"Steffen","last_name":"Beringer","full_name":"Beringer, Steffen"},{"id":"15588","full_name":"Kleinjohann, Lisa","last_name":"Kleinjohann","first_name":"Lisa"},{"first_name":"Bernd","full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann"}],"date_created":"2021-10-07T12:56:39Z","date_updated":"2022-01-06T06:57:12Z","publisher":"IEEE","conference":{"location":"Singapore, 18. - 20. Jul. 2012 IEEE, IEEE"},"title":"Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System","citation":{"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.","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} }","mla":"Esau, Natascha, et al. “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System.” <i>7th IEEE Conference in Industrial Electronics and Applications</i>, IEEE, 2012.","apa":"Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. <i>7th IEEE Conference in Industrial Electronics and Applications</i>.","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 <i>7th IEEE Conference in Industrial Electronics and Applications</i>. 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.","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: <i>7th IEEE Conference in Industrial Electronics and Applications</i>. IEEE; 2012."},"year":"2012","place":"Singapore","department":[{"_id":"672"}],"user_id":"21240","_id":"25777","language":[{"iso":"eng"}],"publication":"7th IEEE Conference in Industrial Electronics and Applications","type":"conference","status":"public","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":[{"last_name":"Stern","full_name":"Stern, Claudius","first_name":"Claudius"},{"full_name":"Rasche, Christoph","last_name":"Rasche","first_name":"Christoph"},{"last_name":"Kleinjohann","id":"15588","full_name":"Kleinjohann, Lisa","first_name":"Lisa"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"date_created":"2021-10-07T13:00:52Z","date_updated":"2022-01-06T06:57:12Z","conference":{"location":"16. - 19. Jul. 2012; Las Vegas, Nevada, USA"},"title":"Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces","citation":{"short":"C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition, Las Vegas, Nevada, USA, 2012.","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, &#38; Pattern Recognition}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }","mla":"Stern, Claudius, et al. “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces.” <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>, 2012.","apa":"Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>.","ama":"Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. In: <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>. ; 2012.","chicago":"Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces.” In <i>Proceedings of The 16th International Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>. 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."},"place":"Las Vegas, Nevada, USA","year":"2012","department":[{"_id":"672"}],"user_id":"21240","_id":"25781","language":[{"iso":"eng"}],"publication":"Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition","type":"conference","status":"public"},{"citation":{"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.","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.","ieee":"S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 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} }","short":"S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.","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>."},"year":"2012","conference":{"location":"27. - 29. Jun. 2012"},"title":"A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems","date_created":"2021-10-07T13:05:50Z","author":[{"last_name":"Grösbrink","full_name":"Grösbrink, Stefan","first_name":"Stefan"}],"date_updated":"2022-01-06T06:57:12Z","status":"public","publication":"Symposium on System-integrated Intelligence","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25783"},{"publication":" 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","type":"conference","status":"public","_id":"26022","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"year":"2012","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>.","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} }","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.","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.","ieee":"M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 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.","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."},"date_updated":"2022-01-06T06:57:15Z","date_created":"2021-10-11T08:39:53Z","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"full_name":"Joy, M. tech. Mabel Mary","last_name":"Joy","first_name":"M. tech. Mabel Mary"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"title":"Binary Mutation Testing Through Dynamic Translation","main_file_link":[{"url":"http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6263914&isnumber=6263904"}]},{"department":[{"_id":"672"}],"user_id":"21240","_id":"26023","language":[{"iso":"eng"}],"publication":"Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)","type":"conference","status":"public","author":[{"first_name":"Da","last_name":"He","full_name":"He, Da"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2021-10-11T08:43:05Z","date_updated":"2022-01-06T06:57:15Z","publisher":"IEEE Xplore","title":"Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms","citation":{"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>.","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.","short":"D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), 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} }","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.","ieee":"D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 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."},"year":"2012"},{"date_created":"2021-10-11T08:54:53Z","author":[{"full_name":"Radke, Stephan","last_name":"Radke","first_name":"Stephan"},{"full_name":"Rülke, Steffen","last_name":"Rülke","first_name":"Steffen"},{"full_name":"Oliveira, Marcio F.","last_name":"Oliveira","first_name":"Marcio F."},{"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","last_name":"Ecker","full_name":"Ecker, Wolfgang"},{"last_name":"Esen","full_name":"Esen, Volkan","first_name":"Volkan"},{"first_name":"Simon","full_name":"Hufnagel, Simon","last_name":"Hufnagel"},{"first_name":"Nico","last_name":"Bannow","full_name":"Bannow, Nico"},{"first_name":"Jan-Hendrik","last_name":"Oetjens","full_name":"Oetjens, Jan-Hendrik"},{"last_name":"Brazdrum","full_name":"Brazdrum, Helmut","first_name":"Helmut"},{"first_name":"Peter","full_name":"Janssen, 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"},{"last_name":"Haedicke","full_name":"Haedicke, Finn","first_name":"Finn"},{"full_name":"Drechsler, Rolf","last_name":"Drechsler","first_name":"Rolf"},{"full_name":"Koch, Gernot","last_name":"Koch","first_name":"Gernot"},{"last_name":"Burger","full_name":"Burger, Andreas","first_name":"Andreas"},{"last_name":"Bringmann","full_name":"Bringmann, Oliver","first_name":"Oliver"},{"first_name":"Wolfgang","full_name":"Rosenstiel, Wolfgang","last_name":"Rosenstiel"},{"last_name":"Görgen","full_name":"Görgen, Ralph","first_name":"Ralph"}],"date_updated":"2022-01-06T06:57:15Z","main_file_link":[{"url":"http://www.vde-verlag.de/proceedings-de/563428010.html"}],"title":"Compilation of Methodologies to Speed up the Verification Process at System Level","citation":{"mla":"Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” <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} }","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.","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>.","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.","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.","ieee":"S. Radke <i>et al.</i>, “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012."},"year":"2012","department":[{"_id":"672"}],"user_id":"21240","_id":"26024","language":[{"iso":"eng"}],"publication":"edaWorkshop 12","type":"conference","status":"public"},{"status":"public","type":"book_chapter","publication":"Journal of Intelligent Manufacturing 23(3)","language":[{"iso":"eng"}],"_id":"26025","user_id":"21240","department":[{"_id":"672"}],"year":"2012","citation":{"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.","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} }","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.","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.","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.","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."},"page":"699-715","title":"Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks","date_updated":"2022-01-06T06:57:15Z","publisher":"Published online on June 2010","author":[{"first_name":"Norma","last_name":"Montealegre","full_name":"Montealegre, Norma"},{"full_name":"Hagenkötter, Sebastian","last_name":"Hagenkötter","first_name":"Sebastian"}],"date_created":"2021-10-11T09:06:41Z"},{"type":"conference","publication":"4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)","status":"public","user_id":"21240","department":[{"_id":"672"}],"_id":"26026","language":[{"iso":"eng"}],"citation":{"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.","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.","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} }","short":"S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 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.","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.","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."},"year":"2012","author":[{"first_name":"Stefan","full_name":"Grösbrink, Stefan","last_name":"Grösbrink"},{"full_name":"Oberthür, Simon","id":"383","last_name":"Oberthür","first_name":"Simon"},{"first_name":"Daniel","full_name":"Baldin, Daniel","last_name":"Baldin"}],"date_created":"2021-10-11T09:09:04Z","date_updated":"2022-01-06T06:57:15Z","conference":{"name":"16. - 19. Apr. 2012"},"title":"Towards Adaptive Resource Management for Virtualized Real-Time Systems"},{"type":"conference","publication":"16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China","status":"public","_id":"26027","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"year":"2012","citation":{"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.","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.","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} }","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.","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.","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."},"page":"154-161","publisher":" IEEE Computer Society","date_updated":"2022-01-06T06:57:15Z","author":[{"full_name":"Zhao, Yuhong","last_name":"Zhao","first_name":"Yuhong"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"date_created":"2021-10-11T09:35:46Z","title":"Online Model Checking for Dependable Real-time Systems","conference":{"name":"11. - 13. Apr. 2012 IEEE Computer Society,"}},{"date_updated":"2022-01-06T06:57:15Z","date_created":"2021-10-11T09:49:33Z","author":[{"first_name":"Norma","full_name":"Montealegre, Norma","last_name":"Montealegre"},{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"title":"Agent-Based Modeling and Simulation of Artificial Immune Systems","year":"2012","place":"Shenzhen, China","citation":{"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>.","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.","short":"N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 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 <i>Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)</i>. Shenzhen, China, 2012.","ieee":"N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 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."},"_id":"26028","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"publication":"Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)","type":"conference","status":"public"}]