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.
327 Publications
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
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink, S. (2013). Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development 7(1), 69–79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, A., Kleinjohann, B., & Kleinjohann, L. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4), 284–297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2013). A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In G. Sen Gupta, D. Bailey, S. Demidenko, & D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 (Vol. 480, pp. 103–113). Springer .
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., & Rammig, F.-J. (Eds.). (2013). Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf, L., & Rammig, F.-J. (2013). Organic Programming of Real-Time Operating Systems. The Ninth International Conference on Autonomic and Autonomous Systems.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future (pp. 187–356). Springer-Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (2013). 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, F., & Müller, W. (2013). Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2013.6662171
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He, D., & Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC).
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
Joy, M. tech. M. M., Becker, M., Mathews, E., & Müller, W. (2012). Automated Source Code Annotation for Timing Analysis of Embedded Software. In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
Mauerer, W., Hillier, G., Sawallisch, J., Hönick, S., & Oberthür, S. (2012). Real-Time Android: Deterministic Ease of Use. Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
Mathews, E., Graf, T., & Kulathunga, K. S. S. B. (2012). Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012). 14. - 17. Okt. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings .
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., & Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He, D., & Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. 15th Euromicro Conference on Digital System Design (DSD).
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
Rasche, C., Jungmann, A., Schierbaum, T., Werdehausen, B., & Kleinjohann, B. (2012). Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. IEEE 10th International Conference on Industrial Informatics,.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., & Kleinjohann, B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. 7th IEEE Conference in Industrial Electronics and Applications.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. Symposium on System-Integrated Intelligence.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He, D., & Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. EdaWorkshop 12.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
Montealegre, N., & Hagenkötter, S. (2012). Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In Journal of Intelligent Manufacturing 23(3) (pp. 699–715). Published online on June 2010.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink, S., Oberthür, S., & Baldin, D. (2012). Towards Adaptive Resource Management for Virtualized Real-Time Systems. 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). 16. - 19. Apr. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Zhao, Y., & Rammig, F.-J. (2012). Online Model Checking for Dependable Real-time Systems. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 154–161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
Montealegre, N., & Rammig, F.-J. (2012). Agent-Based Modeling and Simulation of Artificial Immune Systems. Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
Rammig, F.-J. (2012). Self-Coordination as Fundamental Concept for Cyber Physical Systems. 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48.
LibreCat