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.

11743 Publications


2014 | Journal Article | LibreCat-ID: 25154
Brink, C., & Jatzkowski, J. (2014). EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1), 12–13.
LibreCat
 

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 | 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: 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 | 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
 

2014 | Book Chapter | LibreCat-ID: 25179
Rammig, F.-J., & Zhao, Y. (2014). Online Model Checking. In Dependability of Self-Optimizing Mechatronic Systems (pp. 147–152). Springer-Verlag.
LibreCat
 

2014 | Book | LibreCat-ID: 25180
Gausemeier, J., Rammig, F.-J., & Schäfer, W. (2014). Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2522
Brangewitz, S., & Gamp, J.-P. (2014). Competitive outcomes and the inner core of NTU market games. Economic Theory, 57(3), 529–554. https://doi.org/10.1007/s00199-014-0846-7
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 25473
Saleem, M., S. Padmanabhuni, S., Ngonga Ngomo, A.-C., Iqbal, A., S. Almeida, J., Decker, S., & F. Deus, H. (2014). TopFed: TCGA Tailored Federated Query Processing and Linking to LOD. J. Biomed. Semant., 5, 47. https://doi.org/10.1186/2041-1480-5-47
LibreCat | DOI
 

Filters and Search Terms

year<=2017 AND year>=2012

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed