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
Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, and W. Dahaene, “Extending UML for Electronic Systems Design: A Code Generation Perspective,” in Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage., G. Nicolescu, I. O’Connor, and C. Piguet, Eds. Springer Verlag, 2012, pp. 13–39.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi: 10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
M. F. Oliveira, C. Kuznik, W. Müller, V. Esen, and W. Ecker, “Towards an Enhanced UVM for SystemC,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,” 2012, doi: 10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
T. Xie and W. Müller, “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
C. Kuznik, M. F. Oliveira, and W. Müller, “SYSTEMC UVM VERIFICATION COMPONENTS,” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26276
M. Hosseinimehr and N. Montealegre, “Implementation of a Singular Value Decomposition Module on an FPGA,” 14. - 16. Dez. 2011, ACTA Press, Calgary, Canada, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
A. Jungmann and B. Kleinjohann, “Automatic Feature Classification for Object Detection based on Motion Analysis,” Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Towards Using Virtual Forces for Image Registration,” Wellington, New Zealand, Dez. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26660
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A Distributed Multi-UAV Path Planning Approach for 3D Environments,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “A Bio-inspired Coverage and Connectivity Maintenance Algorithm,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification in the SystemC HDVL,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
T. Xie and W. Müller, “IP-XACT based System Level Mutation Testing,” 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
S. Henkler, S. Oberthür, H. Giese, and A. Seibel, “Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures,” International Journal of Computer Systems Science & Engineering 26 (6), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
D. Baldin, S. Grösbrink, and S. Oberthür, “Enabling Constraint-based Binary Reconfiguration by Binary Analysis,” International Journal on Computing (JoC) 1(4), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
F. Bin Tariq, “F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems,” Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
D. Orfanus, P. Janacik, F. Eliassen, and P. Orten, “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems,” Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011.
LibreCat