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


2012 | Conference Paper | LibreCat-ID: 25781
Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces.” In Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. Las Vegas, Nevada, USA, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration in Heterogeneous Multi-Processor Systems.” In Symposium on System-Integrated Intelligence, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26022
Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
LibreCat | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 26023
He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” In Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26024
Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” In EdaWorkshop 12, 2012.
LibreCat | Download (ext.)
 

2012 | Book Chapter | LibreCat-ID: 26025
Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond Quality Control by Means of Cytokine-Formal Immune Networks.” In Journal of Intelligent Manufacturing 23(3), 699–715. Published online on June 2010, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Towards Adaptive Resource Management for Virtualized Real-Time Systems.” In 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26027
Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” In 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 154–61. IEEE Computer Society, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26028
Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” In Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). Shenzhen, China, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26029
Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” In 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48. Ouro Preto, Brazil: SBC, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26030
Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs in Realistic Wireless Networks.” In Ninth International Conference On Information Technology : New Generations (ITNG). IEEE Computer Society, 2012.
LibreCat
 

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

2012 | Conference Paper | LibreCat-ID: 26032
Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Efficient Alignment of Aerial Images Based on Virtual Forces.” In Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). St. Maarten, Netherlands Antilles: IEEE Xplore, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26034
Jungmann, Alexander, Bernd Kleinjohann, Lisa Kleinjohann, and Maarten Bieshaar. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” In Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). Xpert Publishing Services, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26035
Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Dynamic Resource Management for Virtualized Mixed-Criticality Systems.” In Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26037
Nascimento, Francisco A. M., Marcio F. Oliveira, and Flavio Wagner. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, 19–33.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26079
Becker, Markus, Gilles Bertrand Gnokam Defo, Wolfgang Müller, F. Fummi, G. Pravadelli, and Sara Vinco. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” In Design, Automation and Test in Europe (DATE 2012). Dresden, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26080
Becker, Markus, Christoph Kuznik, M. tech. Mabel Joy, Tao Xie, and Wolfgang Müller. “XEMU: A QEMU Based Binary Mutation Testing Framework.” In Design, Automation and Test in Europe DATE. University Booth, Dresden, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26081
Mauerer, Wolfgang, Gernot Hillier, Jan Sawallisch, Stefan Hönick, and Simon Oberthür. “Real-Time Android: Deterministic Ease of Use.” In Proceedings of Embedded World Conference, 2012.
LibreCat
 

Filters and Search Terms

department=672

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed