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. Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi T, Ecker G, Eke NO, Muhle F, eds. Schemata Und Praktiken. Wilhelm Fink Verlag; 2012:141-160.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
Bin Tariq F, Korrapati S. Adaptive Web Services for Modular and Reusable Software Development. In: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems. IGI Global; 2012:263-276.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
Jungmann A, Kleinjohann B. 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). Xpert Publishing Services; 2012:43-47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
Jungmann A, Kleinjohann B. 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 Y, Weiss F, Micus S. Master Election for Time Synchronization in Swarm Robotic Systems. In: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews E, Mathew C. Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. In: Third International Conference on Networks & Communications, LNICST. Springer; 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren Y, Müller W, He D, Mischkalla F, Dahaene W. Extending UML for Electronic Systems Design: A Code Generation Perspective. In: Nicolescu G, O’Connor I, Piguet C, eds. Design Technology for Heterogeneous Embedded Systems. 1st Edition. Auflage. Springer Verlag; 2012:13-39.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
Kuznik C, Oliveira MF, Müller W. SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE. Published online 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:10.1109/ISORCW.2012.41
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira MF, Kuznik C, Müller W, Esen V, Ecker W. Towards an Enhanced UVM for SystemC. In: Proceedings of the Design & Verification Conference (DVCon). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SOCC2012. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie T, Müller W. An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. In: Proceedings of the MeCoES’12. ; 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr M, Montealegre N. Implementation of a Singular Value Decomposition Module on an FPGA. In: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011). ACTA Press; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann A, Kleinjohann B. Automatic Feature Classification for Object Detection based on Motion Analysis. In: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA). IEEE; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Towards Using Virtual Forces for Image Registration. In: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26660
Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A Distributed Multi-UAV Path Planning Approach for 3D Environments. In: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews E, Graf T, Kulathunga KSSB. A Bio-inspired Coverage and Connectivity Maintenance Algorithm. In: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. Lecture Notes of ICST; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik C, Müller W. Aspect enhanced functional coverage driven verification in the SystemC HDVL. In: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie T, Müller W. IP-XACT based System Level Mutation Testing. In: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT). ; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler S, Oberthür S, Giese H, Seibel A. Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science & Engineering 26 (6). Published online 2011.
LibreCat