@inproceedingsKuznik_Müller_2011, title=Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction, booktitle=Proceedings of DVCON , author=Kuznik, Christoph and Müller, Wolfgang, year=2011 

@inproceedingsMischkalla_He_Müller_2011, title=A Retargetable SysML-based Front-End for High-Level Synthesis, booktitle=Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), author=Mischkalla, Fabian and He, Da and Müller, Wolfgang, year=2011 

@inproceedingsHe_Mischkalla_Müller_2011, title=A SysML-based Framework with QEMU-SystemC Code Generation, booktitle=Proceedings of 1st international QEMU Users Forum, author=He, Da and Mischkalla, Fabian and Müller, Wolfgang, year=2011 

@inproceedingsBecker_2011, title=QEMU/SystemC Cosimulation at Different Abstraction Levels, booktitle=1st International QEMU Users Forum (QUF’11), author=Becker, Markus, year=2011 

@inbookAdelt_Esau_Hölscher_Kleinjohann_Kleinjohann_Krüger_Zimmer_2011, title=Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems, booktitle= Intelligent Mechatronics; Kapitel 10, publisher=InTech Open Access Publisher, author=Adelt, Philipp and Esau, Natascha and Hölscher, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Zimmer, Detmar, year=2011, pages=169–194 

@inproceedingsGnokam Defo_Müller_2011, title=Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk, booktitle=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), author=Gnokam Defo, Gilles Bertrand and Müller, Wolfgang, year=2011 

@inproceedingsKhaluf_Gerth_Engels_2011, title=Pattern-Based Modeling and Formalizing of Business Process Quality Constraints, booktitle=Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11), publisher=Springer Verlag, author=Khaluf, Lial and Gerth, Christian and Engels, Gregor, year=2011, pages=521–535 

@inproceedingsKuznik_Müller_2011, title=Native binary mutation analysis for embedded software and virtual prototypes in SystemC, booktitle=Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, author=Kuznik, Christoph and Müller, Wolfgang, year=2011 

@inbookEsau_Kleinjohann_2011, title=Emotional Robot Competence and Its Use in Robot Behavior Control, booktitle=Emotional Engineering, publisher=Springer-Verlag London, author=Esau, Natascha and Kleinjohann, Lisa, year=2011, pages=119–142 

@inproceedingsJungmann_Lutterbeck_Werdehausen_Kleinjohann_Kleinjohann_2011, title=Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots, booktitle=Proceedings of the 2011 workshop on Organic computing, publisher=ACM, author=Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd and Kleinjohann, Lisa, year=2011, pages=41–50 

@inbookJungmann_Kleinjohann_Richert_2011, title=A Fast Hierarchical Learning Approach for Autonomous Robots, DOI=10.1007/978-3-0348-0130-0_36, booktitle=Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, publisher=Springer Basel, author=Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi, year=2011, pages=545–558 

@inbookJungmann_Kleinjohann_Richert_2011, title=Increasing Learning Speed by Imitation in Multi-robot Societies, DOI=10.1007/978-3-0348-0130-0_19, booktitle=Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , publisher=Springer Basel, author=Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi, year=2011, pages=295–307 

@inproceedingsBecker_Zabel_Müller_Elfeky_2011, place=Paderborn, title=Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie, author=Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed, year=2011 

@inproceedingsKuznik_Müller_2011, title=A SystemC Based Library for Functional Coverage, author=Kuznik, Christoph and Müller, Wolfgang, year=2011 

@inproceedingsKlobedanz_König_Müller_2011, place=Grenoble, France, title=A Reconfiguration Approach for Faul-Tolerant FlexRay Networks, DOI=10.1109/DATE.2011.5763022, booktitle=Proceedings of DATE’11, publisher=IEEE, author=Klobedanz, Kay and König, Andreas and Müller, Wolfgang, year=2011 

@inproceedingsMischkalla_He_Müller_2010, place=Dresden, title=Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems, DOI=10.1109/DATE.2010.5456990, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Mischkalla, Fabian and He, Da and Müller, Wolfgang, year=2010 

@inproceedingsOliveira_Zabel_Müller_2010, place=Dresden, title=Assertion-Based Verification of RTOS Properties, DOI=10.1109/DATE.2010.5457130, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang, year=2010 

@inproceedingsKlobedanz_Kuznik_Thuy_Müller_2010, place=Dresden, title=Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study, DOI=10.1109/DATE.2010.5457125, booktitle=Proceedings of DATE’10, Dresden, publisher=IEEE, author=Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang, year=2010 

@inproceedingsKrupp_Müller_2010, place=Dresden, title=A Systematic Approach to Combined HW/SW System Test, DOI=10.1109/DATE.2010.5457186, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Krupp, Alexander and Müller, Wolfgang, year=2010 

@inproceedingsBecker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place=Dresden, title=RTOS-Aware Refinement for TLM2.0-based HW/SW Design, DOI=10.1109/DATE.2010.5456965, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao, year=2010