ahresbericht 2011 der Fakultät EIM - Universität Paderborn: ONT

10 Anhang Institut für Informatik
Gausemeier, Jürgen; Rammig, Franz Josef; Schaefer,
Wilhelm; Trächtler, Ansgar (Hrsg.) 8. Paderborner
Workshop Entwurf mechatronischer Systeme,
HNI-Verlagsschriftenreihe, Paderborn, Band 294, S.
315-327, Heinz Nixdorf Institut, HNI Verlagsschriftenreihe,
Paderborn, Mai 2011
Rasche, C.; Stern, C.; Kleinjohann, L.; Kleinjohann,
B.: Coordinated Exploration and Goal-Oriented Path
Planning using Multiple UAVs. ThinkMind, International
Journal On Advances in Software, 3(3&4): S.
351-370, April 2011
Khaluf, Y.; Mathews, E.; Rammig, F. J.: Self-Organized
Cooperation in Swarm Robotics. In: 14th IEEE
International Symposium on Object/Component/
Service-Oriented Real-Time Distributed Computing
Workshops (ISORCW), S. 217-226, Newport Beach,
Kalifornien, USA, IEEE Computer Society, 28.-31.
März 2011
Klobedanz, K.; König, A.; Müller, W.: A Reconfi guration
Approach for Fault-Tolerant FlexRay Networks.
In: Proceedings of Design, Automation, Test Europe
– DATE2011, Grenoble, France, IEEE Computer
Society Press, 14.-18. März 2011
Kuznik, C.; Müller, W.: Functional Coverage-driven
Verifi cation with SystemC on Multiple Level of
Abstraction. In: Proceedings of DVCON, März 2011
Klobedanz, K.; König, A.; Müller, W.; Rettberg, A.:
Self-Reconfi guration for Fault-Tolerant FlexRay
Networks. In: Second IEEE Workshop on Self-Organizing
Real-Time Systems – SORT 2011, Newport
Beach, California, USA, März 2011, IEEE Computer
Society Press
Mischkalla, F.; He, D.; Müller, W.: A Retargetable
SysML-based Front-End for High-Level Synthesis. In:
Proceedings of 2nd Workshop on Model Based Engineering
for Embedded Systems Design (M-BED),
März 2011
He, D.; Mischkalla, F.; Müller, W.: A SysML-based
Framework with QEMU-SystemC Code Generation.
In: Proceedings of 1st international QEMU Users
Forum, März 2011
Gnokam Defo, G.B.; Müller, W.: Synchronisation
eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop
FlexRay Netzwerk. In: Methoden
und Beschreibungssprachen zur Modellierung
und Verifi kation von Schaltungen und Systemen
(MBMV), MBMV, Februar 2011
Adelt, P.; Esau, N.; Hölscher, C. ; Kleinjohann, B.;
Kleinjohann, L.; Krüger, M.; Zimmer, D.: Hybrid Planning
for Self-Optimization in Railbound Mechatronic
Systems. Intelligent Mechatronics: S. 169-194,
Februar 2011
Khaluf, L.; Gerth, C.; Engels, G.: Pattern-Based Modeling
and Formalizing of Business Process Quality
Constraints. In: Proceedings of the 23rd international
conference on Advanced information systems
engineering (CAiSE’11), S. 521-535, Springer Verlag,
20.-24. Juni 2011
Esau, N.; Kleinjohann, L.: Emotional Engineering.
Kapitel: Emotional Robot Competence and Its Use in
Robot Behavior Control, S. 119-142, Springer-Verlag
London, 2011
Jungmann, A.; Lutterbeck, J.; Werdehausen, B.;
Kleinjohann, B.; Kleinjohann, L.: Towards a Real-
World Scenario for Investigating Organic Computing
Principles in Heterogeneous Societies of Robots.
In: Proceedings of the 2011 workshop on Organic
computing, S. 41-50, ACM, 2011
Kuznik, C.; Müller, W.: Native binary mutation analysis
for embedded software and virtual prototypes in
SystemC. Proceedings of the 17th IEEE Pacifi c Rim
International Symposium on Dependable Computing
2011
Jungmann, A.; Kleinjohann, B.; Richert, W.: Increasing
Learning Speed by Imitation in Multi-robot Societies.
In: Organic Computing — A Paradigm Shift for
Complex Systems, Autonomic Systems, Band 1, S.
295-307, Springer Basel, 2011
Jungmann, A.; Kleinjohann, B.; Richert, W.: A Fast
Hierarchical Learning Approach for Autonomous Robots.
In: Organic Computing — A Paradigm Shift for
Complex Systems, Autonomic Systems, S. 545-558,
Springer Basel, 2011
Mathews, E.; Frey, H.: Topological Cluster Based
Geographic Routing in Multihop Ad Hoc Networks.
In: The 4th International Conference on Mobile Ubiquitous
Computing, Systems, Services and Technologies,
Florence, Italy UBICOMM 2010, Oktober 2010
Orfanus, D.; Janacik, P.; Wagner, F.: Locality-Aware
Extension of pi-Calculus to Model Self-Organizing
Behavior in Massively Distributed Embedded Systems.
In: Proceedings of 2010 13th IEEE International
Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops (ISO-
RCW), S. 29-38, Carmona, Spanien, 4.-7. Mai 2010
PROMOTIONEN
Sufyan Samara
Adaptable OS Services for Distributed Reconfi gurable
Systems on Chip
Jan Stehr
On the design and implementation of reliable and
economical telematics software architectures for
embedded systems: a domain-specifi c framework
Matthias Schnelte
Automatische Testfallgenerierung aus kontrolliert
natürlichsprachlichen Anforderungsspezifi kationen
für reaktive Echtzeitsysteme
Timo Kerstan
Towards full virtualization of embedded real-time
systems
Jörg Stöcklein
Mixed Reality in the Loop – Ein iteratives, prototypenbasiertes
Entwurfsvorgehen für die Entwicklung
von Mixed Reality Anwendungen
WEITERE FUNKTIONEN
F. Rammig
Mitglied Nordrhein-Westfälische Akademie der
Wissenschaften
Mitglied acatech, deutsche Akademie der Technikwissenschaften
Mitglied des zentralen Vergabeausschusses der
Alexander von Humboldt Stiftung
Hochschulseitiger Vorstand des C-LAB
Vorstandsmitglied der Paderborner International
Graduate School on Dynamic Intelligent Systems
Vorstandsmitglied des Paderborner Center for
Parallel Computing
Vorstandsmitglied s-lab (Software Quality Lab)
Vertreter Deutschlands bei IFIP (International
Federation for Information Processing)
Vertreter Deutschlands in IFIP TC 10
Mitglied in der IFIP Arbeitsgruppe 10.2 und 10.5
Mitglied des Präsidiums der GI (Gesellschaft für
Informatik)
Mitglied in GI FB Technische Informatik
Mitherausgeber Teuber Texte zur Informatik
B. Kleinjohann
Vice Chair IFIP Arbeitsgruppe 10.2 Embedded Systems
L. Kleinjohann
Publications Chair IFIP Arbeistgruppe 10.2 Embedded
Systems