@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

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

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

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

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

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