@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@articleHe_Müller_2013, title= A heuristic energy-aware approach for hard real-time systems on multi-core platforms, journal=Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), author=He, Da and Müller, Wolfgang, year=2013, pages=845–857 

@bookSchirner_Götz_Rettberg_Zanella_Rammig_2013, series=Band IFIP AICT 403 , title=Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP T International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013, publisher=Springer, year=2013, collection=Band IFIP AICT 403  

@inproceedingsKhaluf_Rammig_2013, title=Organic Programming of Real-Time Operating Systems, booktitle=The Ninth International Conference on Autonomic and Autonomous Systems, author=Khaluf, Lial and Rammig, Franz-Josef, year=2013 

@inbookAnacker_Dellnitz_Flaßkamp_Grösbrink_Hartmann_Heinzemann_Horenkamp_Kleinjohann_Kleinjohann_Korf_et al._2013, place=Heidelberg, title=Methods for the Design and Development, booktitle=Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, publisher=Springer-Verlag, author=Anacker, Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Korf, Sebastian and et al., year=2013, pages=187–356 

@inproceedingsGausemeier_Grafe_Meyer auf der Heide_2013, title=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, volume=311, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , author=Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm, year=2013