Publikationen

Drucken

Publikationen mit folgenden Eigenschaften suchen:



Stichwortsuche:

Jahrgang:

Autoren/Editoren:

Nur Autoren der Fachgruppe zur Auswahl stellen
Alle Autoren des HNI zur Auswahl stellen

Art der Publikation:


 

Unsere Publikationen aus dem Jahr 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, S. 6, 27. Mai - 1. Jun. 2013 IARIA, ThinkMind (Details)

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 (Hrsg.) Augmented & Virtual Reality in der Produktentstehung, HNI-Verlagsschriftenreihe, Paderborn, Nr.311 , Paderborn, Apr. 2013 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (Details)

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 (Hrsg.) Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 310 , S. 133-146, Apr. 2013 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (Details)

Kuznik, Christoph; F. S. Oliveira, Marcio; Müller, Wolfgang: SystemC Verification Components - An enhanced OVM/UVM for SystemC. edaWorkshop 13, Mrz. 2013 (Details)

Kuznik, Christoph; F. S. Oliveira, Marcio; Müller, Wolfgang: SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop, Mrz. 2013 (Details)

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

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 (Details)


Unsere Publikationen aus dem Jahr 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. Dez. 2012, IEEE (Details)

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 (Details)

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, Band MOBILITY-12 , S. 122--130, 21. - 26. Okt. 2012 IARIA, ThinkMind (Details)

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. Okt. 2012, IEEE Computer Society (Details)

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

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, Okt. 2012 (Details)

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 (Details)

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. Jul. 2012 IEEE, IEEE Xplore (Details)

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. Jul. 2012 IEEE, IEEE (Details)

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. Jul. 2012 (Details)

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

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 , Jun. 2012 (Details)

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), Jun. 2012, IEEE Xplore (Details)

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, Mai 2012 (Details)

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

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 (Details)

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, S. 154-161, 11. - 13. Apr. 2012 IEEE Computer Society, IEEE Computer Society (Details)

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 (Details)

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 (Details)

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 (Details)

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, S. 45-48, Apr. 2012 SBC, SBC (Details)

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. Mrz. 2012 IARIA, IEEE Xplore (Details)

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. Mrz. 2012 IARIA, Xpert Publishing Services (Details)

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. Mrz. 2012 (Details)

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), Mrz. 2012 (Details)

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

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: S. 19-33, Mrz. 2012 (Details)

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), Mrz. 2012 (Details)

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, Mrz. 2012 (Details)

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. Feb. - 1. Mrz. 2012 (Details)

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), S. 441-444, 24. - 26. Feb. 2012 INSTICC, INSTICC PRESS (Details)

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 (Details)

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

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

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 (Details)

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), S. 43-47, 2012 IARIA, Xpert Publishing Services (Details)

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 (Details)

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

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 (Details)

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 (Details)

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 (Details)

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

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

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 (Details)