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
Master Election for Time Synchronization in Swarm Robotic Systems
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
LibreCat
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
2012 | Conference Paper | LibreCat-ID: 26264
Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
LibreCat
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
2012 | Book Chapter | LibreCat-ID: 26695
Extending UML for Electronic Systems Design: A Code Generation Perspective
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
LibreCat
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
2012 | Conference Paper | LibreCat-ID: 36922
An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
LibreCat
| DOI
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
2012 | Conference Paper | LibreCat-ID: 36921
Towards an Enhanced UVM for SystemC
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
LibreCat
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
2012 | Conference Paper | LibreCat-ID: 36994
Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
LibreCat
| DOI
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
2012 | Conference Paper | LibreCat-ID: 36997
An IP-XACT-TO-SystemC Model Generator for Mutation Analysis
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.
LibreCat
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.
2012 | Journal Article | LibreCat-ID: 26038
SYSTEMC UVM VERIFICATION COMPONENTS
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
LibreCat
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
2011 | Conference Paper | LibreCat-ID: 26276
Implementation of a Singular Value Decomposition Module on an FPGA
M. Hosseinimehr, N. Montealegre, in: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, Calgary, Canada, 2011.
LibreCat
M. Hosseinimehr, N. Montealegre, in: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, Calgary, Canada, 2011.
2011 | Conference Paper | LibreCat-ID: 26279
Automatic Feature Classification for Object Detection based on Motion Analysis
A. Jungmann, B. Kleinjohann, in: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, Wellington, New Zealand, 2011.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, Wellington, New Zealand, 2011.
2011 | Conference Paper | LibreCat-ID: 26281
Towards Using Virtual Forces for Image Registration
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
LibreCat
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
2011 | Conference Paper | LibreCat-ID: 26660
A Distributed Multi-UAV Path Planning Approach for 3D Environments
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
LibreCat
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
2011 | Conference Paper | LibreCat-ID: 26663
A Bio-inspired Coverage and Connectivity Maintenance Algorithm
E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat
E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
2011 | Conference Paper | LibreCat-ID: 26667
Aspect enhanced functional coverage driven verification in the SystemC HDVL
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
2011 | Conference Paper | LibreCat-ID: 26669
IP-XACT based System Level Mutation Testing
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
2011 | Journal Article | LibreCat-ID: 26670
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures
S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science & Engineering 26 (6) (2011).
LibreCat
S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science & Engineering 26 (6) (2011).
2011 | Journal Article | LibreCat-ID: 26671
Enabling Constraint-based Binary Reconfiguration by Binary Analysis
D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).
LibreCat
D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).
2011 | Conference Paper | LibreCat-ID: 26673
F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems
F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.
LibreCat
F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.
2011 | Conference Paper | LibreCat-ID: 26687
High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems
D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.
LibreCat
D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.
2011 | Conference Paper | LibreCat-ID: 26698
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.