Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
LibreCat: /record/26715

A Retargetable SysML-based Front-End for High-Level Synthesis
F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat: /record/26716

A SysML-based Framework with QEMU-SystemC Code Generation
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat: /record/26717

QEMU/SystemC Cosimulation at Different Abstraction Levels
M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat: /record/26782

Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems
P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger, D. Zimmer, in:  Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
LibreCat: /record/26783

Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat: /record/26784

Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–535.
LibreCat: /record/26787

Native binary mutation analysis for embedded software and virtual prototypes in SystemC
C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat: /record/26789

Emotional Robot Competence and Its Use in Robot Behavior Control
N. Esau, L. Kleinjohann, in: Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat: /record/26792

Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, L. Kleinjohann, in: Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat: /record/26794

A Fast Hierarchical Learning Approach for Autonomous Robots
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
LibreCat: /record/26805
DOI: 10.1007/978-3-0348-0130-0_36

Increasing Learning Speed by Imitation in Multi-robot Societies
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
LibreCat: /record/26810
DOI: 10.1007/978-3-0348-0130-0_19

Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, in: Paderborn, 2011.
LibreCat: /record/37001

A SystemC Based Library for Functional Coverage
C. Kuznik, W. Müller, in: 2011.
LibreCat: /record/37005

A Reconfiguration Approach for Faul-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble, France, 2011.
LibreCat: /record/37006
DOI: 10.1109/DATE.2011.5763022

Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37007
DOI: 10.1109/DATE.2010.5456990

Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37037
DOI: 10.1109/DATE.2010.5457186

RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965