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.
327 Publications
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 | 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
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
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
2011 | Journal Article | LibreCat-ID: 26671
Baldin D, Grösbrink S, Oberthür S. Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC) 1(4). Published online 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
Bin Tariq F. F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. In: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011. Springer-Verlag; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus D, Janacik P, Eliassen F, Orten P. High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. In: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011). IEEE Computer Society; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie T, Müller W. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD). ; 2011.
LibreCat