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, Yara, Fabian Weiss, and Sebastian Micus. “Master Election for Time Synchronization in Swarm Robotic Systems.” In The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. Leganés, Madrid, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” In Third International Conference on Networks & Communications, LNICST. Bangalore, India: Springer, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Yves, Wolfgang Müller, Da He, Fabian Mischkalla, and Wim Dahaene. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” In Design Technology for Heterogeneous Embedded Systems, edited by Gabriela Nicolescu, Ian O’Connor, and Christian Piguet, 1st Edition. Auflage., 13–39. Springer Verlag, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. https://doi.org/10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Christoph Kuznik, Wolfgang Müller, V. Esen, and W. Ecker. “Towards an Enhanced UVM for SystemC.” In Proceedings of the Design & Verification Conference (DVCon). San Jose, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” In Proceedings of SOCC2012. Niagara Falls, NY, USA : IEEE, 2012. https://doi.org/10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” In Proceedings of the MeCoES’12. Tampere, Finnland, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, Christoph, Marcio F. Oliveira, and Wolfgang Müller. “SYSTEMC UVM VERIFICATION COMPONENTS.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr, Masoud, and Norma Montealegre. “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). Calgary, Canada: ACTA Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” In Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA). Wellington, New Zealand: IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Towards Using Virtual Forces for Image Registration.” In The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). Wellington, New Zealand, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26660
Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” In The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). Wellington, New Zealand, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “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, Christoph, and Wolfgang Müller. “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, Tao, and Wolfgang Müller. “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, Stefan, Simon Oberthür, Holger Giese, and Andreas 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
Baldin, Daniel, Stefan Grösbrink, and Simon 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
Bin Tariq, Fahad. “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. Poznan, Poland: Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus, Dalimir, Peter Janacik, Frank Eliassen, and Pal Orten. “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). Salamanca, Spain: IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat