@inproceedingsFarshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title=Simulationsgestützter Entwurf für Elektrofahrzeuge, booktitle=8. Dortmunder Autotag, Sep. 2013, author=Farshizadeh, Emad and Briese, Herrmann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael, year=2013 
LibreCat: /record/25277

@inproceedingsMischkalla_Müller_2013, title= Efficient Power Intent Validation Using Loosely-Timed Simulation Models, booktitle= 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/25284

@inproceedingsJungmann_Kleinjohann_2013, title=Learning Recommendation System for Automated Service Composition, booktitle=Proceedings of the 10th IEEE International Conference on Services Computing (SCC), publisher= IEEE Computer Society, author=Jungmann, Alexander and Kleinjohann, Bernd, year=2013, pages=97–104 
LibreCat: /record/25286

@inproceedingsGilles_Grösbrink_Baldin_Kerstan_2013, title=Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems, booktitle=International Embedded Systems Symposium, 17. - 19. Jun. 2013, author=Gilles, Katharina and Grösbrink, Stefan and Baldin, Daniel and Kerstan, Timo, year=2013 
LibreCat: /record/25287

@inproceedingsGrösbrink_2013, title=On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem, booktitle= International Embedded Systems Symposium, 17. - 19. Jun. 2013, author=Grösbrink, Stefan, year=2013 
LibreCat: /record/25289

@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