@inproceedingsRammig_Khaluf_Montealegre_Stahl_Zhao_2013, title=Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software, booktitle=Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013, publisher=IEEE, author=Rammig, Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong, year=2013 
LibreCat: /record/25290

@inproceedingsBecker_Kiffmeier_Müller_2013, title=HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures, booktitle=16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing, author=Becker, Markus and Kiffmeier, Ulrich and Müller, Wolfgang, year=2013 
LibreCat: /record/25291

@inproceedingsRammig_Stahl_Vaz_2013, title=A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems, booktitle=Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013, publisher=IEEE, author=Rammig, Franz-Josef and Stahl, Katharina and Vaz, Gavin Francis, year=2013 
LibreCat: /record/25292

@inproceedingsRasche_Ziegert_2013, title=Multilevel Planning for Self-Optimizing Mechatronic Systems, booktitle=Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, publisher=ThinkMind, author=Rasche, Christoph and Ziegert, Steffen, year=2013, pages=6 
LibreCat: /record/25296

@inproceedingsStahl_2013, title=AIS-based Anomaly Detection for Self-X Systems, booktitle=Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), publisher=Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, author=Stahl, Katharina, year=2013, pages=24–26 
LibreCat: /record/25298

@inproceedingsGrösbrink_Rammig_2013, place=Brasilia, Brazil, title=Safe Self-Evolving Embedded Software via System Virtualization, booktitle=3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013, publisher=SBC, author=Grösbrink, Stefan and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25299

@inproceedingsGrösbrink_Almeida_de Sousa_Petters_2013, title=Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope, booktitle=5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), author=Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M., year=2013 
LibreCat: /record/25548

@inproceedingsQanadilo_Samara_Zhao_2013, title=Accelerating Online Model Checking, booktitle=6’th Latin-American Symposium on Dependable Computing (LADC 2013), author=Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong, year=2013 
LibreCat: /record/25557

@inproceedingsStern_Rasche_Kleinjohann_Kleinjohann_2013, title=Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen, volume=311, booktitle=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, author=Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2013 
LibreCat: /record/25573

@inproceedingsRasche_Bieshaar_Jungmann_Kleinjohann_Kleinjohann_2013, title=Statistisches Planen in einem realen Roboterszenario, volume=310, booktitle=Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Rasche, Christoph and Bieshaar, Maarten and Jungmann, Alexander and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2013, pages=133–146 
LibreCat: /record/25574

@inproceedingsGrösbrink_Baldin_Oberthür_2013, title=Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems, booktitle=ACM SIGBED Review, Band 10, publisher=ACM, author=Grösbrink, Stefan and Baldin, Daniel and Oberthür, Simon, year=2013 
LibreCat: /record/25575

@inproceedingsKuznik_F. S. Oliveira_Müller_2013, title=SystemC Verification Components - An enhanced OVM/UVM for SystemC, booktitle=edaWorkshop 13, author=Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang, year=2013 
LibreCat: /record/25606

@inproceedingsMischkalla_Müller_2013, title=Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen, booktitle=Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/25612

@inproceedingsKuznik_F. S. Oliveira_Müller_2013, title=SC OVM: An Advanced SystemC Library for OVM-based Verification, booktitle=Open SANITAS SystemC Verification Workshop, author=Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang, year=2013 
LibreCat: /record/25614

@articleEngels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title= Informationstechnik spart Ressourcen, journal=ForschungsForum Paderborn , author=Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang, year=2013 
LibreCat: /record/25615

@articleGrösbrink_2013, title=Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues, journal=Production Engineering Research &; Development 7(1), author=Grösbrink, Stefan, year=2013, pages=69–79 
LibreCat: /record/25616

@articleJungmann_Kleinjohann_Kleinjohann_2013, title=Learning Service Recommendations, journal=International Journal of Business Process Integration and Management 6(4), author=Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa, year=2013, pages=284–297 
LibreCat: /record/25618

@inproceedingsKuznik_Oliveira_Defo_Müller_2013, title=Systematic Application of UCIS to Improve the Automation on Verification Closure, booktitle=Proceedings of DVCON, author=Kuznik, Christoph and Oliveira, Marcio F. and Defo, Bertrand and Müller, Wolfgang, year=2013 
LibreCat: /record/25620

@inbookRasche_Stern_Kleinjohann_Kleinjohann_2013, place=Berlin Heidelberg, title=A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights, volume=480, booktitle=Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, publisher=Springer , author=Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd, editor=Sen Gupta, Gourab and Bailey, Donald and Demidenko, Serge and Carnegie, Dale, year=2013, pages=103–113 
LibreCat: /record/25625

@inproceedingsKlobedanz_Jatzkowski_Rettberg_Müller_2013, title=Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks, booktitle=International Embedded Systems Symposium (IESS) 2013, publisher=Springer, author=Klobedanz, Kay and Jatzkowski, Jan and Rettberg, Achim and Müller, Wolfgang, year=2013 
LibreCat: /record/25632