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.
9750 Publications
2012 | Conference Paper | LibreCat-ID: 25777
Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., & Kleinjohann, B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. 7th IEEE Conference in Industrial Electronics and Applications.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. Symposium on System-Integrated Intelligence.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He, D., & Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. EdaWorkshop 12.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
Montealegre, N., & Hagenkötter, S. (2012). Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In Journal of Intelligent Manufacturing 23(3) (pp. 699–715). Published online on June 2010.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink, S., Oberthür, S., & Baldin, D. (2012). Towards Adaptive Resource Management for Virtualized Real-Time Systems. 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). 16. - 19. Apr. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Zhao, Y., & Rammig, F.-J. (2012). Online Model Checking for Dependable Real-time Systems. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 154–161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
Montealegre, N., & Rammig, F.-J. (2012). Agent-Based Modeling and Simulation of Artificial Immune Systems. Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
Rammig, F.-J. (2012). Self-Coordination as Fundamental Concept for Cyber Physical Systems. 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
Mathews, E. (2012). Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. Ninth International Conference On Information Technology : New Generations (ITNG).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
He, D., & Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Efficient Alignment of Aerial Images Based on Virtual Forces. Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). 25. - 30. Mrz. 2012 IARIA, IEEE Xplore.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
Jungmann, A., Kleinjohann, B., Kleinjohann, L., & Bieshaar, M. (2012). Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
Grösbrink, S., Oberthür, S., & Baldin, D. (2012). Dynamic Resource Management for Virtualized Mixed-Criticality Systems. Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). 12. - 16. Mrz. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., & Esen, V. (2012). A SystemC Library for Advanced TLM Verification. Proceeding of Design and Verification Conference (DVCON).
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
Nascimento, F. A. M., Oliveira, M. F., & Wagner, F. (2012). A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8, 19–33.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker, M., Gnokam Defo, G. B., Müller, W., Fummi, F., Pravadelli, G., & Vinco, S. (2012). MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. Design, Automation and Test in Europe (DATE 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker, M., Kuznik, C., Joy, M. tech. M., Xie, T., & Müller, W. (2012). XEMU: A QEMU Based Binary Mutation Testing Framework. Design, Automation and Test in Europe DATE.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
Mauerer, W., Hillier, G., Sawallisch, J., Hönick, S., & Oberthür, S. (2012). Real-Time Android: Deterministic Ease of use. Proceedings of Embedded World Conference. 28. Feb. - 1. Mrz. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
Jungmann, A., Schierbaum, T., & Kleinjohann, B. (2012). Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), 441–444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
Bin Tariq, F. (2012). Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints. Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. 24. - 26. Feb. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
Mathews, E., & Frey, H. (2012). A Localized Link Removal and Addition based Planarization Algorithm. 13th International Conference On Distributed Computing And Networking (ICDCN).
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
Mathews, E., & Mathew, C. (2012). Deployment of mobile routers ensuring coverage and connectivity. International Journal of Computer Networks and Communications 4(1), 175–192.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller, W., Becker, M., Zabel, H., Elfeky, A., & DiPasquale, A. (2012). Virtual Prototyping of Cyber-Physical Systems. In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Khaluf, Y., Mathews, E., & Rammig, F.-J. (2012). Swarm Robotic Time Synchronization for Object Tracking. In M. T. Higuera-Toledano, U. Brinkschulte, & A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems (pp. 75–92). Springer.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
Rammig, F.-J. (2012). Biologically Inspired Information Technology: Towards a Cyber Biosphere. In T. Conradi, G. Ecker, N. O. Eke, & F. Muhle (Eds.), Schemata und Praktiken (pp. 141–160). Wilhelm Fink Verlag.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
Bin Tariq, F., & Korrapati, S. (2012). Adaptive Web Services for Modular and Reusable Software Development. In Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems (pp. 263–276). IGI Global.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
Jungmann, A., & Kleinjohann, B. (2012). Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 43–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
Jungmann, A., & Kleinjohann, B. (2012). Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. Proceedings of the 9th IEEE International Conference on Services Computing (SCC).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Khaluf, Y., Weiss, F., & Micus, S. (2012). Master Election for Time Synchronization in Swarm Robotic Systems. The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews, E., & Mathew, C. (2012). Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. Third International Conference on Networks & Communications, LNICST.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
Wachsmuth, H., & Stein, B. (2012). Optimal Scheduling of Information Extraction Algorithms. In Proceedings of COLING 2012: Posters (pp. 1281–1290).
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2918
Kakvi, S., Kiltz, E., & May, A. (2012). Certifying RSA. In Advances in Cryptology – ASIACRYPT 2012 (pp. 404–414). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-34961-4_25
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
Kakvi, S., & Kiltz, E. (2012). Optimal Security Proofs for Full Domain Hash, Revisited. In Advances in Cryptology – EUROCRYPT 2012 (pp. 537–553). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-29011-4_32
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 2982
Ackermann, M. R., Märtens, M., Raupach, C., Swierkot, K., Lammersen, C., & Sohler, C. (2012). StreamKM++: A clustering algorithm for data streams. New York, NY, USA: ACM. https://doi.org/10.1145/2133803.2184450
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
Blömer, J. (2012). Turing und Kryptografie. Informatik-Spektrum, 35(4). https://doi.org/10.1007/s00287-012-0622-7
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
Jager, T. (2012). On black-box models of computation in cryptology. Ruhr University Bochum.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2012). On the Security of TLS-DHE in the Standard Model. In Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings (pp. 273--293). https://doi.org/10.1007/978-3-642-32009-5_17
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz, D., & Jager, T. (2012). Tightly Secure Signatures and Public-Key Encryption. In Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings (pp. 590--607). https://doi.org/10.1007/978-3-642-32009-5_35
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager, T., Schinzel, S., & Somorovsky, J. (2012). Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption. In Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings (pp. 752--769). https://doi.org/10.1007/978-3-642-33167-1_43
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz, D., Jager, T., & Knapp, E. (2012). Waters Signatures with Optimal Security Reduction. In Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings (pp. 66--83). https://doi.org/10.1007/978-3-642-30057-8_5
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin, O., Wehrheim, H., & Schellhorn, G. (2012). Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth, T., & Wehrheim, H. (2012). Model evolution and refinement. Sci. Comput. Program., (3), 270--289. https://doi.org/10.1016/j.scico.2011.04.007
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, G., Wehrheim, H., & Derrick, J. (2012). How to Prove Algorithms Linearisable. In P. Madhusudan & S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (pp. 243--259). https://doi.org/10.1007/978-3-642-31424-7_21
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring, D., & Selke, H. (2012). Computer science and society as a field of computer science (P. Forbrig, D. Rick, & A. Schmolitzky, Eds.; Vol. 5, pp. 111–116). Universit { \ "a} tsverlag Potsda.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, F., Workowski, Anke , Thronicke, W., Ostermair, F., Willemsen, D., & Hoffmann, D. (2012). User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 3rd International Conference on Wireless Mobile Communication and Healthcare.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, F., Nebe, K., & Eschenlohr, J. (2012). Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . Fourth International Conference on Mobile Computing, Applications and Services.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke, H., & Winkelnkemper, F. (2012). The technical potential of digital boards (J. {\ "o} rg Desel, J {\" o} rg Haake, & C. Spannagel, Eds.; pp. 171–182).
LibreCat