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.
332 Publications
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 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Y., Müller, W., He, D., Mischkalla, F., & Dahaene, W. (2012). Extending UML for Electronic Systems Design: A Code Generation Perspective. In G. Nicolescu, I. O’Connor, & C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems (1st Edition. Auflage, pp. 13–39). Springer Verlag.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, C., Oliveira, M. F., & Müller, W. (2012). SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, K., Müller, W., & Rettberg, A. (2012). An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. https://doi.org/10.1109/ISORCW.2012.41
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Kuznik, C., Müller, W., Esen, V., & Ecker, W. (2012). Towards an Enhanced UVM for SystemC. Proceedings of the Design & Verification Conference (DVCon).
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, T., Müller, W., & Letombe, F. (2012). Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. Proceedings of SOCC2012. https://doi.org/10.1109/SOCC.2012.6398362
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, T., & Müller, W. (2012). An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. Proceedings of the MeCoES’12.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr, M., & Montealegre, N. (2011). Implementation of a Singular Value Decomposition Module on an FPGA. The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann, A., & Kleinjohann, B. (2011). Automatic Feature Classification for Object Detection based on Motion Analysis. Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2011). Towards Using Virtual Forces for Image Registration. The 5th International Conference on Automation, Robotics and Applications (ICARA 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26660
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2011). A Distributed Multi-UAV Path Planning Approach for 3D Environments. The 5th International Conference on Automation, Robotics and Applications (ICARA 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, E., Graf, T., & Kulathunga, K. S. S. B. (2011). A Bio-inspired Coverage and Connectivity Maintenance Algorithm. Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, C., & Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, T., & Müller, W. (2011). IP-XACT based System Level Mutation Testing. Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT).
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler, S., Oberthür, S., Giese, H., & Seibel, A. (2011). Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science & Engineering 26 (6).
LibreCat