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, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. ACM/IEEE 5th International Conference on Cyber-Physical Systems.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., & Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159
Grösbrink, S. (2014). Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. GI Design For Future Workshop.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
Grösbrink, S., Almeida, L., de Sousa, M., & Petters, S. M. (2014). Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, B., Becker, M., & Müller, W. (2014). Portierung der TriCore-Architektur auf QEMU. 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) .
LibreCat
 

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

2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, C., Defo, B. G., & Müller, W. (2014). Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) .
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25164
Becker, M., Müller, W., Stroop, J., & Kiffmeier, U. (2014). HeroeS3 -- A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
Grösbrink, S., Korrapati, S., Schmitz, A., & Schreckenberg, A. (2014). Hypervisor-based Consolidation for Automated Teller Machines. Embedded World Conference.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, C., & Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2014). Evaluation of Color Spaces for Robust Image Segmentation. Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP).
LibreCat
 

2014 | Book | LibreCat-ID: 25168
Gausemeier, J., Rammig, F.-J., Schäfer, W., & Sextro, W. (2014). Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25169
Oetjens, J.-H., Becker, M., Kuznik, C., & Müller, W. (2014). Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. Design Automation Conference (DAC).
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
Grösbrink, S., Korf, S., Porrmann, M., Priesterjahn, C., & Stahl, K. (2014). Self-optimization by Reconfiguration. In Design Methodology for Intelligent Technical Systems (pp. 19–22). Springer-Verlag.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
Grösbrink, S. (2014). Virtualization. In Dependability of Self-Optimizing Mechatronic Systems (pp. 152–157). Springer-Verlag .
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
Rammig, F.-J., Grösbrink, S., Stahl, K., & Zhao, Y. (2014). Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. Brazilian Symposium on Computing Systems Engineering (SBESC).
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25173
Dellnitz, M., Flaßkamp, K., Hartmann, P., Krüger, M., Meyer, T., Priesterjahn, C., Ober-Blöbaum, S., Rasche, C., Sextro, W., Stahl, K., & Trächtler, A. (2014). Self-optimizing Mechatronic Systems. In Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1 (pp. 3–12). Springer-Verlag.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
Grösbrink, S., Oberthür, S., & Stahl, K. (2014). System Software. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development (pp. 298–317). Springer-Verlag.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25176
Gausemeier, J., Korf, S., Porrmann, M., Stahl, K., Sudmann, O., & Vaßholz, M. (2014). Development of Self-Optimizing Systems. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3 (pp. 65–117). Springer-Verlag .
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
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., & Ziegert, S. (2014). Development of the RailCab Vehicle. In Dependability of Self-Optimizing Mechatronic Systems (pp. 184–190). Springer-Verlag .
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed