Orfanus, D., Janacik, P., Eliassen, F., &; Orten, P. (2011). High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaB).
LibreCat: /record/26687

Xie, T., &; Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of the 14th Euromicro Conference on Digital System Design (DSD).
LibreCat: /record/26698

Jungmann, A., Lutterbeck, J., Werdehausen, B., &; Kleinjohann, B. (2011). A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). 26. - 29. Jul. 2011.
LibreCat: /record/26699

Gausemeier, J., Schierbaum, T., Dumitrescu, R., Herbrechtsmeier, S., &; Jungmann, A. (2011). Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). 26. - 29. Jul. 2011.
LibreCat: /record/26701

Thuy, A. (2011).  Comparison of periodic and aperiodic task models for cyber-physical-systems. Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On . 20. - 22. Jun. 2011.
LibreCat: /record/26702

Kuznik, C., &; Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Jun. 2011 - 16th North American User Group Meeting (NASCUG).
LibreCat: /record/26705

Mathews, E., &; Frey, H. (2011). A Localized Planarization Algorithm for Realistic Wireless Networks. IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 1–9.
LibreCat: /record/26707

Becker, M., Zabel, H., Müller, W., Elfeky, A., &; DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294, 315–327.
LibreCat: /record/26710

Rasche, C., Stern, C., Kleinjohann, L., &; Kleinjohann, B. (2011). Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. ThinkMind, International Journal On Advances in Software 3 (3&;4), 351–370.
LibreCat: /record/26711

Khaluf, Y., Mathews, E., &; Rammig, F.-J. (2011).  Self-Organized Cooperation in Swarm Robotics. 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 217–226.
LibreCat: /record/26712

Klobedanz, K., König, A., &; Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DA.
LibreCat: /record/26713

Klobedanz, K., König, A., Müller, W., &; Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011.
LibreCat: /record/26714

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

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: /record/26716

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: /record/26717

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

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: /record/26783

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: /record/26784

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: /record/26787

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: /record/26789