[{"publication":"Proceeding of Design and Verification Conference (DVCON)","date_created":"2021-10-11T11:57:27Z","year":"2012","type":"conference","language":[{"iso":"eng"}],"status":"public","_id":"26036","date_updated":"2022-01-06T06:57:15Z","title":"A SystemC Library for Advanced TLM Verification","author":[{"last_name":"Oliveira","full_name":"Oliveira, Marcio F.","first_name":"Marcio F."},{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"full_name":"Ecker, Wolfgang","first_name":"Wolfgang","last_name":"Ecker"},{"last_name":"Esen","full_name":"Esen, Volkan","first_name":"Volkan"}],"citation":{"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>.","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.","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.","ieee":"M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012.","mla":"Oliveira, Marcio F., et al. “A SystemC Library for Advanced TLM Verification.” <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} }","short":"M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012."},"user_id":"21240","department":[{"_id":"672"}]},{"title":"A model-driven engineering framework for embedded systems design","author":[{"last_name":"Nascimento","first_name":"Francisco A. M.","full_name":"Nascimento, Francisco A. M."},{"first_name":"Marcio F.","full_name":"Oliveira, Marcio F.","last_name":"Oliveira"},{"first_name":"Flavio","full_name":"Wagner, Flavio","last_name":"Wagner"}],"department":[{"_id":"672"}],"citation":{"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.","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.","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.","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.","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.","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} }","short":"F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33."},"user_id":"21240","language":[{"iso":"eng"}],"year":"2012","type":"journal_article","status":"public","date_created":"2021-10-11T12:01:25Z","publication":"Innovations in Systems and Software Engineering 8","date_updated":"2022-01-06T06:57:15Z","page":"19-33","_id":"26037"},{"_id":"26079","date_updated":"2022-01-06T06:57:16Z","date_created":"2021-10-12T10:06:15Z","publication":"Design, Automation and Test in Europe (DATE 2012)","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2012","user_id":"21240","citation":{"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.","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.","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.","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."},"department":[{"_id":"672"}],"author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"last_name":"Gnokam Defo","full_name":"Gnokam Defo, Gilles Bertrand","first_name":"Gilles Bertrand"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"},{"last_name":"Fummi","first_name":"F.","full_name":"Fummi, F."},{"full_name":"Pravadelli, G.","first_name":"G.","last_name":"Pravadelli"},{"first_name":"Sara","full_name":"Vinco, Sara","last_name":"Vinco"}],"title":"MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution","place":"Dresden"},{"place":"University Booth, Dresden","title":"XEMU: A QEMU Based Binary Mutation Testing Framework","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"last_name":"Joy","full_name":"Joy, M. tech. Mabel","first_name":"M. tech. Mabel"},{"last_name":"Xie","first_name":"Tao","full_name":"Xie, Tao"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"department":[{"_id":"672"}],"citation":{"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.","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>.","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.","ieee":"M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.","mla":"Becker, Markus, et al. “XEMU: A QEMU Based Binary Mutation Testing Framework.” <i>Design, Automation and Test in Europe DATE</i>, 2012.","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} }","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."},"user_id":"21240","year":"2012","type":"conference","language":[{"iso":"eng"}],"status":"public","publication":"Design, Automation and Test in Europe DATE","date_created":"2021-10-12T10:57:15Z","date_updated":"2022-01-06T06:57:16Z","_id":"26080"},{"status":"public","language":[{"iso":"eng"}],"year":"2012","type":"conference","date_created":"2021-10-12T11:14:50Z","publication":"Proceedings of Embedded World Conference","date_updated":"2022-01-06T06:57:16Z","_id":"26081","author":[{"full_name":"Mauerer, Wolfgang","first_name":"Wolfgang","last_name":"Mauerer"},{"last_name":"Hillier","first_name":"Gernot","full_name":"Hillier, Gernot"},{"last_name":"Sawallisch","full_name":"Sawallisch, Jan","first_name":"Jan"},{"last_name":"Hönick","first_name":"Stefan","full_name":"Hönick, Stefan"},{"last_name":"Oberthür","id":"383","first_name":"Simon","full_name":"Oberthür, Simon"}],"title":"Real-Time Android: Deterministic Ease of use","conference":{"name":"28. Feb. - 1. Mrz. 2012"},"department":[{"_id":"672"}],"user_id":"21240","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 World Conference</i>, 2012.","ieee":"W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of use,” presented at the 28. Feb. - 1. Mrz. 2012, 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 World Conference</i>. ; 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 World Conference</i>. 28. Feb. - 1. Mrz. 2012.","short":"W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.","mla":"Mauerer, Wolfgang, et al. “Real-Time Android: Deterministic Ease of Use.” <i>Proceedings of Embedded World Conference</i>, 2012.","bibtex":"@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time Android: Deterministic Ease of use}, booktitle={Proceedings of Embedded World Conference}, author={Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012} }"}},{"title":"Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot","conference":{"name":"24. - 26. Feb. 2012 INSTICC, INSTICC PRESS"},"author":[{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"last_name":"Schierbaum","first_name":"Thomas","full_name":"Schierbaum, Thomas"},{"first_name":"Bernd","full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann"}],"abstract":[{"lang":"eng","text":"In this paper, an image segmentation approach for object detection on the miniature robot BeBot - a deeply embedded system - is presented. In order to enable the robot to detect and identify objects in its environment by means of its camera, an efficient image segmentation approach was developed. The fundamental algorithm bases on the region growing and region merging concept and identifies homogeneous regions consisting of adjacent pixels with similar color. By internally representing a contiguous block of pixels in terms of run-lengths, the computational effort of both the region growing and the region merging operation is minimized. Finally, for subsequent object detection processes, a region is efficiently translated into a statistically feature representation based on discretized moments.\r\n"}],"citation":{"bibtex":"@inproceedings{Jungmann_Schierbaum_Kleinjohann_2012, title={Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot}, booktitle={Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)}, publisher={ INSTICC PRESS}, author={Jungmann, Alexander and Schierbaum, Thomas and Kleinjohann, Bernd}, year={2012}, pages={441–444} }","mla":"Jungmann, Alexander, et al. “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot.” <i>Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)</i>,  INSTICC PRESS, 2012, pp. 441–44.","short":"A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP),  INSTICC PRESS, 2012, pp. 441–444.","ama":"Jungmann A, Schierbaum T, Kleinjohann B. Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. In: <i>Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)</i>.  INSTICC PRESS; 2012:441-444.","apa":"Jungmann, A., Schierbaum, T., &#38; Kleinjohann, B. (2012). Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. <i>Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)</i>, 441–444.","ieee":"A. Jungmann, T. Schierbaum, and B. Kleinjohann, “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot,” in <i>Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)</i>, 2012, pp. 441–444.","chicago":"Jungmann, Alexander, Thomas Schierbaum, and Bernd Kleinjohann. “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot.” In <i>Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)</i>, 441–44.  INSTICC PRESS, 2012."},"user_id":"21240","department":[{"_id":"672"}],"date_created":"2021-10-12T12:43:25Z","publication":"Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)","publisher":" INSTICC PRESS","language":[{"iso":"eng"}],"year":"2012","type":"conference","status":"public","page":"441-444","_id":"26086","date_updated":"2022-01-06T06:57:16Z"},{"department":[{"_id":"672"}],"citation":{"apa":"Bin Tariq, F. (2012). Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints. <i>Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems</i>. 24. - 26. Feb. 2012.","ama":"Bin Tariq F. Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints. In: <i>Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems</i>. ; 2012.","chicago":"Bin Tariq, Fahad. “Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems with Processing Constraints.” In <i>Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems</i>, 2012.","ieee":"F. Bin Tariq, “Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints,” presented at the 24. - 26. Feb. 2012, 2012.","mla":"Bin Tariq, Fahad. “Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems with Processing Constraints.” <i>Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems</i>, 2012.","bibtex":"@inproceedings{Bin Tariq_2012, title={Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints}, booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems}, author={Bin Tariq, Fahad}, year={2012} }","short":"F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012."},"user_id":"21240","title":"Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints","conference":{"name":"24. - 26. Feb. 2012"},"author":[{"first_name":"Fahad","full_name":"Bin Tariq, Fahad","last_name":"Bin Tariq"}],"date_updated":"2022-01-06T06:57:16Z","_id":"26089","language":[{"iso":"eng"}],"year":"2012","type":"conference","status":"public","date_created":"2021-10-13T08:53:43Z","publication":"Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems"},{"publisher":"Springer","date_created":"2021-10-13T10:08:05Z","publication":"13th International Conference On Distributed Computing And Networking (ICDCN)","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2012","_id":"26090","date_updated":"2022-01-06T06:57:16Z","author":[{"first_name":"Emi","full_name":"Mathews, Emi","last_name":"Mathews"},{"last_name":"Frey","first_name":"Hannes","full_name":"Frey, Hannes"}],"title":"A Localized Link Removal and Addition based Planarization Algorithm","place":"The Hong Kong Polytechnic University, Hong Kong, China","user_id":"21240","citation":{"chicago":"Mathews, Emi, and Hannes Frey. “A Localized Link Removal and Addition Based Planarization Algorithm.” In <i>13th International Conference On Distributed Computing And Networking (ICDCN)</i>. The Hong Kong Polytechnic University, Hong Kong, China: Springer, 2012.","ieee":"E. Mathews and H. Frey, “A Localized Link Removal and Addition based Planarization Algorithm,” 2012.","apa":"Mathews, E., &#38; Frey, H. (2012). A Localized Link Removal and Addition based Planarization Algorithm. <i>13th International Conference On Distributed Computing And Networking (ICDCN)</i>.","ama":"Mathews E, Frey H. A Localized Link Removal and Addition based Planarization Algorithm. In: <i>13th International Conference On Distributed Computing And Networking (ICDCN)</i>. Springer; 2012.","short":"E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.","mla":"Mathews, Emi, and Hannes Frey. “A Localized Link Removal and Addition Based Planarization Algorithm.” <i>13th International Conference On Distributed Computing And Networking (ICDCN)</i>, Springer, 2012.","bibtex":"@inproceedings{Mathews_Frey_2012, place={The Hong Kong Polytechnic University, Hong Kong, China}, title={A Localized Link Removal and Addition based Planarization Algorithm}, booktitle={13th International Conference On Distributed Computing And Networking (ICDCN)}, publisher={Springer}, author={Mathews, Emi and Frey, Hannes}, year={2012} }"},"department":[{"_id":"672"}]},{"status":"public","language":[{"iso":"eng"}],"type":"journal_article","year":"2012","date_created":"2021-10-13T10:17:10Z","publication":"International Journal of Computer Networks and Communications 4(1)","date_updated":"2022-01-06T06:57:16Z","_id":"26091","page":"175-192","author":[{"full_name":"Mathews, Emi","first_name":"Emi","last_name":"Mathews"},{"full_name":"Mathew, Ciby","first_name":"Ciby","last_name":"Mathew"}],"title":"Deployment of mobile routers ensuring coverage and connectivity","department":[{"_id":"672"}],"user_id":"21240","citation":{"short":"E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.","mla":"Mathews, Emi, and Ciby Mathew. “Deployment of Mobile Routers Ensuring Coverage and Connectivity.” <i>International Journal of Computer Networks and Communications 4(1)</i>, 2012, pp. 175–92.","bibtex":"@article{Mathews_Mathew_2012, title={Deployment of mobile routers ensuring coverage and connectivity}, journal={International Journal of Computer Networks and Communications 4(1)}, author={Mathews, Emi and Mathew, Ciby}, year={2012}, pages={175–192} }","chicago":"Mathews, Emi, and Ciby Mathew. “Deployment of Mobile Routers Ensuring Coverage and Connectivity.” <i>International Journal of Computer Networks and Communications 4(1)</i>, 2012, 175–92.","ieee":"E. Mathews and C. Mathew, “Deployment of mobile routers ensuring coverage and connectivity,” <i>International Journal of Computer Networks and Communications 4(1)</i>, pp. 175–192, 2012.","apa":"Mathews, E., &#38; Mathew, C. (2012). Deployment of mobile routers ensuring coverage and connectivity. <i>International Journal of Computer Networks and Communications 4(1)</i>, 175–192.","ama":"Mathews E, Mathew C. Deployment of mobile routers ensuring coverage and connectivity. <i>International Journal of Computer Networks and Communications 4(1)</i>. Published online 2012:175-192."}},{"citation":{"short":"W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.","bibtex":"@inproceedings{Müller_Becker_Zabel_Elfeky_DiPasquale_2012, place={Sydney}, title={Virtual Prototyping of Cyber-Physical Systems}, booktitle={In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012}, author={Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony}, year={2012} }","mla":"Müller, Wolfgang, et al. “Virtual Prototyping of Cyber-Physical Systems.” <i>In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012</i>, 2012.","ieee":"W. Müller, M. Becker, H. Zabel, A. Elfeky, and A. DiPasquale, “Virtual Prototyping of Cyber-Physical Systems,” 2012.","chicago":"Müller, Wolfgang, Markus Becker, Henning Zabel, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping of Cyber-Physical Systems.” In <i>In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012</i>. Sydney, 2012.","ama":"Müller W, Becker M, Zabel H, Elfeky A, DiPasquale A. Virtual Prototyping of Cyber-Physical Systems. In: <i>In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012</i>. ; 2012.","apa":"Müller, W., Becker, M., Zabel, H., Elfeky, A., &#38; DiPasquale, A. (2012). Virtual Prototyping of Cyber-Physical Systems. <i>In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012</i>."},"user_id":"21240","department":[{"_id":"672"}],"title":"Virtual Prototyping of Cyber-Physical Systems","author":[{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Zabel, Henning","first_name":"Henning","last_name":"Zabel"},{"first_name":"Ahmed","full_name":"Elfeky, Ahmed","last_name":"Elfeky"},{"last_name":"DiPasquale","full_name":"DiPasquale, Anthony","first_name":"Anthony"}],"place":"Sydney","_id":"26092","date_updated":"2022-01-06T06:57:16Z","publication":"In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012","date_created":"2021-10-13T10:36:35Z","type":"conference","year":"2012","language":[{"iso":"eng"}],"status":"public"},{"user_id":"21240","citation":{"mla":"Khaluf, Yara, et al. “Swarm Robotic Time Synchronization for Object Tracking.” <i>Self-Organization in Embedded Real-Time Systems</i>, edited by M. Theresa Higuera-Toledano et al., Springer, 2012, pp. 75–92.","bibtex":"@inbook{Khaluf_Mathews_Rammig_2012, place={New York, Heidelberg, Dordrecht, London}, title={Swarm Robotic Time Synchronization for Object Tracking}, booktitle={Self-Organization in Embedded Real-Time Systems}, publisher={Springer}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, editor={Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim}, year={2012}, pages={75–92} }","short":"Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.","apa":"Khaluf, Y., Mathews, E., &#38; Rammig, F.-J. (2012). Swarm Robotic Time Synchronization for Object Tracking. In M. T. Higuera-Toledano, U. Brinkschulte, &#38; A. Rettberg (Eds.), <i>Self-Organization in Embedded Real-Time Systems</i> (pp. 75–92). Springer.","ama":"Khaluf Y, Mathews E, Rammig F-J. Swarm Robotic Time Synchronization for Object Tracking. In: Higuera-Toledano MT, Brinkschulte U, Rettberg A, eds. <i>Self-Organization in Embedded Real-Time Systems</i>. Springer; 2012:75-92.","chicago":"Khaluf, Yara, Emi Mathews, and Franz-Josef Rammig. “Swarm Robotic Time Synchronization for Object Tracking.” In <i>Self-Organization in Embedded Real-Time Systems</i>, edited by M. Theresa Higuera-Toledano, Uwe Brinkschulte, and Achim Rettberg, 75–92. New York, Heidelberg, Dordrecht, London: Springer, 2012.","ieee":"Y. Khaluf, E. Mathews, and F.-J. Rammig, “Swarm Robotic Time Synchronization for Object Tracking,” in <i>Self-Organization in Embedded Real-Time Systems</i>, M. T. Higuera-Toledano, U. Brinkschulte, and A. Rettberg, Eds. New York, Heidelberg, Dordrecht, London: Springer, 2012, pp. 75–92."},"department":[{"_id":"672"}],"author":[{"full_name":"Khaluf, Yara","first_name":"Yara","last_name":"Khaluf"},{"last_name":"Mathews","first_name":"Emi","full_name":"Mathews, Emi"},{"last_name":"Rammig","full_name":"Rammig, Franz-Josef","first_name":"Franz-Josef"}],"editor":[{"last_name":"Higuera-Toledano","full_name":"Higuera-Toledano, M. Theresa","first_name":"M. Theresa"},{"last_name":"Brinkschulte","full_name":"Brinkschulte, Uwe","first_name":"Uwe"},{"last_name":"Rettberg","first_name":"Achim","full_name":"Rettberg, Achim"}],"title":"Swarm Robotic Time Synchronization for Object Tracking","place":"New York, Heidelberg, Dordrecht, London","page":"75-92","_id":"26093","date_updated":"2022-01-06T06:57:16Z","publisher":"Springer","date_created":"2021-10-13T11:21:49Z","publication":"Self-Organization in Embedded Real-Time Systems","status":"public","language":[{"iso":"eng"}],"year":"2012","type":"book_chapter"},{"department":[{"_id":"672"}],"citation":{"apa":"Rammig, F.-J. (2012). Biologically Inspired Information Technology: Towards a Cyber Biosphere. In T. Conradi, G. Ecker, N. O. Eke, &#38; F. Muhle (Eds.), <i>Schemata und Praktiken</i> (pp. 141–160). Wilhelm Fink Verlag.","ama":"Rammig F-J. Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi T, Ecker G, Eke NO, Muhle F, eds. <i>Schemata Und Praktiken</i>. Wilhelm Fink Verlag; 2012:141-160.","chicago":"Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards a Cyber Biosphere.” In <i>Schemata Und Praktiken</i>, edited by Tobias Conradi, Gisela Ecker, Norbert Otto Eke, and Florian Muhle, 141–60. München: Wilhelm Fink Verlag, 2012.","ieee":"F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in <i>Schemata und Praktiken</i>, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.","mla":"Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards a Cyber Biosphere.” <i>Schemata Und Praktiken</i>, edited by Tobias Conradi et al., Wilhelm Fink Verlag, 2012, pp. 141–60.","bibtex":"@inbook{Rammig_2012, place={München}, title={Biologically Inspired Information Technology: Towards a Cyber Biosphere}, booktitle={Schemata und Praktiken}, publisher={Wilhelm Fink Verlag}, author={Rammig, Franz-Josef}, editor={Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}, year={2012}, pages={141–160} }","short":"F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160."},"user_id":"21240","place":"München","title":"Biologically Inspired Information Technology: Towards a Cyber Biosphere","author":[{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"editor":[{"last_name":"Conradi","first_name":"Tobias","full_name":"Conradi, Tobias"},{"last_name":"Ecker","full_name":"Ecker, Gisela","first_name":"Gisela"},{"last_name":"Eke","first_name":"Norbert Otto","full_name":"Eke, Norbert Otto"},{"first_name":"Florian","full_name":"Muhle, Florian","last_name":"Muhle"}],"date_updated":"2022-01-06T06:57:16Z","_id":"26094","page":"141-160","language":[{"iso":"eng"}],"year":"2012","type":"book_chapter","status":"public","date_created":"2021-10-13T11:53:31Z","publication":"Schemata und Praktiken","publisher":"Wilhelm Fink Verlag"},{"author":[{"last_name":"Bin Tariq","full_name":"Bin Tariq, Fahad","first_name":"Fahad"},{"last_name":"Korrapati","full_name":"Korrapati, Sandeep","first_name":"Sandeep"}],"title":"Adaptive Web Services for Modular and Reusable Software Development","user_id":"21240","citation":{"chicago":"Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular and Reusable Software Development.” In <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>, 263–76.  IGI Global, 2012.","ieee":"F. Bin Tariq and S. Korrapati, “Adaptive Web Services for Modular and Reusable Software Development,” in <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>,  IGI Global, 2012, pp. 263–276.","apa":"Bin Tariq, F., &#38; Korrapati, S. (2012). Adaptive Web Services for Modular and Reusable Software Development. In <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i> (pp. 263–276).  IGI Global.","ama":"Bin Tariq F, Korrapati S. Adaptive Web Services for Modular and Reusable Software Development. In: <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>.  IGI Global; 2012:263-276.","short":"F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems,  IGI Global, 2012, pp. 263–276.","mla":"Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular and Reusable Software Development.” <i>Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems</i>,  IGI Global, 2012, pp. 263–76.","bibtex":"@inbook{Bin Tariq_Korrapati_2012, title={Adaptive Web Services for Modular and Reusable Software Development}, booktitle={Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems}, publisher={ IGI Global}, author={Bin Tariq, Fahad and Korrapati, Sandeep}, year={2012}, pages={263–276} }"},"department":[{"_id":"672"}],"publisher":" IGI Global","publication":"Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems","date_created":"2021-10-13T12:48:56Z","status":"public","type":"book_chapter","year":"2012","language":[{"iso":"eng"}],"_id":"26102","page":"263-276","date_updated":"2022-01-06T06:57:16Z"},{"page":"43-47","_id":"26181","date_updated":"2022-01-06T06:57:17Z","publisher":"Xpert Publishing Services","date_created":"2021-10-15T07:14:05Z","publication":"Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)","status":"public","language":[{"iso":"eng"}],"year":"2012","type":"conference","user_id":"21240","citation":{"apa":"Jungmann, A., &#38; Kleinjohann, B. (2012). Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 43–47.","ama":"Jungmann A, Kleinjohann B. Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In: <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>. Xpert Publishing Services; 2012:43-47.","ieee":"A. Jungmann and B. Kleinjohann, “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition,” in <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2012, pp. 43–47.","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition.” In <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 43–47. Xpert Publishing Services, 2012.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}, booktitle={Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={43–47} }","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition.” <i>Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, Xpert Publishing Services, 2012, pp. 43–47.","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47."},"department":[{"_id":"672"}],"author":[{"last_name":"Jungmann","first_name":"Alexander","full_name":"Jungmann, Alexander"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"}],"title":"Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition","abstract":[{"lang":"eng","text":"The paradigm shift from purchasing monolithic software solutions to a dynamic composition of individual solutions entails many new possibilities yet great challenges, too. In order to satisfy user requirements, complex services have to be automatically composed of elementary services. Multiple possibilities of composing a complex service inevitably emerge. The problem of selecting the most appropriate services has to be solved by comparing the different service candidates with respect to their quality in terms of inherent non-functional properties while simultaneously taking the user requirements into account.We are aiming for an integrated service rating and ranking methodology in order to support the automation of the underlying decision-making process. The main contribution of this paper is a first decomposition of the quality-based service selection process, while emphasizing major issues and challenges, which we are addressing in the On-The-Fly Computing project."}]},{"department":[{"_id":"672"}],"user_id":"21240","citation":{"short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>, IEEE, 2012.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}, booktitle={Proceedings of the 9th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012} }","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” In <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>. IEEE, 2012.","ieee":"A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.","ama":"Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>. IEEE; 2012.","apa":"Jungmann, A., &#38; Kleinjohann, B. (2012). Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. <i>Proceedings of the 9th IEEE International Conference on Services Computing (SCC)</i>."},"abstract":[{"text":"A major goal of the On-The-Fly Computing project is the automated composition of individual services based on services that are available in dynamic markets. Dependent on the granularity of a market, different alternatives that satisfy the requested functional requirements may emerge. In order to select the best solution, services are usually selected with respect to their quality in terms of inherent non-functional properties. In this paper, we describe our idea of how to model this service selection process as a Markov Decision Process, which we in turn intend to solve by means of Reinforcement Learning techniques in order to control the underlying service composition process. In addition, some initial issues with respect to our approach are addressed.","lang":"eng"}],"author":[{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"title":"Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition","date_updated":"2022-01-06T06:57:17Z","_id":"26190","status":"public","type":"conference","year":"2012","language":[{"iso":"eng"}],"publisher":"IEEE","publication":"Proceedings of the 9th IEEE International Conference on Services Computing (SCC)","date_created":"2021-10-15T07:52:47Z"},{"place":" Leganés, Madrid","author":[{"last_name":"Khaluf","first_name":"Yara","full_name":"Khaluf, Yara"},{"last_name":"Weiss","full_name":"Weiss, Fabian","first_name":"Fabian"},{"full_name":"Micus, Sebastian","first_name":"Sebastian","last_name":"Micus"}],"title":"Master Election for Time Synchronization in Swarm Robotic Systems","department":[{"_id":"672"}],"user_id":"21240","citation":{"mla":"Khaluf, Yara, et al. “Master Election for Time Synchronization in Swarm Robotic Systems.” <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>, 2012.","bibtex":"@inproceedings{Khaluf_Weiss_Micus_2012, place={ Leganés, Madrid}, title={Master Election for Time Synchronization in Swarm Robotic Systems}, booktitle={The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications}, author={Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}, year={2012} }","short":"Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications,  Leganés, Madrid, 2012.","apa":"Khaluf, Y., Weiss, F., &#38; Micus, S. (2012). Master Election for Time Synchronization in Swarm Robotic Systems. <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>.","ama":"Khaluf Y, Weiss F, Micus S. Master Election for Time Synchronization in Swarm Robotic Systems. In: <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>. ; 2012.","chicago":"Khaluf, Yara, Fabian Weiss, and Sebastian Micus. “Master Election for Time Synchronization in Swarm Robotic Systems.” In <i>The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications</i>.  Leganés, Madrid, 2012.","ieee":"Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012."},"status":"public","type":"conference","year":"2012","language":[{"iso":"eng"}],"publication":"The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications","date_created":"2021-10-15T09:16:19Z","date_updated":"2022-01-06T06:57:18Z","_id":"26212"},{"place":"Bangalore, India","title":"Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks","author":[{"last_name":"Mathews","first_name":"Emi","full_name":"Mathews, Emi"},{"first_name":"Ciby","full_name":"Mathew, Ciby","last_name":"Mathew"}],"department":[{"_id":"672"}],"citation":{"short":"E. Mathews, C. Mathew, in: Third International Conference on Networks &#38; Communications, LNICST, Springer, Bangalore, India, 2012.","bibtex":"@inproceedings{Mathews_Mathew_2012, place={Bangalore, India}, title={Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks}, booktitle={Third International Conference on Networks &#38; Communications, LNICST}, publisher={Springer}, author={Mathews, Emi and Mathew, Ciby}, year={2012} }","mla":"Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” <i>Third International Conference on Networks &#38; Communications, LNICST</i>, Springer, 2012.","ieee":"E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.","chicago":"Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” In <i>Third International Conference on Networks &#38; Communications, LNICST</i>. Bangalore, India: Springer, 2012.","ama":"Mathews E, Mathew C. Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. In: <i>Third International Conference on Networks &#38; Communications, LNICST</i>. Springer; 2012.","apa":"Mathews, E., &#38; Mathew, C. (2012). Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. <i>Third International Conference on Networks &#38; Communications, LNICST</i>."},"user_id":"21240","year":"2012","type":"conference","language":[{"iso":"eng"}],"status":"public","publication":"Third International Conference on Networks & Communications, LNICST","date_created":"2021-10-15T11:20:32Z","publisher":"Springer","date_updated":"2022-01-06T06:57:18Z","_id":"26264"},{"language":[{"iso":"eng"}],"type":"conference","year":"2012","status":"public","date_created":"2018-08-02T13:38:37Z","publication":"Proceedings of COLING 2012: Posters","date_updated":"2022-01-06T06:59:37Z","page":"1281-1290","_id":"3812","title":"Optimal Scheduling of Information Extraction Algorithms","author":[{"id":"3900","last_name":"Wachsmuth","full_name":"Wachsmuth, Henning","first_name":"Henning"},{"last_name":"Stein","first_name":"Benno","full_name":"Stein, Benno"}],"department":[{"_id":"600"}],"citation":{"bibtex":"@inproceedings{Wachsmuth_Stein_2012, title={Optimal Scheduling of Information Extraction Algorithms}, booktitle={Proceedings of COLING 2012: Posters}, author={Wachsmuth, Henning and Stein, Benno}, year={2012}, pages={1281–1290} }","mla":"Wachsmuth, Henning, and Benno Stein. “Optimal Scheduling of Information Extraction Algorithms.” <i>Proceedings of COLING 2012: Posters</i>, 2012, pp. 1281–90.","short":"H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.","ama":"Wachsmuth H, Stein B. Optimal Scheduling of Information Extraction Algorithms. In: <i>Proceedings of COLING 2012: Posters</i>. ; 2012:1281-1290.","apa":"Wachsmuth, H., &#38; Stein, B. (2012). Optimal Scheduling of Information Extraction Algorithms. In <i>Proceedings of COLING 2012: Posters</i> (pp. 1281–1290).","ieee":"H. Wachsmuth and B. Stein, “Optimal Scheduling of Information Extraction Algorithms,” in <i>Proceedings of COLING 2012: Posters</i>, 2012, pp. 1281–1290.","chicago":"Wachsmuth, Henning, and Benno Stein. “Optimal Scheduling of Information Extraction Algorithms.” In <i>Proceedings of COLING 2012: Posters</i>, 1281–90, 2012."},"main_file_link":[{"url":"https://www.aclweb.org/anthology/C12-2125.pdf"}],"user_id":"82920"},{"publisher":"Springer Berlin Heidelberg","publication":"Advances in Cryptology – ASIACRYPT 2012","date_created":"2018-05-25T12:34:06Z","status":"public","publication_identifier":{"isbn":["9783642349607","9783642349614"],"issn":["0302-9743","1611-3349"]},"type":"book_chapter","year":"2012","_id":"2918","page":"404-414","date_updated":"2022-01-06T06:58:47Z","author":[{"full_name":"Kakvi, Saqib","first_name":"Saqib","id":"66268","last_name":"Kakvi"},{"last_name":"Kiltz","full_name":"Kiltz, Eike","first_name":"Eike"},{"full_name":"May, Alexander","first_name":"Alexander","last_name":"May"}],"extern":"1","title":"Certifying RSA","doi":"10.1007/978-3-642-34961-4_25","place":"Berlin, Heidelberg","user_id":"25078","publication_status":"published","citation":{"ieee":"S. Kakvi, E. Kiltz, and A. May, “Certifying RSA,” in <i>Advances in Cryptology – ASIACRYPT 2012</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 404–414.","chicago":"Kakvi, Saqib, Eike Kiltz, and Alexander May. “Certifying RSA.” In <i>Advances in Cryptology – ASIACRYPT 2012</i>, 404–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. <a href=\"https://doi.org/10.1007/978-3-642-34961-4_25\">https://doi.org/10.1007/978-3-642-34961-4_25</a>.","apa":"Kakvi, S., Kiltz, E., &#38; May, A. (2012). Certifying RSA. In <i>Advances in Cryptology – ASIACRYPT 2012</i> (pp. 404–414). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-34961-4_25\">https://doi.org/10.1007/978-3-642-34961-4_25</a>","ama":"Kakvi S, Kiltz E, May A. Certifying RSA. In: <i>Advances in Cryptology – ASIACRYPT 2012</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:404-414. doi:<a href=\"https://doi.org/10.1007/978-3-642-34961-4_25\">10.1007/978-3-642-34961-4_25</a>","short":"S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.","bibtex":"@inbook{Kakvi_Kiltz_May_2012, place={Berlin, Heidelberg}, title={Certifying RSA}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-34961-4_25\">10.1007/978-3-642-34961-4_25</a>}, booktitle={Advances in Cryptology – ASIACRYPT 2012}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib and Kiltz, Eike and May, Alexander}, year={2012}, pages={404–414} }","mla":"Kakvi, Saqib, et al. “Certifying RSA.” <i>Advances in Cryptology – ASIACRYPT 2012</i>, Springer Berlin Heidelberg, 2012, pp. 404–14, doi:<a href=\"https://doi.org/10.1007/978-3-642-34961-4_25\">10.1007/978-3-642-34961-4_25</a>."},"department":[{"_id":"558"}]},{"status":"public","type":"book_chapter","year":"2012","publication_identifier":{"isbn":["9783642290107","9783642290114"],"issn":["0302-9743","1611-3349"]},"publisher":"Springer Berlin Heidelberg","date_created":"2018-05-25T12:36:44Z","publication":"Advances in Cryptology – EUROCRYPT 2012","date_updated":"2022-01-06T06:58:47Z","_id":"2919","page":"537-553","doi":"10.1007/978-3-642-29011-4_32","place":"Berlin, Heidelberg","extern":"1","author":[{"id":"66268","last_name":"Kakvi","full_name":"Kakvi, Saqib","first_name":"Saqib"},{"first_name":"Eike","full_name":"Kiltz, Eike","last_name":"Kiltz"}],"title":"Optimal Security Proofs for Full Domain Hash, Revisited","department":[{"_id":"558"}],"publication_status":"published","main_file_link":[{"url":"https://doi.org/10.1007/s00145-017-9257-9"}],"user_id":"66268","citation":{"mla":"Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.” <i>Advances in Cryptology – EUROCRYPT 2012</i>, Springer Berlin Heidelberg, 2012, pp. 537–53, doi:<a href=\"https://doi.org/10.1007/978-3-642-29011-4_32\">10.1007/978-3-642-29011-4_32</a>.","bibtex":"@inbook{Kakvi_Kiltz_2012, place={Berlin, Heidelberg}, title={Optimal Security Proofs for Full Domain Hash, Revisited}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-29011-4_32\">10.1007/978-3-642-29011-4_32</a>}, booktitle={Advances in Cryptology – EUROCRYPT 2012}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib and Kiltz, Eike}, year={2012}, pages={537–553} }","short":"S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.","ama":"Kakvi S, Kiltz E. Optimal Security Proofs for Full Domain Hash, Revisited. In: <i>Advances in Cryptology – EUROCRYPT 2012</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:537-553. doi:<a href=\"https://doi.org/10.1007/978-3-642-29011-4_32\">10.1007/978-3-642-29011-4_32</a>","apa":"Kakvi, S., &#38; Kiltz, E. (2012). Optimal Security Proofs for Full Domain Hash, Revisited. In <i>Advances in Cryptology – EUROCRYPT 2012</i> (pp. 537–553). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-29011-4_32\">https://doi.org/10.1007/978-3-642-29011-4_32</a>","chicago":"Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.” In <i>Advances in Cryptology – EUROCRYPT 2012</i>, 537–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. <a href=\"https://doi.org/10.1007/978-3-642-29011-4_32\">https://doi.org/10.1007/978-3-642-29011-4_32</a>.","ieee":"S. Kakvi and E. Kiltz, “Optimal Security Proofs for Full Domain Hash, Revisited,” in <i>Advances in Cryptology – EUROCRYPT 2012</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 537–553."}}]