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.

1327 Publications


2014 | Conference Paper | LibreCat-ID: 25155
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” In ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159
Grösbrink, Stefan. “Increasing the Reusability of Embedded Real-Time Software by a Standardized Interface for Paravirtualization.” In GI Design For Future Workshop, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
Grösbrink, Stefan, Luis Almeida, Mario de Sousa, and Stefan M. Petters. “Towards Certifiable Adaptive Reservations for Hypervisor-Based Virtualization.” In 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, Bastian, Markus Becker, and Wolfgang Müller. “Portierung Der TriCore-Architektur Auf QEMU.” In 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25162
Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” Design, Automation and Test in Europe DATE, University Booth, Dresden , 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” In 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25164
Becker, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich Kiffmeier. “HeroeS3 -- A Framework for Heterogeneous Software-Intensive System Design with SystemC.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
Grösbrink, Stefan, Sandeep Korrapati, André Schmitz, and Andreas Schreckenberg. “Hypervisor-Based Consolidation for Automated Teller Machines.” In Embedded World Conference, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” In 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Evaluation of Color Spaces for Robust Image Segmentation.” In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP). INSTICC PRESS, 2014.
LibreCat
 

2014 | Book | LibreCat-ID: 25168
Gausemeier, Jürgen, Franz-Josef Rammig, Wilhelm Schäfer, and Walter Sextro. Dependability of Self-Optimizing Mechatronic Systems. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25169
Oetjens, Jan-Hendrik, Markus Becker, Christoph Kuznik, and Wolfgang Müller. “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.” In Design Automation Conference (DAC), 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
Grösbrink, Stefan, Sebastian Korf, Mario Porrmann, Claudia Priesterjahn, and Katharina Stahl. “Self-Optimization by Reconfiguration.” In Design Methodology for Intelligent Technical Systems, 19–22. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
Grösbrink, Stefan. “Virtualization.” In Dependability of Self-Optimizing Mechatronic Systems, 152–57. Heidelberg, Germany: Springer-Verlag , 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
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 Brazilian Symposium on Computing Systems Engineering (SBESC). SBC, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25173
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 Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, 3–12. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
Grösbrink, Stefan, Simon Oberthür, and Katharina Stahl. “System Software.” In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, 298–317. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25176
Gausemeier, Jürgen, Sebastian Korf, Mario Porrmann, Katharina Stahl, Oliver Sudmann, and Mareen Vaßholz. “Development of Self-Optimizing Systems.” In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, 65–117. Heidelberg, Germany: Springer-Verlag , 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
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 Dependability of Self-Optimizing Mechatronic Systems, 184–90. Heidelberg, Germany: Springer-Verlag , 2014.
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed