@inproceedingsMathews_Graf_Kulathunga_2011, title=A Bio-inspired Coverage and Connectivity Maintenance Algorithm, booktitle=Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, publisher=Lecture Notes of ICST, author=Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B., year=2011 
LibreCat: /record/26663

@inproceedingsKuznik_Müller_2011, title=Aspect enhanced functional coverage driven verification in the SystemC HDVL, booktitle=Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), author=Kuznik, Christoph and Müller, Wolfgang, year=2011 
LibreCat: /record/26667

@inproceedingsXie_Müller_2011, title=IP-XACT based System Level Mutation Testing, booktitle=Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), author=Xie, Tao and Müller, Wolfgang, year=2011 
LibreCat: /record/26669

@articleHenkler_Oberthür_Giese_Seibel_2011, title=Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures, journal=International Journal of Computer Systems Science &; Engineering 26 (6), author=Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas, year=2011 
LibreCat: /record/26670

@articleBaldin_Grösbrink_Oberthür_2011, title=Enabling Constraint-based Binary Reconfiguration by Binary Analysis, journal=International Journal on Computing (JoC) 1(4), author=Baldin, Daniel and Grösbrink, Stefan and Oberthür, Simon, year=2011 
LibreCat: /record/26671

@inproceedingsBin Tariq_2011, place=Poznan, Poland, title=F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems, booktitle= 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, publisher=Springer-Verlag, author=Bin Tariq, Fahad, year=2011 
LibreCat: /record/26673

@inproceedingsOrfanus_Janacik_Eliassen_Orten_2011, place=Salamanca, Spain, title=High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems, booktitle=Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaB), publisher=IEEE Computer Society, author=Orfanus, Dalimir and Janacik, Peter and Eliassen, Frank and Orten, Pal, year=2011 
LibreCat: /record/26687

@bookBetz_2011, place=Hamburg, title=Ausgewählte Probleme des Logistikmanagements, year=2011 
LibreCat: /record/2669

@inproceedingsXie_Müller_2011, title=HDL-Mutation Based Simulation Data Generation by Propagation Guided Search, booktitle=Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), author=Xie, Tao and Müller, Wolfgang, year=2011 
LibreCat: /record/26698

@inproceedingsJungmann_Lutterbeck_Werdehausen_Kleinjohann_2011, title=A Test Bed for Investigating Self-X Properties in Multi-Robot Societies, booktitle=Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), publisher=IEEE, author=Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd, year=2011 
LibreCat: /record/26699

@inproceedingsGausemeier_Schierbaum_Dumitrescu_Herbrechtsmeier_Jungmann_2011, title=Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties, booktitle=Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), publisher=IEEE, author=Gausemeier, Jürgen and Schierbaum, Thomas and Dumitrescu, Roman and Herbrechtsmeier, Stefan and Jungmann, Alexander, year=2011 
LibreCat: /record/26701

@inproceedingsThuy_2011, title= Comparison of periodic and aperiodic task models for cyber-physical-systems, booktitle=Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on , publisher=IEEE Xplore, author=Thuy, Andreas, year=2011 
LibreCat: /record/26702

@articleKuznik_Müller_2011, title=Verification Closure of SystemC Designs with Functional Coverage, journal=North American SystemC User Group Meeting (16th), author=Kuznik, Christoph and Müller, Wolfgang, year=2011 
LibreCat: /record/26705

@inproceedingsMathews_Frey_2011, title=A Localized Planarization Algorithm for Realistic Wireless Networks, booktitle=IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), publisher= IEEE Computer Society, author=Mathews, Emi and Frey, Hannes, year=2011, pages=1–9 
LibreCat: /record/26707

@inproceedingsBecker_Zabel_Müller_Elfeky_DiPasquale_2011, title=Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie, volume=294, booktitle=8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed and DiPasquale, Anthony, year=2011, pages=315–327 
LibreCat: /record/26710

@articleRasche_Stern_Kleinjohann_Kleinjohann_2011, title=Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs, journal=ThinkMind, International Journal On Advances in Software 3 (3&;4), author=Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2011, pages=351–370 
LibreCat: /record/26711

@inproceedingsKhaluf_Mathews_Rammig_2011, place=Newport Beach, California, USA, title= Self-Organized Cooperation in Swarm Robotics, booktitle=14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), publisher=IEEE Computer Society, author=Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef, year=2011, pages=217–226 
LibreCat: /record/26712

@inproceedingsKlobedanz_König_Müller_2011, place=Grenoble, France, title=A Reconfiguration Approach for Fault-Tolerant FlexRay Networks, booktitle=Proceedings of Design, Automation, Test Europe - DA, publisher=IEEE Computer Society Press, author=Klobedanz, Kay and König, A. and Müller, Wolfgang, year=2011 
LibreCat: /record/26713

@inproceedingsKlobedanz_König_Müller_Rettberg_2011, place=Newport Beach, California, USA, title=Self-Reconfiguration for Fault-Tolerant FlexRay Networks, booktitle=Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, publisher=IEEE Computer Society Press, author=Klobedanz, Kay and König, A. and Müller, Wolfgang and Rettberg, Achim, year=2011 
LibreCat: /record/26714

@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 
LibreCat: /record/26715