[{"citation":{"short":"A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.","chicago":"Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” In <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>, 346–53. IEEE, 2014.","apa":"Jungmann, A., Mohr, F., &#38; Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>, 346–353.","ieee":"A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services,” in <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>, 2014, pp. 346–353.","ama":"Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>. IEEE; 2014:346-353.","bibtex":"@inproceedings{Jungmann_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} }","mla":"Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>, IEEE, 2014, pp. 346–53."},"publication":"Proceedings of the 10th World Congress on Services (SERVICES)","department":[{"_id":"672"}],"type":"conference","date_created":"2021-09-30T07:51:58Z","date_updated":"2022-01-06T06:56:53Z","author":[{"last_name":"Jungmann","first_name":"Alexander","full_name":"Jungmann, Alexander"},{"full_name":"Mohr, Felix","first_name":"Felix","last_name":"Mohr"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"year":"2014","title":"Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services","status":"public","user_id":"21240","_id":"25150","publisher":"IEEE","language":[{"iso":"eng"}],"page":"346-353"},{"citation":{"short":"S. Grösbrink, in: 8th IEEE International Conference on Software Security and Reliability, 2014.","chicago":"Grösbrink, Stefan. “Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems.” In <i>8th IEEE International Conference on Software Security and Reliability</i>, 2014.","apa":"Grösbrink, S. (2014). Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. <i>8th IEEE International Conference on Software Security and Reliability</i>.","ieee":"S. Grösbrink, “Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems,” 2014.","ama":"Grösbrink S. Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. In: <i>8th IEEE International Conference on Software Security and Reliability</i>. ; 2014.","bibtex":"@inproceedings{Grö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} }","mla":"Grösbrink, Stefan. “Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems.” <i>8th IEEE International Conference on Software Security and Reliability</i>, 2014."},"publication":"8th IEEE International Conference on Software Security and Reliability","date_created":"2021-09-30T08:08:43Z","department":[{"_id":"672"}],"type":"conference","author":[{"full_name":"Grösbrink, Stefan","last_name":"Grösbrink","first_name":"Stefan"}],"status":"public","title":"Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems","year":"2014","date_updated":"2022-01-06T06:56:53Z","_id":"25152","language":[{"iso":"eng"}],"user_id":"21240"},{"department":[{"_id":"672"}],"type":"conference","date_created":"2021-09-30T08:12:25Z","citation":{"ieee":"A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services,” in <i>Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2014, pp. 49–57.","apa":"Jungmann, A., Brangewitz, S., Petrlic, R., &#38; Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. <i>Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 49–57.","chicago":"Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” In <i>Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 49–57, 2014.","short":"A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, in: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.","mla":"Jungmann, Alexander, et al. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” <i>Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2014, pp. 49–57.","bibtex":"@inproceedings{Jungmann_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} }","ama":"Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: <i>Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>. ; 2014:49-57."},"publication":"Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)","user_id":"21240","_id":"25153","language":[{"iso":"eng"}],"page":"49-57","date_updated":"2022-01-06T06:56:53Z","author":[{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"first_name":"Sonja","last_name":"Brangewitz","full_name":"Brangewitz, Sonja"},{"last_name":"Petrlic","first_name":"Ronald","full_name":"Petrlic, Ronald"},{"full_name":"Platenius, Marie Christin","first_name":"Marie Christin","last_name":"Platenius"}],"title":"Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services","status":"public","year":"2014"},{"citation":{"ieee":"C. Brink and J. Jatzkowski, “EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community,” <i>SafeTRANS News (1)</i>, pp. 12–13, 2014.","apa":"Brink, C., &#38; Jatzkowski, J. (2014). EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. <i>SafeTRANS News (1)</i>, 12–13.","short":"C. Brink, J. Jatzkowski, SafeTRANS News (1) (2014) 12–13.","chicago":"Brink, Christopher, and Jan Jatzkowski. “EU-Forschungsprojekt AMALTHEA: Entwicklung Einer Open-Source Entwicklungsplattform, Erweiterbar Durch Die Community.” <i>SafeTRANS News (1)</i>, 2014, 12–13.","mla":"Brink, Christopher, and Jan Jatzkowski. “EU-Forschungsprojekt AMALTHEA: Entwicklung Einer Open-Source Entwicklungsplattform, Erweiterbar Durch Die Community.” <i>SafeTRANS News (1)</i>, 2014, pp. 12–13.","bibtex":"@article{Brink_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} }","ama":"Brink C, Jatzkowski J. EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. <i>SafeTRANS News (1)</i>. Published online 2014:12-13."},"publication":"SafeTRANS News (1)","department":[{"_id":"672"}],"type":"journal_article","date_created":"2021-09-30T08:14:44Z","date_updated":"2022-01-06T06:56:53Z","author":[{"full_name":"Brink, Christopher","first_name":"Christopher","last_name":"Brink"},{"full_name":"Jatzkowski, Jan","last_name":"Jatzkowski","first_name":"Jan"}],"year":"2014","title":"EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community","status":"public","user_id":"21240","language":[{"iso":"eng"}],"_id":"25154","page":"12-13"},{"date_updated":"2022-01-06T06:56:53Z","year":"2014","status":"public","title":"Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems","author":[{"full_name":"Becker, Markus","first_name":"Markus","last_name":"Becker"},{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"user_id":"21240","_id":"25155","language":[{"iso":"eng"}],"publication":"ACM/IEEE 5th International Conference on Cyber-Physical Systems","citation":{"ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. In: <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>. ; 2014.","short":"M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” In <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>, 2014.","bibtex":"@inproceedings{Becker_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} }","mla":"Becker, Markus, et al. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>, 2014.","apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. <i>ACM/IEEE 5th International Conference on Cyber-Physical Systems</i>.","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems,” 2014."},"type":"conference","department":[{"_id":"672"}],"date_created":"2021-09-30T08:17:50Z"},{"date_created":"2021-09-30T08:31:42Z","department":[{"_id":"672"}],"type":"conference","citation":{"mla":"Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” <i>Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014)</i>, 2014.","bibtex":"@inproceedings{Petrlic_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} }","ama":"Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: <i>Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014)</i>. ; 2014.","ieee":"R. Petrlic, A. Jungmann, M. C. Platenius, W. Schäfer, and C. Sorge, “Security and Privacy Challenges in On-The-Fly Computing,” 2014.","apa":"Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., &#38; Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. <i>Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014)</i>.","short":"R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.","chicago":"Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In <i>Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014)</i>, 2014."},"publication":"Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)","_id":"25156","language":[{"iso":"eng"}],"user_id":"21240","author":[{"first_name":"Ronald","last_name":"Petrlic","full_name":"Petrlic, Ronald"},{"last_name":"Jungmann","first_name":"Alexander","full_name":"Jungmann, Alexander"},{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"},{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"},{"first_name":"Christoph","last_name":"Sorge","full_name":"Sorge, Christoph"}],"year":"2014","status":"public","title":"Security and Privacy Challenges in On-The-Fly Computing","date_updated":"2022-01-06T06:56:53Z"},{"language":[{"iso":"eng"}],"_id":"25159","user_id":"21240","author":[{"last_name":"Grösbrink","first_name":"Stefan","full_name":"Grösbrink, Stefan"}],"title":"Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization","status":"public","year":"2014","date_updated":"2022-01-06T06:56:53Z","date_created":"2021-09-30T09:21:57Z","department":[{"_id":"672"}],"type":"conference","citation":{"apa":"Grösbrink, S. (2014). Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. <i>GI Design For Future Workshop</i>.","ieee":"S. Grösbrink, “Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization,” 2014.","chicago":"Grösbrink, Stefan. “Increasing the Reusability of Embedded Real-Time Software by a Standardized Interface for Paravirtualization.” In <i>GI Design For Future Workshop</i>, 2014.","short":"S. Grösbrink, in: GI Design For Future Workshop, 2014.","mla":"Grösbrink, Stefan. “Increasing the Reusability of Embedded Real-Time Software by a Standardized Interface for Paravirtualization.” <i>GI Design For Future Workshop</i>, 2014.","ama":"Grösbrink S. Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. In: <i>GI Design For Future Workshop</i>. ; 2014.","bibtex":"@inproceedings{Grö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} }"},"publication":"GI Design For Future Workshop"},{"publication":"20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","citation":{"mla":"Grösbrink, Stefan, et al. “Towards Certifiable Adaptive Reservations for Hypervisor-Based Virtualization.” <i>20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)</i>, 2014.","bibtex":"@inproceedings{Grö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} }","ama":"Grösbrink S, Almeida L, de Sousa M, Petters SM. Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. In: <i>20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)</i>. ; 2014.","ieee":"S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization,” 2014.","apa":"Grösbrink, S., Almeida, L., de Sousa, M., &#38; Petters, S. M. (2014). Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. <i>20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)</i>.","chicago":"Grösbrink, Stefan, Luis Almeida, Mario de Sousa, and Stefan M. Petters. “Towards Certifiable Adaptive Reservations for Hypervisor-Based Virtualization.” In <i>20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)</i>, 2014.","short":"S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014."},"date_created":"2021-09-30T09:30:23Z","type":"conference","department":[{"_id":"672"}],"title":"Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization","status":"public","year":"2014","author":[{"full_name":"Grösbrink, Stefan","first_name":"Stefan","last_name":"Grösbrink"},{"last_name":"Almeida","first_name":"Luis","full_name":"Almeida, Luis"},{"last_name":"de Sousa","first_name":"Mario","full_name":"de Sousa, Mario"},{"last_name":"Petters","first_name":"Stefan M.","full_name":"Petters, Stefan M."}],"date_updated":"2022-01-06T06:56:53Z","language":[{"iso":"eng"}],"_id":"25160","user_id":"21240"},{"date_created":"2021-09-30T09:51:08Z","department":[{"_id":"672"}],"type":"conference","citation":{"bibtex":"@inproceedings{Koppelmann_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} }","ama":"Koppelmann B, Becker M, Müller W. Portierung der TriCore-Architektur auf QEMU. In: <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>. ; 2014.","mla":"Koppelmann, Bastian, et al. “Portierung Der TriCore-Architektur Auf QEMU.” <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>, 2014.","short":"B. Koppelmann, M. Becker, W. Müller, in: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.","chicago":"Koppelmann, Bastian, Markus Becker, and Wolfgang Müller. “Portierung Der TriCore-Architektur Auf QEMU.” In <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>, 2014.","ieee":"B. Koppelmann, M. Becker, and W. Müller, “Portierung der TriCore-Architektur auf QEMU,” 2014.","apa":"Koppelmann, B., Becker, M., &#38; Müller, W. (2014). Portierung der TriCore-Architektur auf QEMU. <i>17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) </i>."},"publication":"17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) ","language":[{"iso":"eng"}],"_id":"25161","user_id":"21240","author":[{"full_name":"Koppelmann, Bastian","last_name":"Koppelmann","first_name":"Bastian","id":"25260"},{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"status":"public","year":"2014","title":"Portierung der TriCore-Architektur auf QEMU","date_updated":"2022-01-06T06:56:53Z"},{"user_id":"21240","_id":"25165","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:56:53Z","year":"2014","title":"Hypervisor-based Consolidation for Automated Teller Machines","status":"public","author":[{"last_name":"Grösbrink","first_name":"Stefan","full_name":"Grösbrink, Stefan"},{"full_name":"Korrapati, Sandeep","first_name":"Sandeep","last_name":"Korrapati"},{"full_name":"Schmitz, André","first_name":"André","last_name":"Schmitz"},{"first_name":"Andreas","last_name":"Schreckenberg","full_name":"Schreckenberg, Andreas"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2021-09-30T10:20:49Z","publication":"Embedded World Conference","citation":{"chicago":"Grösbrink, Stefan, Sandeep Korrapati, André Schmitz, and Andreas Schreckenberg. “Hypervisor-Based Consolidation for Automated Teller Machines.” In <i>Embedded World Conference</i>, 2014.","short":"S. Grösbrink, S. Korrapati, A. Schmitz, A. Schreckenberg, in: Embedded World Conference, 2014.","ieee":"S. Grösbrink, S. Korrapati, A. Schmitz, and A. Schreckenberg, “Hypervisor-based Consolidation for Automated Teller Machines,” 2014.","apa":"Grösbrink, S., Korrapati, S., Schmitz, A., &#38; Schreckenberg, A. (2014). Hypervisor-based Consolidation for Automated Teller Machines. <i>Embedded World Conference</i>.","bibtex":"@inproceedings{Grö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} }","ama":"Grösbrink S, Korrapati S, Schmitz A, Schreckenberg A. Hypervisor-based Consolidation for Automated Teller Machines. In: <i>Embedded World Conference</i>. ; 2014.","mla":"Grösbrink, Stefan, et al. “Hypervisor-Based Consolidation for Automated Teller Machines.” <i>Embedded World Conference</i>, 2014."}},{"type":"conference","department":[{"_id":"672"}],"date_created":"2021-09-30T10:44:53Z","publication":" Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)","citation":{"bibtex":"@inproceedings{Jungmann_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} }","ama":"Jungmann A, Jatzkowski J, Kleinjohann B. Evaluation of Color Spaces for Robust Image Segmentation. In: <i> Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)</i>.  INSTICC PRESS; 2014.","mla":"Jungmann, Alexander, et al. “Evaluation of Color Spaces for Robust Image Segmentation.” <i> Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)</i>,  INSTICC PRESS, 2014.","short":"A. Jungmann, J. Jatzkowski, B. Kleinjohann, in:  Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP),  INSTICC PRESS, 2014.","chicago":"Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Evaluation of Color Spaces for Robust Image Segmentation.” In <i> Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)</i>.  INSTICC PRESS, 2014.","ieee":"A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Evaluation of Color Spaces for Robust Image Segmentation,” 2014.","apa":"Jungmann, A., Jatzkowski, J., &#38; Kleinjohann, B. (2014). Evaluation of Color Spaces for Robust Image Segmentation. <i> Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)</i>."},"user_id":"21240","publisher":" INSTICC PRESS","_id":"25167","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:56:53Z","title":"Evaluation of Color Spaces for Robust Image Segmentation","status":"public","year":"2014","author":[{"full_name":"Jungmann, Alexander","first_name":"Alexander","last_name":"Jungmann"},{"full_name":"Jatzkowski, Jan","last_name":"Jatzkowski","first_name":"Jan"},{"last_name":"Kleinjohann","first_name":"Bernd","full_name":"Kleinjohann, Bernd"}],"conference":{"end_date":"2014-01-08","start_date":"2014-01-05"}},{"place":" Heidelberg, Germany","date_created":"2021-09-30T10:57:30Z","department":[{"_id":"672"}],"type":"book","citation":{"apa":"Gausemeier, J., Rammig, F.-J., Schäfer, W., &#38; Sextro, W. (2014). <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag.","mla":"Gausemeier, Jürgen, et al. <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag, 2014.","ieee":"J. Gausemeier, F.-J. Rammig, W. Schäfer, and W. Sextro, <i>Dependability of Self-Optimizing Mechatronic Systems</i>.  Heidelberg, Germany: Springer-Verlag, 2014.","chicago":"Gausemeier, Jürgen, Franz-Josef Rammig, Wilhelm Schäfer, and Walter Sextro. <i>Dependability of Self-Optimizing Mechatronic Systems</i>.  Heidelberg, Germany: Springer-Verlag, 2014.","ama":"Gausemeier J, Rammig F-J, Schäfer W, Sextro W. <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag; 2014.","short":"J. Gausemeier, F.-J. Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag,  Heidelberg, Germany, 2014.","bibtex":"@book{Gausemeier_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} }"},"_id":"25168","language":[{"iso":"eng"}],"publisher":"Springer-Verlag","user_id":"21240","author":[{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"},{"first_name":"Franz-Josef","last_name":"Rammig","full_name":"Rammig, Franz-Josef"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"full_name":"Sextro, Walter","last_name":"Sextro","first_name":"Walter","id":"21220"}],"title":"Dependability of Self-Optimizing Mechatronic Systems","year":"2014","status":"public","date_updated":"2022-01-06T06:56:53Z"},{"department":[{"_id":"672"}],"type":"book_chapter","place":"Heidelberg, Germany","date_created":"2021-09-30T11:18:27Z","citation":{"mla":"Grösbrink, Stefan, et al. “Self-Optimization by Reconfiguration.” <i>Design Methodology for Intelligent Technical Systems</i>, Springer-Verlag, 2014, pp. 19–22.","ama":"Grösbrink S, Korf S, Porrmann M, Priesterjahn C, Stahl K. Self-optimization by Reconfiguration. In: <i>Design Methodology for Intelligent Technical Systems</i>. Springer-Verlag; 2014:19-22.","bibtex":"@inbook{Grö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} }","apa":"Grösbrink, S., Korf, S., Porrmann, M., Priesterjahn, C., &#38; Stahl, K. (2014). Self-optimization by Reconfiguration. In <i>Design Methodology for Intelligent Technical Systems</i> (pp. 19–22). Springer-Verlag.","ieee":"S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, and K. Stahl, “Self-optimization by Reconfiguration,” in <i>Design Methodology for Intelligent Technical Systems</i>, Heidelberg, Germany: Springer-Verlag, 2014, pp. 19–22.","short":"S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, K. Stahl, in: Design Methodology for Intelligent Technical Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 19–22.","chicago":"Grösbrink, Stefan, Sebastian Korf, Mario Porrmann, Claudia Priesterjahn, and Katharina Stahl. “Self-Optimization by Reconfiguration.” In <i>Design Methodology for Intelligent Technical Systems</i>, 19–22. Heidelberg, Germany: Springer-Verlag, 2014."},"publication":"Design Methodology for Intelligent Technical Systems","user_id":"21240","language":[{"iso":"eng"}],"_id":"25170","publisher":"Springer-Verlag","page":"19-22","date_updated":"2022-01-06T06:56:53Z","author":[{"full_name":"Grösbrink, Stefan","first_name":"Stefan","last_name":"Grösbrink"},{"full_name":"Korf, Sebastian","first_name":"Sebastian","last_name":"Korf"},{"last_name":"Porrmann","first_name":"Mario","full_name":"Porrmann, Mario"},{"full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn","first_name":"Claudia"},{"full_name":"Stahl, Katharina","last_name":"Stahl","first_name":"Katharina"}],"status":"public","title":"Self-optimization by Reconfiguration","year":"2014"},{"citation":{"mla":"Grösbrink, Stefan. “Virtualization.” <i>Dependability of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag , 2014, pp. 152–57.","bibtex":"@inbook{Grö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} }","ama":"Grösbrink S. Virtualization. In: <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag ; 2014:152-157.","ieee":"S. Grösbrink, “Virtualization,” in <i>Dependability of Self-Optimizing Mechatronic Systems</i>, Heidelberg, Germany: Springer-Verlag , 2014, pp. 152–157.","apa":"Grösbrink, S. (2014). Virtualization. In <i>Dependability of Self-Optimizing Mechatronic Systems</i> (pp. 152–157). Springer-Verlag .","chicago":"Grösbrink, Stefan. “Virtualization.” In <i>Dependability of Self-Optimizing Mechatronic Systems</i>, 152–57. Heidelberg, Germany: Springer-Verlag , 2014.","short":"S. Grösbrink, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 152–157."},"publication":"Dependability of Self-Optimizing Mechatronic Systems","department":[{"_id":"672"}],"type":"book_chapter","date_created":"2021-09-30T11:22:02Z","place":"Heidelberg, Germany","date_updated":"2022-01-06T06:56:53Z","author":[{"full_name":"Grösbrink, Stefan","first_name":"Stefan","last_name":"Grösbrink"}],"title":"Virtualization","status":"public","year":"2014","user_id":"21240","_id":"25171","language":[{"iso":"eng"}],"publisher":"Springer-Verlag ","page":"152-157"},{"citation":{"apa":"Rammig, F.-J., Grösbrink, S., Stahl, K., &#38; Zhao, Y. (2014). Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. <i> Brazilian Symposium on Computing Systems Engineering (SBESC)</i>.","ieee":"F.-J. Rammig, S. Grösbrink, K. Stahl, and Y. Zhao, “Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation,” 2014.","chicago":"Rammig, Franz-Josef, Stefan Grösbrink, Katharina Stahl, and Yuhong Zhao. “Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.” In <i> Brazilian Symposium on Computing Systems Engineering (SBESC)</i>. SBC, 2014.","short":"F.-J. Rammig, S. Grösbrink, K. Stahl, Y. Zhao, in:  Brazilian Symposium on Computing Systems Engineering (SBESC), SBC, 2014.","mla":"Rammig, Franz-Josef, et al. “Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.” <i> Brazilian Symposium on Computing Systems Engineering (SBESC)</i>, SBC, 2014.","ama":"Rammig F-J, Grösbrink S, Stahl K, Zhao Y. Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. In: <i> Brazilian Symposium on Computing Systems Engineering (SBESC)</i>. SBC; 2014.","bibtex":"@inproceedings{Rammig_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} }"},"publication":" Brazilian Symposium on Computing Systems Engineering (SBESC)","department":[{"_id":"672"}],"type":"conference","date_created":"2021-09-30T12:10:16Z","date_updated":"2022-01-06T06:56:53Z","author":[{"full_name":"Rammig, Franz-Josef","first_name":"Franz-Josef","last_name":"Rammig"},{"last_name":"Grösbrink","first_name":"Stefan","full_name":"Grösbrink, Stefan"},{"first_name":"Katharina","last_name":"Stahl","full_name":"Stahl, Katharina"},{"full_name":"Zhao, Yuhong","last_name":"Zhao","first_name":"Yuhong"}],"title":"Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation","status":"public","year":"2014","user_id":"21240","_id":"25172","publisher":"SBC","language":[{"iso":"eng"}]},{"user_id":"21240","page":"3-12","language":[{"iso":"eng"}],"_id":"25173","publisher":"Springer-Verlag","date_updated":"2022-01-06T06:56:53Z","year":"2014","status":"public","title":"Self-optimizing Mechatronic Systems","author":[{"first_name":"Michael","last_name":"Dellnitz","full_name":"Dellnitz, Michael"},{"full_name":"Flaßkamp, Kathrin","last_name":"Flaßkamp","first_name":"Kathrin"},{"last_name":"Hartmann","first_name":"Philip","full_name":"Hartmann, Philip"},{"first_name":"Martin","last_name":"Krüger","full_name":"Krüger, Martin"},{"first_name":"Tobias","last_name":"Meyer","full_name":"Meyer, Tobias"},{"full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn","first_name":"Claudia"},{"id":"16494","full_name":"Ober-Blöbaum, Sina","first_name":"Sina","last_name":"Ober-Blöbaum"},{"full_name":"Rasche, Christoph","last_name":"Rasche","first_name":"Christoph"},{"full_name":"Sextro, Walter","last_name":"Sextro","first_name":"Walter","id":"21220"},{"last_name":"Stahl","first_name":"Katharina","full_name":"Stahl, Katharina"},{"id":"552","full_name":"Trächtler, Ansgar","first_name":"Ansgar","last_name":"Trächtler"}],"type":"book_chapter","department":[{"_id":"672"}],"date_created":"2021-09-30T12:17:07Z","place":"Heidelberg, Germany","publication":"Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1","citation":{"bibtex":"@inbook{Dellnitz_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} }","chicago":"Dellnitz, Michael, Kathrin Flaßkamp, Philip Hartmann, Martin Krüger, Tobias Meyer, Claudia Priesterjahn, Sina Ober-Blöbaum, et al. “Self-Optimizing Mechatronic Systems.” In <i>Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1</i>, 3–12. Heidelberg, Germany: Springer-Verlag, 2014.","ama":"Dellnitz M, Flaßkamp K, Hartmann P, et al. Self-optimizing Mechatronic Systems. In: <i>Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1</i>. Springer-Verlag; 2014:3-12.","short":"M. Dellnitz, K. Flaßkamp, P. Hartmann, M. Krüger, T. Meyer, C. Priesterjahn, S. Ober-Blöbaum, C. Rasche, W. Sextro, K. Stahl, A. Trächtler, in: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, Heidelberg, Germany, 2014, pp. 3–12.","ieee":"M. Dellnitz <i>et al.</i>, “Self-optimizing Mechatronic Systems,” in <i>Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1</i>, Heidelberg, Germany: Springer-Verlag, 2014, pp. 3–12.","mla":"Dellnitz, Michael, et al. “Self-Optimizing Mechatronic Systems.” <i>Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1</i>, Springer-Verlag, 2014, pp. 3–12.","apa":"Dellnitz, M., Flaßkamp, K., Hartmann, P., Krüger, M., Meyer, T., Priesterjahn, C., Ober-Blöbaum, S., Rasche, C., Sextro, W., Stahl, K., &#38; Trächtler, A. (2014). Self-optimizing Mechatronic Systems. In <i>Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1</i> (pp. 3–12). Springer-Verlag."}},{"user_id":"21240","language":[{"iso":"eng"}],"_id":"25175","publisher":"Springer-Verlag","page":"298-317","date_updated":"2022-01-06T06:56:54Z","author":[{"full_name":"Grösbrink, Stefan","first_name":"Stefan","last_name":"Grösbrink"},{"full_name":"Oberthür, Simon","first_name":"Simon","last_name":"Oberthür","id":"383"},{"full_name":"Stahl, Katharina","last_name":"Stahl","first_name":"Katharina"}],"title":"System Software","status":"public","year":"2014","department":[{"_id":"672"}],"type":"book_chapter","date_created":"2021-09-30T12:30:46Z","place":"Heidelberg, Germany","citation":{"ieee":"S. Grösbrink, S. Oberthür, and K. Stahl, “System Software,” in <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development</i>, Heidelberg, Germany: Springer-Verlag, 2014, pp. 298–317.","apa":"Grösbrink, S., Oberthür, S., &#38; Stahl, K. (2014). System Software. In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development</i> (pp. 298–317). Springer-Verlag.","chicago":"Grösbrink, Stefan, Simon Oberthür, and Katharina Stahl. “System Software.” In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development</i>, 298–317. Heidelberg, Germany: Springer-Verlag, 2014.","short":"S. Grösbrink, S. Oberthür, K. Stahl, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Springer-Verlag, Heidelberg, Germany, 2014, pp. 298–317.","mla":"Grösbrink, Stefan, et al. “System Software.” <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development</i>, Springer-Verlag, 2014, pp. 298–317.","bibtex":"@inbook{Grö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} }","ama":"Grösbrink S, Oberthür S, Stahl K. System Software. In: <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development</i>. Springer-Verlag; 2014:298-317."},"publication":"Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development"},{"user_id":"21240","_id":"25176","language":[{"iso":"eng"}],"publisher":"Springer-Verlag ","page":"65-117","date_updated":"2022-01-06T06:56:54Z","author":[{"first_name":"Jürgen","last_name":"Gausemeier","full_name":"Gausemeier, Jürgen"},{"full_name":"Korf, Sebastian","first_name":"Sebastian","last_name":"Korf"},{"last_name":"Porrmann","first_name":"Mario","full_name":"Porrmann, Mario"},{"full_name":"Stahl, Katharina","first_name":"Katharina","last_name":"Stahl"},{"last_name":"Sudmann","first_name":"Oliver","full_name":"Sudmann, Oliver"},{"last_name":"Vaßholz","first_name":"Mareen","full_name":"Vaßholz, Mareen"}],"year":"2014","title":"Development of Self-Optimizing Systems","status":"public","department":[{"_id":"672"}],"type":"book_chapter","place":"Heidelberg, Germany","date_created":"2021-09-30T12:37:51Z","citation":{"ama":"Gausemeier J, Korf S, Porrmann M, Stahl K, Sudmann O, Vaßholz M. Development of Self-Optimizing Systems. In: <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3</i>. Springer-Verlag ; 2014:65-117.","bibtex":"@inbook{Gausemeier_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} }","mla":"Gausemeier, Jürgen, et al. “Development of Self-Optimizing Systems.” <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3</i>, Springer-Verlag , 2014, pp. 65–117.","chicago":"Gausemeier, Jürgen, Sebastian Korf, Mario Porrmann, Katharina Stahl, Oliver Sudmann, and Mareen Vaßholz. “Development of Self-Optimizing Systems.” In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3</i>, 65–117. Heidelberg, Germany: Springer-Verlag , 2014.","short":"J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, M. Vaßholz, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Springer-Verlag , Heidelberg, Germany, 2014, pp. 65–117.","apa":"Gausemeier, J., Korf, S., Porrmann, M., Stahl, K., Sudmann, O., &#38; Vaßholz, M. (2014). Development of Self-Optimizing Systems. In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3</i> (pp. 65–117). Springer-Verlag .","ieee":"J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, and M. Vaßholz, “Development of Self-Optimizing Systems,” in <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3</i>, Heidelberg, Germany: Springer-Verlag , 2014, pp. 65–117."},"publication":"Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3"},{"date_updated":"2022-01-06T06:56:54Z","title":"Development of the RailCab Vehicle","year":"2014","status":"public","author":[{"first_name":"Kathrin","last_name":"Flaßkamp","full_name":"Flaßkamp, Kathrin"},{"full_name":"Grösbrink, Stefan","last_name":"Grösbrink","first_name":"Stefan"},{"first_name":"Philip","last_name":"Hartmann","full_name":"Hartmann, Philip"},{"last_name":"Heinzemann","first_name":"Christian","full_name":"Heinzemann, Christian"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"},{"last_name":"Kleinjohann","first_name":"Lisa","full_name":"Kleinjohann, Lisa","id":"15588"},{"last_name":"Krüger","first_name":"Martin","full_name":"Krüger, Martin"},{"id":"16494","full_name":"Ober-Blöbaum, Sina","first_name":"Sina","last_name":"Ober-Blöbaum"},{"full_name":"Priesterjahn, Claudia","first_name":"Claudia","last_name":"Priesterjahn"},{"last_name":"Rasche","first_name":"Christoph","full_name":"Rasche, Christoph"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"first_name":"Dominik","last_name":"Steenken","full_name":"Steenken, Dominik"},{"full_name":"Trächtler, Ansgar","last_name":"Trächtler","first_name":"Ansgar","id":"552"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"},{"full_name":"Ziegert, Steffen","first_name":"Steffen","last_name":"Ziegert"}],"user_id":"21240","page":"184-190","language":[{"iso":"eng"}],"_id":"25177","publisher":"Springer-Verlag ","publication":"Dependability of Self-Optimizing Mechatronic Systems","citation":{"short":"K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L. Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.","chicago":"Flaßkamp, Kathrin, Stefan Grösbrink, Philip Hartmann, Christian Heinzemann, Bernd Kleinjohann, Lisa Kleinjohann, Martin Krüger, et al. “Development of the RailCab Vehicle.” In <i>Dependability of Self-Optimizing Mechatronic Systems</i>, 184–90. Heidelberg, Germany: Springer-Verlag , 2014.","ieee":"K. Flaßkamp <i>et al.</i>, “Development of the RailCab Vehicle,” in <i>Dependability of Self-Optimizing Mechatronic Systems</i>, Heidelberg, Germany: Springer-Verlag , 2014, pp. 184–190.","apa":"Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., Ober-Blöbaum, S., Priesterjahn, C., Rasche, C., Schäfer, W., Steenken, D., Trächtler, A., Wehrheim, H., &#38; Ziegert, S. (2014). Development of the RailCab Vehicle. In <i>Dependability of Self-Optimizing Mechatronic Systems</i> (pp. 184–190). Springer-Verlag .","bibtex":"@inbook{Flaß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} }","ama":"Flaßkamp K, Grösbrink S, Hartmann P, et al. Development of the RailCab Vehicle. In: <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag ; 2014:184-190.","mla":"Flaßkamp, Kathrin, et al. “Development of the RailCab Vehicle.” <i>Dependability of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag , 2014, pp. 184–90."},"type":"book_chapter","department":[{"_id":"672"}],"place":"Heidelberg, Germany","date_created":"2021-09-30T12:44:57Z"},{"publication":"Dependability of Self-Optimizing Mechatronic Systems","citation":{"mla":"Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” <i>Dependability of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag, 2014, pp. 147–52.","apa":"Rammig, F.-J., &#38; Zhao, Y. (2014). Online Model Checking. In <i>Dependability of Self-Optimizing Mechatronic Systems</i> (pp. 147–152). Springer-Verlag.","ieee":"F.-J. Rammig and Y. Zhao, “Online Model Checking,” in <i>Dependability of Self-Optimizing Mechatronic Systems</i>,  Heidelberg, Germany: Springer-Verlag, 2014, pp. 147–152.","ama":"Rammig F-J, Zhao Y. Online Model Checking. In: <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag; 2014:147-152.","short":"F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag,  Heidelberg, Germany, 2014, pp. 147–152.","chicago":"Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” In <i>Dependability of Self-Optimizing Mechatronic Systems</i>, 147–52.  Heidelberg, Germany: Springer-Verlag, 2014.","bibtex":"@inbook{Rammig_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} }"},"type":"book_chapter","department":[{"_id":"672"}],"date_created":"2021-09-30T13:07:12Z","place":" Heidelberg, Germany","date_updated":"2022-01-06T06:56:54Z","title":"Online Model Checking","status":"public","year":"2014","author":[{"full_name":"Rammig, Franz-Josef","first_name":"Franz-Josef","last_name":"Rammig"},{"full_name":"Zhao, Yuhong","first_name":"Yuhong","last_name":"Zhao"}],"user_id":"21240","page":"147-152","_id":"25179","language":[{"iso":"eng"}],"publisher":"Springer-Verlag"}]