@inproceedingsMischkalla_Müller_2013, place=Karlsruhe, title=Efficient Power-Intent Validation Using “Loosely-Timed”10.1109/PATMOS.2013.6662171__Simulation Models: A Non-Invasive Approach, DOI=10.1109/PATMOS.2013.6662171, publisher=IEEE, author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

@inproceedingsHe_Müller_2013, place=Fort Worth, Texas, USA, title=An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors, booktitle=Proceedings of the International Conference on Applied Computing (AC), author=He, Da and Müller, Wolfgang, editor=Weghorn, Hans, year=2013 
LibreCat: /record/36920

@inproceedingsJoy_Becker_Mathews_Müller_2012, title=Automated Source Code Annotation for Timing Analysis of Embedded Software, booktitle= In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), publisher=IEEE, author=Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller, Wolfgang, year=2012 
LibreCat: /record/25744

@inproceedingsMauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title=Real-Time Android: Deterministic Ease of Use, booktitle=Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012, author=Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon, year=2012 
LibreCat: /record/25749

@inproceedingsMathews_Graf_Kulathunga_2012, title=Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity, booktitle=In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), publisher=IEEE Computer Society, author=Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B., year=2012 
LibreCat: /record/25752

@inproceedingsBecker_Baldin_Kuznik_Joy_Xie_Müller_2012, title=XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software, booktitle=EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings , author=Becker, Markus and Baldin, Daniel and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang, year=2012 
LibreCat: /record/25758

@inproceedingsOliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012, title=The System Verification Methodology for Advanced TLM Verification, booktitle=CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, author=Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan, year=2012 
LibreCat: /record/25761

@inproceedingsHe_Müller_2012, title=A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms, booktitle=15th Euromicro Conference on Digital System Design (DSD), publisher=IEEE Xplore, author=He, Da and Müller, Wolfgang, year=2012 
LibreCat: /record/25767

@inproceedingsRasche_Jungmann_Schierbaum_Werdehausen_Kleinjohann_2012, title= Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots, booktitle= IEEE 10th International Conference on Industrial Informatics,, publisher=IEEE Xplore, author=Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd, year=2012 
LibreCat: /record/25776

@inproceedingsEsau_Krüger_Rasche_Beringer_Kleinjohann_Kleinjohann_2012, place=Singapore, title=Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System, booktitle=7th IEEE Conference in Industrial Electronics and Applications, publisher=IEEE, author=Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2012 
LibreCat: /record/25777

@inproceedingsStern_Rasche_Kleinjohann_Kleinjohann_2012, place=Las Vegas, Nevada, USA, title=Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces, booktitle=Proceedings of The 16th International Conference on Image Processing, Computer Vision, &; Pattern Recognition, author=Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2012 
LibreCat: /record/25781

@inproceedingsGrösbrink_2012, title=A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems, booktitle=Symposium on System-integrated Intelligence, author=Grösbrink, Stefan, year=2012 
LibreCat: /record/25783

@inproceedingsBecker_Kuznik_Joy_Xie_Müller_2012, title=Binary Mutation Testing Through Dynamic Translation, booktitle= 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), author=Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang, year=2012 
LibreCat: /record/26022

@inproceedingsHe_Müller_2012, title=Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms, booktitle=Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), publisher=IEEE Xplore, author=He, Da and Müller, Wolfgang, year=2012 
LibreCat: /record/26023

@inproceedingsRadke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et al._2012, title=Compilation of Methodologies to Speed up the Verification Process at System Level, booktitle=edaWorkshop 12, author=Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and et al., year=2012 
LibreCat: /record/26024

@inbookMontealegre_Hagenkötter_2012, title=Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks, booktitle=Journal of Intelligent Manufacturing 23(3), publisher=Published online on June 2010, author=Montealegre, Norma and Hagenkötter, Sebastian, year=2012, pages=699–715 
LibreCat: /record/26025

@inproceedingsGrösbrink_Oberthür_Baldin_2012, title=Towards Adaptive Resource Management for Virtualized Real-Time Systems, booktitle=4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), author=Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel, year=2012 
LibreCat: /record/26026

@inproceedingsZhao_Rammig_2012, title=Online Model Checking for Dependable Real-time Systems, booktitle=16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, publisher= IEEE Computer Society, author=Zhao, Yuhong and Rammig, Franz-Josef, year=2012, pages=154–161 
LibreCat: /record/26027

@inproceedingsMontealegre_Rammig_2012, place=Shenzhen, China, title=Agent-Based Modeling and Simulation of Artificial Immune Systems, booktitle=Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), author=Montealegre, Norma and Rammig, Franz-Josef, year=2012 
LibreCat: /record/26028

@inproceedingsRammig_2012, place=Ouro Preto, Brazil, title=Self-Coordination as Fundamental Concept for Cyber Physical Systems, booktitle=2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, publisher=SBC, author=Rammig, Franz-Josef, year=2012, pages=45–48 
LibreCat: /record/26029