@inproceedingsJungmann_Kleinjohann_2016, title=Automatic Composition of Service-based Image Processing Applications, booktitle=Proceedings of the 13th IEEE International Conference on Services Computing (SCC), publisher=IEEE Computer Society, author=Jungmann, Alexander and Kleinjohann, Bernd, year=2016, pages=106–113 
LibreCat: /record/25070

@inproceedingsJungmann_Jatzkowski_Kleinjohann_2015, title=Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study, booktitle=Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), publisher=Springer-Verlag, author=Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd, year=2015 
LibreCat: /record/25073

@inproceedingsJatzkowski_Kreutz_Rettberg_2015, title=Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems, booktitle=Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), publisher=Springer, author=Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim, year=2015 
LibreCat: /record/25074

@inproceedingsStahl_Stöcklein_Li_2015, series=LNCS, title=Evaluation of Autonomous Approaches using Virtual Environments, volume=9179, booktitle=Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, publisher=Springer International Publishing Switzerland, author=Stahl, Katharina and Stöcklein, Jörg and Li, Silja, editor=Shumaker, Randall and Lackey, Stephanie, year=2015, pages=499–512, collection=LNCS 
LibreCat: /record/25075

@inproceedingsJungmann_2015, title=On Adaptivity for Automated Composition of Service Functionality, booktitle=Proceedings of the IEEE 11th World Congress on Services (SERVICES), publisher=IEEE Computer Society, author=Jungmann, Alexander, year=2015, pages=329–332 
LibreCat: /record/25076

@inproceedingsMohr_Jungmann_Kleine Büning_2015, title=Automated Online Service Composition, booktitle=Proceedings of the 12th IEEE International Conference on Services Computing (SCC), publisher= IEEE Computer Society, author=Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans, year=2015, pages=57–64 
LibreCat: /record/25080

@inproceedingsJatzkowski_Kreutz_Rettberg_2015, title=Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization, booktitle=Proceedings of Electronic System Level Synthesis Conference (ESLsyn), author=Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim, year=2015 
LibreCat: /record/25082

@inproceedingsJatzkowski_Kleinjohann_2015, title=Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems, booktitle=Mechatronics, publisher=Elsevier, author=Jatzkowski, Jan and Kleinjohann, Bernd, year=2015 
LibreCat: /record/25083

@articleJungmann_Mohr_2015, title=An approach towards adaptive service composition in markets of composed services, journal=Journal of Internet Services and Applications 6(1), author=Jungmann, Alexander and Mohr, Felix, year=2015, pages=1–18 
LibreCat: /record/25107

@articleRammig_Stahl_2015, title=Online behavior classification for anomaly detection in self-x real-time systems, journal=Concurrency and Computation: Practice and Experience , author=Rammig, Franz-Josef and Stahl, Katharina, year=2015 
LibreCat: /record/25108

@articleSudhakar_Zhao_Rammig_2015, title=Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System, journal=Concurrency and Computation: Practice and Experience , author=Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef, year=2015 
LibreCat: /record/25109

@articleJoy_Rammig_2015, title=A hybrid methodology to detect memory leaks in soft real time embedded systems software, journal=Int. J. of Embedded Systems, author=Joy, M. tech. Mabel Mary and Rammig, Franz-Josef, year=2015 
LibreCat: /record/25110

@articleKhaluf_Birattari_Rammig_2015, title=Analysis of long-term swarm performance based on short-term experiments, journal=Springer Jounal Soft Computing , author=Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef, year=2015 
LibreCat: /record/25111

@inproceedingsJungmann_Kleinjohann_2014, title=Towards Context-Sensitive Service Composition for Service-Oriented Image Processing, booktitle=Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), publisher=IEEE, author=Jungmann, Alexander and Kleinjohann, Bernd, year=2014, pages=755–758 
LibreCat: /record/25112

@articleJungmann_Brangewitz_Petrlic_Platenius_2014, title=Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services, journal=International Journal on Advances in Intelligent Systems 7(3&;4), author=Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin, year=2014, pages=572–594 
LibreCat: /record/25114

@inproceedingsJungmann_Mohr_Kleinjohann_2014, title=Applying Reinforcement Learning for Resolving Ambiguity in Service Composition, booktitle=Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), publisher=IEEE Computer Society, author=Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd, year=2014, pages=105–112 
LibreCat: /record/25115

@articleBecker_Kuznik_2014, title=Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation, journal=Forum on Specification &; Design Languages (FDL 2014), author=Becker, Markus and Kuznik, Christoph, year=2014 
LibreCat: /record/25116

@inproceedingsStern_Kleinjohann_2014, title=Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces, booktitle=Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, publisher= Institute of Industrial Applications Engineers, author=Stern, Claudius and Kleinjohann, Lisa, year=2014, pages=209–215 
LibreCat: /record/25119

@inproceedingsGrösbrink_Almeida_2014, title=A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors, booktitle=19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), author=Grösbrink, Stefan and Almeida, Luis, year=2014 
LibreCat: /record/25122

@inproceedingsBecker_Kuznik_Müller_2014, title=Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software, booktitle=17th Euromicro Conference on Digital Systems Design (DSD), author=Becker, Markus and Kuznik, Christoph and Müller, Wolfgang, year=2014 
LibreCat: /record/25145

@inproceedingsJatzkowski_Kleinjohann_2014, title=Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems, booktitle=2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), author=Jatzkowski, Jan and Kleinjohann, Bernd, year=2014 
LibreCat: /record/25147

@inproceedingsSudhakar_Zhao_Rammig_2014, place=Reno, NV, title=Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System, booktitle=Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), publisher=IEEE Xplore, author=Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef, year=2014, pages=374–383 
LibreCat: /record/25148

@inproceedingsRammig_Stahl_2014, title=Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems, booktitle=Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on, author=Rammig, Franz-Josef and Stahl, Katharina, year=2014, pages=334–341 
LibreCat: /record/25149

@inproceedingsJungmann_Mohr_Kleinjohann_2014, title=Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services, booktitle=Proceedings of the 10th World Congress on Services (SERVICES), publisher=IEEE, author=Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd, year=2014, pages=346–353 
LibreCat: /record/25150

@inproceedingsGrösbrink_2014, title=Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems, booktitle=8th IEEE International Conference on Software Security and Reliability, author=Grösbrink, Stefan, year=2014 
LibreCat: /record/25152

@inproceedingsJungmann_Brangewitz_Petrlic_Platenius_2014, title=Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services, booktitle=Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), author=Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin, year=2014, pages=49–57 
LibreCat: /record/25153

@articleBrink_Jatzkowski_2014, title=EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community, journal=SafeTRANS News (1), author=Brink, Christopher and Jatzkowski, Jan, year=2014, pages=12–13 
LibreCat: /record/25154

@inproceedingsBecker_Kuznik_Müller_2014, title=Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems, booktitle=ACM/IEEE 5th International Conference on Cyber-Physical Systems, author=Becker, Markus and Kuznik, Christoph and Müller, Wolfgang, year=2014 
LibreCat: /record/25155

@inproceedingsPetrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title=Security and Privacy Challenges in On-The-Fly Computing, booktitle=Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014), author=Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph, year=2014 
LibreCat: /record/25156

@inproceedingsGrösbrink_2014, title=Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization, booktitle=GI Design For Future Workshop, author=Grösbrink, Stefan, year=2014 
LibreCat: /record/25159

@inproceedingsGrösbrink_Almeida_de Sousa_Petters_2014, title=Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization, booktitle=20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), author=Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M., year=2014 
LibreCat: /record/25160

@inproceedingsKoppelmann_Becker_Müller_2014, title=Portierung der TriCore-Architektur auf QEMU, booktitle=17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , author=Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang, year=2014 
LibreCat: /record/25161

@inproceedingsGrösbrink_Korrapati_Schmitz_Schreckenberg_2014, title=Hypervisor-based Consolidation for Automated Teller Machines, booktitle=Embedded World Conference, author=Grösbrink, Stefan and Korrapati, Sandeep and Schmitz, André and Schreckenberg, Andreas, year=2014 
LibreCat: /record/25165

@inproceedingsJungmann_Jatzkowski_Kleinjohann_2014, title=Evaluation of Color Spaces for Robust Image Segmentation, booktitle= Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), publisher= INSTICC PRESS, author=Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd, year=2014 
LibreCat: /record/25167

@bookGausemeier_Rammig_Schäfer_Sextro_2014, place= Heidelberg, Germany, title=Dependability of Self-Optimizing Mechatronic Systems, publisher=Springer-Verlag, author=Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Sextro, Walter, year=2014 
LibreCat: /record/25168

@inbookGrösbrink_Korf_Porrmann_Priesterjahn_Stahl_2014, place=Heidelberg, Germany, title=Self-optimization by Reconfiguration, booktitle=Design Methodology for Intelligent Technical Systems, publisher=Springer-Verlag, author=Grösbrink, Stefan and Korf, Sebastian and Porrmann, Mario and Priesterjahn, Claudia and Stahl, Katharina, year=2014, pages=19–22 
LibreCat: /record/25170

@inbookGrösbrink_2014, place=Heidelberg, Germany, title=Virtualization, booktitle=Dependability of Self-Optimizing Mechatronic Systems, publisher=Springer-Verlag , author=Grösbrink, Stefan, year=2014, pages=152–157 
LibreCat: /record/25171

@inproceedingsRammig_Grösbrink_Stahl_Zhao_2014, title=Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation, booktitle= Brazilian Symposium on Computing Systems Engineering (SBESC), publisher=SBC, author=Rammig, Franz-Josef and Grösbrink, Stefan and Stahl, Katharina and Zhao, Yuhong, year=2014 
LibreCat: /record/25172

@inbookDellnitz_Flaßkamp_Hartmann_Krüger_Meyer_Priesterjahn_Ober-Blöbaum_Rasche_Sextro_Stahl_et al._2014, place=Heidelberg, Germany, title=Self-optimizing Mechatronic Systems, booktitle=Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1, publisher=Springer-Verlag, author=Dellnitz, Michael and Flaßkamp, Kathrin and Hartmann, Philip and Krüger, Martin and Meyer, Tobias and Priesterjahn, Claudia and Ober-Blöbaum, Sina and Rasche, Christoph and Sextro, Walter and Stahl, Katharina and et al., year=2014, pages=3–12 
LibreCat: /record/25173

@inbookGrösbrink_Oberthür_Stahl_2014, place=Heidelberg, Germany, title=System Software, booktitle=Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, publisher=Springer-Verlag, author=Grösbrink, Stefan and Oberthür, Simon and Stahl, Katharina, year=2014, pages=298–317 
LibreCat: /record/25175

@inbookGausemeier_Korf_Porrmann_Stahl_Sudmann_Vaßholz_2014, place=Heidelberg, Germany, title=Development of Self-Optimizing Systems, booktitle=Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, publisher=Springer-Verlag , author=Gausemeier, Jürgen and Korf, Sebastian and Porrmann, Mario and Stahl, Katharina and Sudmann, Oliver and Vaßholz, Mareen, year=2014, pages=65–117 
LibreCat: /record/25176

@inbookFlaßkamp_Grösbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Krüger_Ober-Blöbaum_Priesterjahn_Rasche_et al._2014, place=Heidelberg, Germany, title=Development of the RailCab Vehicle, booktitle=Dependability of Self-Optimizing Mechatronic Systems, publisher=Springer-Verlag , author=Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Ober-Blöbaum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al., year=2014, pages=184–190 
LibreCat: /record/25177

@inbookRammig_Zhao_2014, place= Heidelberg, Germany, title=Online Model Checking, booktitle=Dependability of Self-Optimizing Mechatronic Systems, publisher=Springer-Verlag, author=Rammig, Franz-Josef and Zhao, Yuhong, year=2014, pages=147–152 
LibreCat: /record/25179

@bookGausemeier_Rammig_Schäfer_2014, place=Heidelberg, Germany, title=Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future, publisher=Springer-Verlag, author=Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm, year=2014 
LibreCat: /record/25180

@articleBecker_Müller_Stroop_Kiffmeier_2014, title=HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC, journal=Design, Automation and Test in Europe DATE, University Booth, Dresden, author=Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich, year=2014 
LibreCat: /record/25164

@inproceedingsKhaluf_Birattari_Rammig_2013, series=Theory and Practice of Natural Computing, Nr. 8273, title=Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences, volume=8273, booktitle=Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, publisher=Springer, author=Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef, year=2013, collection=Theory and Practice of Natural Computing, Nr. 8273 
LibreCat: /record/25269

@inproceedingsJoy_Müller_Rammig_2013, title=Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model, booktitle=Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,, publisher=Linköping University Electronic Press, author=Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25270

@inproceedingsHe_Müller_2013, title=AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS, booktitle=Proceedings of International Conference on Applied Computing (AC), author=He, Da and Müller, Wolfgang, year=2013 
LibreCat: /record/25271

@inproceedingsWehrmeister_Pereira_Rammig_2013, title=Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems, booktitle= IEEE Trans. on Industrial Informatics vol. 9 (no. 4), author=Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef, year=2013, pages=2373–2386 
LibreCat: /record/25273

@inproceedingsKhaluf_Rammig_2013, title=Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms, booktitle=ECAL 2013, 12th European Conference on Artificial Life, author=Khaluf, Yara and Rammig, Franz-Josef, year=2013 
LibreCat: /record/25274