Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9784 Publications
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
Nascimento, Francisco A. M., Marcio F. Oliveira, and Flavio Wagner. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, 19–33.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
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 Design, Automation and Test in Europe (DATE 2012). Dresden, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker, Markus, Christoph Kuznik, M. tech. Mabel Joy, Tao Xie, and Wolfgang Müller. “XEMU: A QEMU Based Binary Mutation Testing Framework.” In Design, Automation and Test in Europe DATE. University Booth, Dresden, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
Mauerer, Wolfgang, Gernot Hillier, Jan Sawallisch, Stefan Hönick, and Simon Oberthür. “Real-Time Android: Deterministic Ease of Use.” In Proceedings of Embedded World Conference, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
Jungmann, Alexander, Thomas Schierbaum, and Bernd Kleinjohann. “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot.” In Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), 441–44. INSTICC PRESS, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
Bin Tariq, Fahad. “Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems with Processing Constraints.” In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
Mathews, Emi, and Hannes Frey. “A Localized Link Removal and Addition Based Planarization Algorithm.” In 13th International Conference On Distributed Computing And Networking (ICDCN). The Hong Kong Polytechnic University, Hong Kong, China: Springer, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
Mathews, Emi, and Ciby Mathew. “Deployment of Mobile Routers Ensuring Coverage and Connectivity.” International Journal of Computer Networks and Communications 4(1), 2012, 175–92.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller, Wolfgang, Markus Becker, Henning Zabel, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping of Cyber-Physical Systems.” In In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. Sydney, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Khaluf, Yara, Emi Mathews, and Franz-Josef Rammig. “Swarm Robotic Time Synchronization for Object Tracking.” In Self-Organization in Embedded Real-Time Systems, edited by M. Theresa Higuera-Toledano, Uwe Brinkschulte, and Achim Rettberg, 75–92. New York, Heidelberg, Dordrecht, London: Springer, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards a Cyber Biosphere.” In Schemata Und Praktiken, edited by Tobias Conradi, Gisela Ecker, Norbert Otto Eke, and Florian Muhle, 141–60. München: Wilhelm Fink Verlag, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular and Reusable Software Development.” In Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, 263–76. IGI Global, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition.” In Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 43–47. Xpert Publishing Services, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” In Proceedings of the 9th IEEE International Conference on Services Computing (SCC). IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Khaluf, Yara, Fabian Weiss, and Sebastian Micus. “Master Election for Time Synchronization in Swarm Robotic Systems.” In The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. Leganés, Madrid, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” In Third International Conference on Networks & Communications, LNICST. Bangalore, India: Springer, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
Wachsmuth, Henning, and Benno Stein. “Optimal Scheduling of Information Extraction Algorithms.” In Proceedings of COLING 2012: Posters, 1281–90, 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2918
Kakvi, Saqib, Eike Kiltz, and Alexander May. “Certifying RSA.” In Advances in Cryptology – ASIACRYPT 2012, 404–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-34961-4_25.
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.” In Advances in Cryptology – EUROCRYPT 2012, 537–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-29011-4_32.
LibreCat
| DOI
| Download (ext.)