Publications

Print

You are searching for publications ...

... from the research group 'Design of Distributed Embedded Systems'

Search for publications with the following properties:



Year:

Research groups:

Authors/Editors:

Only authors from this research group are selectable
All authors from the HNI are selectable

Publication type:


 

Our publications from 2013:

Rasche, Christoph; Ziegert, Steffen: Multilevel Planning for Self-Optimizing Mechatronic Systems . In: Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 6, 27 May - 1 June 2013 IARIA, ThinkMind (more)

Stern, Claudius; Rasche, Christoph; Kleinjohann, Lisa; Kleinjohann, Bernd: Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. In: Gausemeier, Jürgen; Dumitrescu, Roman; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar editor. Augmented & Virtual Reality in der Produktentstehung, HNI-Verlagsschriftenreihe, Paderborn, number 311 , Paderborn, Apr 2013 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (more)

Rasche, Christoph; Bieshaar, Maarten; Jungmann, Alexander; Kleinjohann, Lisa; Kleinjohann, Bernd: Statistisches Planen in einem realen Roboterszenario. In: Gausemeier, Jürgen; Dumitrescu, Roman; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar editor. Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, Paderborn, volume 310 , pp. 133-146, Apr 2013 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (more)

Kuznik, Christoph; F. S. Oliveira, Marcio; Defo, Bertrand; Müller, Wolfgang: Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON 2013 (more)

Khaluf, Lial; Rammig, Franz-Josef: Organic Programming of Real-Time Operating Systems. In: The Ninth International Conference on Autonomic and Autonomous Systems, 2013 (more)


Our publications from 2012:

Joy, M. tech. Mabel Mary; Becker, Markus; Mathews, Emi; Müller, Wolfgang: Automated Source Code Annotation for Timing Analysis of Embedded Software. In: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), 14 - 16 Dec 2012, IEEE (more)

Mauerer, Wolfgang; Hillier, Gernot; Sawallisch, Jan; Hönick, Stefan; Oberthür, Simon: Real-Time Android: Deterministic Ease of Use. In: Proceedings of Embedded Linux Conference Europe, 5 - 7 Nov 2012 (more)

Baldin, Daniel; Groesbrink, Stefan; Oberthür, Simon: Reconfiguration of Legacy Software Artifacts on Resource Constraint Smart Cards. In: The Second International Conference on Mobile Services, Resources, and Users, volume MOBILITY-12 , pp. 122--130, 21 - 26 Oct 2012 IARIA, ThinkMind (more)

Mathews, Emi; Graf, Tobias; Kulathunga, K.S.S.B : Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. In: In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), 14 - 17 Oct 2012, IEEE Computer Society (more)

Groesbrink, Stefan: Basics of virtual machine migration on heterogeneous architectures for self-optimizing mechatronic systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development, Oct 2012 (more)

F. S. Oliveira, Marcio; Kuznik, Christoph; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Müller, Wolfgang; Drechsler, Rolf; Ecker, Wolfgang; Esen, Volkan: 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, Oct 2012 (more)

He, Da; Müller, Wolfgang: A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD), Sep 2012, IEEE Xplore (more)

Rasche, Christoph; Jungmann, Alexander; Schierbaum, Thomas; Werdehausen, Benjamin; Kleinjohann, Bernd: Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: IEEE 10th International Conference on Industrial Informatics, 25 - 27 July 2012 IEEE, IEEE Xplore (more)

Esau, Natascha; Krüger, Martin; Rasche, Christoph; Beringer, Steffen; Kleinjohann, Lisa; Kleinjohann, Bernd: Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: 7th IEEE Conference in Industrial Electronics and Applications, Singapore, 18 - 20 July 2012 IEEE, IEEE (more)

Stern, Claudius; Rasche, Christoph; Kleinjohann, Lisa; Kleinjohann, Bernd: 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, 16 - 19 July 2012 (more)

Groesbrink, Stefan: A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Symposium on System-integrated Intelligence, 27 - 29 June 2012 (more)

He, Da; Müller, Wolfgang: 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), June 2012, IEEE Xplore (more)

Becker, Markus; Kuznik, Christoph; Joy, M. tech. Mabel Mary; Xie, Tao; Müller, Wolfgang: Binary mutation testing through dynamic translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012 , June 2012 (more)

Radke, Stephan; Rülke, Steffen; F. S. Oliveira, Marcio; Kuznik, Christoph; Müller, Wolfgang; Ecker, Wolfgang; Esen, Volkan; Hufnagel, Simon; Bannow, Nico; Oetjens, Jan-Hendrik; Brazdrum, Helmut; Janssen, Peter; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Drechsler, Rolf; Koch, Gernot; Burger, Andreas; Bringmann, Oliver; Rosenstiel, Wolfgang; Görgen, Ralph: Compilation of Methodologies to Speed up the Verification Process at System Level. edaWorkshop 12, May 2012 (more)

Montealegre, Norma; Hagenkötter, Sebastian: Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks . Journal of Intelligent Manufacturing, 23(3): pp. 699-715, May 2012 (more)

Groesbrink, Stefan; Oberthür, Simon; Baldin, Daniel: Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 16 - 19 Apr 2012 (more)

Zhao, Yuhong; Rammig, Franz-Josef: Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, pp. 154-161, 11 - 13 Apr 2012 IEEE Computer Society, IEEE Computer Society (more)

He, Da; Müller, Wolfgang: 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), Apr 2012, IEEE Xplore (more)

Rammig, Franz-Josef: Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, Ouro Preto, Brazil, pp. 45-48, Apr 2012 SBC, SBC (more)

Mathews, Emi: Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: Ninth International Conference On Information Technology : New Generations (ITNG), Apr 2012 IEEE Computer Society, IEEE Computer Society (more)

Montealegre, Norma; Rammig, Franz-Josef: Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, Apr 2012 (more)

Jungmann, Alexander; Kleinjohann, Bernd; Kleinjohann, Lisa; Bieshaar, Maarten: 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), 25 - 30 Mar 2012 IARIA, Xpert Publishing Services (more)

Stern, Claudius; Rasche, Christoph; Kleinjohann, Lisa; Kleinjohann, Bernd: 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, 25 - 30 Mar 2012 IARIA, IEEE Xplore (more)

Groesbrink, Stefan; Oberthür, Simon; Baldin, Daniel: Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012), 12 - 16 Mar 2012 (more)

Becker, Markus; Kuznik, Christoph; Joy, M. tech. Mabel Mary; Xie, Tao; Müller, Wolfgang: XEMU: A QEMU Based Binary Mutation Testing Framework. Design, Automation and Test in Europe DATE, University Booth, Dresden, Mar 2012 (more)

F. S. Oliveira, Marcio; Kuznik, Christoph; Müller, Wolfgang; Ecker, Wolfgang; Esen, Volkan: A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON), Mar 2012 (more)

Becker, Markus; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang; Fummi, F.; Pravadelli, G.; Vinco, Sara : MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution . In: {Design, Automation and Test in Europe (DATE 2012), Mar 2012 (more)

Nascimento, Francisco A. M.; F. S. Oliveira, Marcio; Wagner, Flavio: A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering, 8: pp. 19-33, Mar 2012 (more)

Kuznik, Christoph; F. S. Oliveira, Marcio; Müller, Wolfgang: SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE, University Booth, Dresden, Mar 2012 (more)

Mauerer, Wolfgang; Hillier, Gernot; Sawallisch, Jan; Hönick, Stefan; Oberthür, Simon: Real-Time Android: Deterministic Ease of use. In: Proceedings of Embedded World Conference, 28 - 1 Mar 2012 (more)

Jungmann, Alexander; Schierbaum, Thomas; Kleinjohann, Bernd: Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. In: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), pp. 441-444, 24 - 26 Feb 2012 INSTICC, INSTICC PRESS (more)

Bin Tariq, Fahad: Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints. In: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 24 - 26 Feb 2012 (more)

Jungmann, Alexander; Kleinjohann, Bernd: Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), pp. 43-47, 2012 IARIA, Xpert Publishing Services (more)

Khaluf, Yara; Weiss, Fabian; Micus, Sebastian: Master Election for Time Synchronization in Swarm Robotic Systems. In: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012 (more)

Müller, Wolfgang; Becker, Markus; Zabel, Henning; Elfeky, Ahmed; DiPasquale, Anthony: Virtual Prototyping of Cyber-Physical Systems. In: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012), 1 Jan 2012 (more)

Becker, Markus; Baldin, Daniel; Kuznik, Christoph; Joy, M. tech. Mabel Mary; Xie, Tao; Müller, Wolfgang: XEMU: An Efficient Qemu Based Binary Mutation Testing Framework for Embedded Software. EMSOFT'12: Teenth ACM International Conference on Embedded Software 2012 Proceedings 2012 (more)

Bin Tariq, Fahad; Korrapati, Sandeep: Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions. , chapter F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, pp. 263-276, IGI Global, 2012 (more)

Mathews, Emi; Frey, Hannes: A Localized Link Removal and Addition based Planarization Algorithm . In: 13th International Conference On Distributed Computing And Networking (ICDCN), Jan 2012 The Hong Kong Polytechnic University, Hong Kong, China, Springer (more)

Bin Tariq, Fahad; Korrapati, Sandeep: Adaptive Web Services for Modular and Reusable Software Development. , chapter F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, pp. 263-276, IGI Global, 2012 (more)

Jungmann, Alexander; Kleinjohann, Bernd: Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), 2012, IEEE (more)

Rammig, Franz-Josef: Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi, Tobias; Ecker, Gisela; Eke, Norbert Otto; Muhle, Florian editor. Schemata und Praktiken, pp. 141 - 160. Wilhelm Fink Verlag, München, 2012 (more)

Khaluf, Yara; Mathews, Emi; Rammig, Franz-Josef: Swarm Robotic Time Synchronization for Object Tracking. In: Higuera-Toledano, M. Theresa; Brinkschulte, Uwe; Rettberg, Achim editor. Self-Organization in Embedded Real-Time Systems, pp. 75 - 92. Springer, New York, Heidelberg, Dordrecht, London, 2012 (more)

Mathews, Emi; Mathew, Ciby: Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. In: Third International Conference on Networks & Communications, LNICST, Bangalore, India, Jan 2012, Springer (more)

Mathews, Emi; Mathew, Ciby: Deployment of mobile routers ensuring coverage and connectivity. International Journal of Computer Networks and Communications, 4(1): pp. 175-192, Jan 2012 (more)