Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1370 Publications


2014 | Conference Paper | LibreCat-ID: 25155
@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} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
@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} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159
@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} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
@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} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
@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} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25163
@inproceedings{Kuznik_Defo_Müller_2014, title={Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25164
@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS3 -- 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
 

2014 | Conference Paper | LibreCat-ID: 25165
@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} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25166
@inproceedings{Kuznik_Müller_2014, title={Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM}, booktitle={26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
@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} }
LibreCat
 

2014 | Book | LibreCat-ID: 25168
@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} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
@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} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
@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} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
@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} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25173
@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} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
@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} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25176
@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} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
@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} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
@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} }
LibreCat
 

2014 | Book | LibreCat-ID: 25180
@book{Gausemeier_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
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed