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
2013 | Conference Paper | LibreCat-ID: 25299
S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System Virtualization,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 2013, vol. 310, pp. 133–146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “ Informationstechnik spart Ressourcen,” ForschungsForum Paderborn , 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
S. Grösbrink, “Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues,” Production Engineering Research & Development 7(1), pp. 69–79, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
A. Jungmann, B. Kleinjohann, and L. Kleinjohann, “Learning Service Recommendations,” International Journal of Business Process Integration and Management 6(4), pp. 284–297, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application of UCIS to Improve the Automation on Verification Closure,” 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights,” in Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, vol. 480, G. Sen Gupta, D. Bailey, S. Demidenko, and D. Carnegie, Eds. Berlin Heidelberg: Springer , 2013, pp. 103–113.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
K. Klobedanz, J. Jatzkowski, A. Rettberg, and W. Müller, “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks,” 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
D. He and W. Müller, “ A heuristic energy-aware approach for hard real-time systems on multi-core platforms,” Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), pp. 845–857, 2013.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
G. Schirner, M. Götz, A. Rettberg, M. C. Zanella, and F.-J. Rammig, Eds., Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
L. Khaluf and F.-J. Rammig, “Organic Programming of Real-Time Operating Systems,” 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
H. Anacker et al., “Methods for the Design and Development,” in Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Heidelberg: Springer-Verlag, 2013, pp. 187–356.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, “11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung,” 2013, vol. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: 10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors,” in Proceedings of the International Conference on Applied Computing (AC), 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source Code Annotation for Timing Analysis of Embedded Software,” Bangalore, 14. - 16. Dez. 2012, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of Use,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity,” presented at the 14. - 17. Okt. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
M. F. Oliveira et al., “The System Verification Methodology for Advanced TLM Verification,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks,” in Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Y. Zhao and F.-J. 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, 2012, pp. 154–161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical Systems,” in 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 2012, pp. 45–48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012 IARIA, IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
S. Grösbrink, S. Oberthür, and D. Baldin, “Dynamic Resource Management for Virtualized Mixed-Criticality Systems,” presented at the 12. - 16. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” Innovations in Systems and Software Engineering 8, pp. 19–33, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S. Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of use,” presented at the 28. Feb. - 1. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
A. Jungmann, T. Schierbaum, and B. Kleinjohann, “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), 2012, pp. 441–444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
F. Bin Tariq, “Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints,” presented at the 24. - 26. Feb. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
E. Mathews and H. Frey, “A Localized Link Removal and Addition based Planarization Algorithm,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
E. Mathews and C. Mathew, “Deployment of mobile routers ensuring coverage and connectivity,” International Journal of Computer Networks and Communications 4(1), pp. 175–192, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
W. Müller, M. Becker, H. Zabel, A. Elfeky, and A. DiPasquale, “Virtual Prototyping of Cyber-Physical Systems,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Y. Khaluf, E. Mathews, and F.-J. Rammig, “Swarm Robotic Time Synchronization for Object Tracking,” in Self-Organization in Embedded Real-Time Systems, M. T. Higuera-Toledano, U. Brinkschulte, and A. Rettberg, Eds. New York, Heidelberg, Dordrecht, London: Springer, 2012, pp. 75–92.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in Schemata und Praktiken, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
F. Bin Tariq and S. Korrapati, “Adaptive Web Services for Modular and Reusable Software Development,” in Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
A. Jungmann and B. Kleinjohann, “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), 2012, pp. 43–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, and W. Dahaene, “Extending UML for Electronic Systems Design: A Code Generation Perspective,” in Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage., G. Nicolescu, I. O’Connor, and C. Piguet, Eds. Springer Verlag, 2012, pp. 13–39.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi: 10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
M. F. Oliveira, C. Kuznik, W. Müller, V. Esen, and W. Ecker, “Towards an Enhanced UVM for SystemC,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,” 2012, doi: 10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
T. Xie and W. Müller, “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
C. Kuznik, M. F. Oliveira, and W. Müller, “SYSTEMC UVM VERIFICATION COMPONENTS,” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26276
M. Hosseinimehr and N. Montealegre, “Implementation of a Singular Value Decomposition Module on an FPGA,” 14. - 16. Dez. 2011, ACTA Press, Calgary, Canada, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
A. Jungmann and B. Kleinjohann, “Automatic Feature Classification for Object Detection based on Motion Analysis,” Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Towards Using Virtual Forces for Image Registration,” Wellington, New Zealand, Dez. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26660
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A Distributed Multi-UAV Path Planning Approach for 3D Environments,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “A Bio-inspired Coverage and Connectivity Maintenance Algorithm,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification in the SystemC HDVL,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
T. Xie and W. Müller, “IP-XACT based System Level Mutation Testing,” 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
S. Henkler, S. Oberthür, H. Giese, and A. Seibel, “Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures,” International Journal of Computer Systems Science & Engineering 26 (6), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
D. Baldin, S. Grösbrink, and S. Oberthür, “Enabling Constraint-based Binary Reconfiguration by Binary Analysis,” International Journal on Computing (JoC) 1(4), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
F. Bin Tariq, “F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems,” Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
D. Orfanus, P. Janacik, F. Eliassen, and P. Orten, “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems,” Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
A. Jungmann, J. Lutterbeck, B. Werdehausen, and B. Kleinjohann, “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies,” presented at the 26. - 29. Jul. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, and A. Jungmann, “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties,” presented at the 26. - 29. Jul. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
A. Thuy, “ Comparison of periodic and aperiodic task models for cyber-physical-systems,” presented at the 20. - 22. Jun. 2011, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
C. Kuznik and W. Müller, “Verification Closure of SystemC Designs with Functional Coverage,” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
E. Mathews and H. Frey, “A Localized Planarization Algorithm for Realistic Wireless Networks,” in IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2011, pp. 1–9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
M. Becker, H. Zabel, W. Müller, A. Elfeky, and A. DiPasquale, “Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294, 2011, vol. 294, pp. 315–327.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs,” ThinkMind, International Journal On Advances in Software 3 (3&4), pp. 351–370, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Y. Khaluf, E. Mathews, and F.-J. Rammig, “ Self-Organized Cooperation in Swarm Robotics,” in 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011, pp. 217–226.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks,” 14. - 18. Mrz. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
K. Klobedanz, A. König, W. Müller, and A. Rettberg, “Self-Reconfiguration for Fault-Tolerant FlexRay Networks,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
F. Mischkalla, D. He, and W. Müller, “A Retargetable SysML-based Front-End for High-Level Synthesis,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
D. He, F. Mischkalla, and W. Müller, “A SysML-based Framework with QEMU-SystemC Code Generation,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
M. Becker, “QEMU/SystemC Cosimulation at Different Abstraction Levels,” 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
P. Adelt et al., “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems,” in Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
G. B. Gnokam Defo and W. Müller, “Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26787
L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints,” in Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11), 2011, pp. 521–535.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
C. Kuznik and W. Müller, “Native binary mutation analysis for embedded software and virtual prototypes in SystemC,” 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
N. Esau and L. Kleinjohann, “Emotional Robot Competence and Its Use in Robot Behavior Control,” in Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, and L. Kleinjohann, “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots,” in Proceedings of the 2011 workshop on Organic computing, 2011, pp. 41–50.
LibreCat