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
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, C., & Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, F., He, D., & Müller, W. (2011). A Retargetable SysML-based Front-End for High-Level Synthesis. Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, D., Mischkalla, F., & Müller, W. (2011). A SysML-based Framework with QEMU-SystemC Code Generation. Proceedings of 1st International QEMU Users Forum.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
Becker, M. (2011). QEMU/SystemC Cosimulation at Different Abstraction Levels. 1st International QEMU Users Forum (QUF’11).
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
Adelt, P., Esau, N., Hölscher, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., & Zimmer, D. (2011). Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In Intelligent Mechatronics; Kapitel 10 (pp. 169–194). InTech Open Access Publisher.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, G. B., & Müller, W. (2011). Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26787
Khaluf, L., Gerth, C., & Engels, G. (2011). Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), 521–535.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, C., & Müller, W. (2011). Native binary mutation analysis for embedded software and virtual prototypes in SystemC. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
Esau, N., & Kleinjohann, L. (2011). Emotional Robot Competence and Its Use in Robot Behavior Control. In Emotional Engineering (pp. 119–142). Springer-Verlag London.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann, A., Lutterbeck, J., Werdehausen, B., Kleinjohann, B., & Kleinjohann, L. (2011). Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. Proceedings of the 2011 Workshop on Organic Computing, 41–50.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, A., Kleinjohann, B., & Richert, W. (2011). A Fast Hierarchical Learning Approach for Autonomous Robots. In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems (pp. 545–558). Springer Basel. https://doi.org/10.1007/978-3-0348-0130-0_36
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, A., Kleinjohann, B., & Richert, W. (2011). Increasing Learning Speed by Imitation in Multi-robot Societies. In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 (pp. 295–307). Springer Basel. https://doi.org/10.1007/978-3-0348-0130-0_19
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37001
Becker, M., Zabel, H., Müller, W., & Elfeky, A. (2011). Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, C., & Müller, W. (2011). A SystemC Based Library for Functional Coverage. Proceedings of the Design and Verification Conference (DVCON 2011), San Jose, CA.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. Proceedings of DATE’11. 2011 Design, Automation & Test in Europe, Grenoble, France. https://doi.org/10.1109/DATE.2011.5763022
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat
| DOI