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.
5710 Publications
2013 | Conference Paper | LibreCat-ID: 25273
Wehrmeister, M. A., Pereira, C. E., & Rammig, F.-J. (2013). Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems. IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2373–2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Khaluf, Y., & Rammig, F.-J. (2013). Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms. ECAL 2013, 12th European Conference on Artificial Life.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag, Sep. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, F., & Müller, W. (2013). Efficient Power Intent Validation Using Loosely-Timed Simulation Models. 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
Jungmann, A., & Kleinjohann, B. (2013). Learning Recommendation System for Automated Service Composition. Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 97–104.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
Gilles, K., Grösbrink, S., Baldin, D., & Kerstan, T. (2013). Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
Grösbrink, S. (2013). On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem. International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
Rammig, F.-J., Khaluf, L., Montealegre, N., Stahl, K., & Zhao, Y. (2013). Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013. 17. - 18. Jun. 2013 IEEE.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
Becker, M., Kiffmeier, U., & Müller, W. (2013). HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
Rammig, F.-J., Stahl, K., & Vaz, G. F. (2013). A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems. Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
Rasche, C., & Ziegert, S. (2013). Multilevel Planning for Self-Optimizing Mechatronic Systems. Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, 6.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
Stahl, K. (2013). AIS-based Anomaly Detection for Self-X Systems. Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), 24–26.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
Grösbrink, S., & Rammig, F.-J. (2013). Safe Self-Evolving Embedded Software via System Virtualization. 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
Grösbrink, S., Almeida, L., de Sousa, M., & Petters, S. M. (2013). Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013). 8. - 11. Apr. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo, M., Samara, S., & Zhao, Y. (2013). Accelerating Online Model Checking. 6’th Latin-American Symposium on Dependable Computing (LADC 2013).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2013). Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
Rasche, C., Bieshaar, M., Jungmann, A., Kleinjohann, L., & Kleinjohann, B. (2013). Statistisches Planen in einem realen Roboterszenario. Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 310, 133–146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
Grösbrink, S., Baldin, D., & Oberthür, S. (2013). Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. ACM SIGBED Review, Band 10.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
LibreCat