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.

1312 Publications


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
 

2012 | Conference Paper | LibreCat-ID: 26030
Mathews, E. (2012). Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. Ninth International Conference On Information Technology : New Generations (ITNG).
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26031
He, D., & Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC).
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26032
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Efficient Alignment of Aerial Images Based on Virtual Forces. Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). 25. - 30. Mrz. 2012 IARIA, IEEE Xplore.
LibreCat
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed