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.
1558 Publications
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 | Journal Article | LibreCat-ID: 26046
Stefszky, M., Mow-Lowry, C. M., Chua, S. S. Y., Shaddock, D. A., Buchler, B. C., Vahlbruch, H., Khalaidovski, A., Schnabel, R., Lam, P. K., & McClelland, D. E. (2012). Balanced homodyne detection of optical quantum states at audio-band frequencies and below. Classical and Quantum Gravity, Article 145015. https://doi.org/10.1088/0264-9381/29/14/145015
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 2608
Betz, S. (2012). Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains. In S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand (2nd ed., pp. 49–72). Hamburg.
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 | Book Chapter | LibreCat-ID: 2609
Betz, S. (2012). Analyse des Bullwhip-Effekts in einer Supply Chain von KMU. In S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand (2nd ed., pp. 105–132). Hamburg.
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