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: 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
2012 | Conference Paper | LibreCat-ID: 26086
Jungmann, Alexander, Thomas Schierbaum, and Bernd 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), 441–44. INSTICC PRESS, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
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, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
Mathews, Emi, and Hannes Frey. “A Localized Link Removal and Addition Based Planarization Algorithm.” In 13th International Conference On Distributed Computing And Networking (ICDCN). The Hong Kong Polytechnic University, Hong Kong, China: Springer, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
Mathews, Emi, and Ciby Mathew. “Deployment of Mobile Routers Ensuring Coverage and Connectivity.” International Journal of Computer Networks and Communications 4(1), 2012, 175–92.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller, Wolfgang, Markus Becker, Henning Zabel, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping of Cyber-Physical Systems.” In In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. Sydney, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Khaluf, Yara, Emi Mathews, and Franz-Josef Rammig. “Swarm Robotic Time Synchronization for Object Tracking.” In Self-Organization in Embedded Real-Time Systems, edited by M. Theresa Higuera-Toledano, Uwe Brinkschulte, and Achim Rettberg, 75–92. New York, Heidelberg, Dordrecht, London: Springer, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards a Cyber Biosphere.” In Schemata Und Praktiken, edited by Tobias Conradi, Gisela Ecker, Norbert Otto Eke, and Florian Muhle, 141–60. München: Wilhelm Fink Verlag, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular and Reusable Software Development.” In Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, 263–76. IGI Global, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
Jungmann, Alexander, and Bernd 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), 43–47. Xpert Publishing Services, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
Jungmann, Alexander, and Bernd Kleinjohann. “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). IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Khaluf, Yara, Fabian Weiss, and Sebastian Micus. “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.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” In Third International Conference on Networks & Communications, LNICST. Bangalore, India: Springer, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Yves, Wolfgang Müller, Da He, Fabian Mischkalla, and Wim Dahaene. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” In Design Technology for Heterogeneous Embedded Systems, edited by Gabriela Nicolescu, Ian O’Connor, and Christian Piguet, 1st Edition. Auflage., 13–39. Springer Verlag, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. https://doi.org/10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Christoph Kuznik, Wolfgang Müller, V. Esen, and W. Ecker. “Towards an Enhanced UVM for SystemC.” In Proceedings of the Design & Verification Conference (DVCon). San Jose, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” In Proceedings of SOCC2012. Niagara Falls, NY, USA : IEEE, 2012. https://doi.org/10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” In Proceedings of the MeCoES’12. Tampere, Finnland, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, Christoph, Marcio F. Oliveira, and Wolfgang Müller. “SYSTEMC UVM VERIFICATION COMPONENTS.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular Value Decomposition Module on an FPGA.” In The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011). Calgary, Canada: ACTA Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” In Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA). Wellington, New Zealand: IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Towards Using Virtual Forces for Image Registration.” In The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). Wellington, New Zealand, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26660
Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” In The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). Wellington, New Zealand, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, Emi, Tobias Graf, and K. S. S. B. Kulathunga. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” In Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems. Lecture Notes of ICST, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” In Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” In Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler, Stefan, Simon Oberthür, Holger Giese, and Andreas 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
Baldin, Daniel, Stefan Grösbrink, and Simon 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
Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.” In 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011. Poznan, Poland: Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus, Dalimir, Peter Janacik, Frank Eliassen, and Pal Orten. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” In Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011). Salamanca, Spain: IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
Jungmann, Alexander, Jan Lutterbeck, Benjamin Werdehausen, and Bernd Kleinjohann. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” In Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
Gausemeier, Jürgen, Thomas Schierbaum, Roman Dumitrescu, Stefan Herbrechtsmeier, and Alexander Jungmann. “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties.” In Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” In Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On . IEEE Xplore, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, Christoph, and Wolfgang 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
Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” In IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 1–9. IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, Markus, Henning Zabel, Wolfgang Müller, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme Eine Fallstudie.” In 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294:315–27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” ThinkMind, International Journal On Advances in Software 3 (3&4), 2011, 351–70.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Khaluf, Yara, Emi Mathews, and Franz-Josef Rammig. “ Self-Organized Cooperation in Swarm Robotics.” In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 217–26. Newport Beach, California, USA: IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, A. König, and Wolfgang Müller. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” In Proceedings of Design, Automation, Test Europe - DATE2011. Grenoble, France: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, A. König, Wolfgang Müller, and Achim Rettberg. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” In Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011. Newport Beach, California, USA: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In Proceedings of DVCON , 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, Da He, and Wolfgang Müller. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” In Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, Da, Fabian Mischkalla, and Wolfgang Müller. “A SysML-Based Framework with QEMU-SystemC Code Generation.” In Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.” In 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
Adelt, Philipp, Natascha Esau, Christian Hölscher, Bernd Kleinjohann, Lisa Kleinjohann, Martin Krüger, and Detmar Zimmer. “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems.” In Intelligent Mechatronics; Kapitel 10, 169–94. InTech Open Access Publisher, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26787
Khaluf, Lial, Christian Gerth, and Gregor 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), 521–35. Springer Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” In Emotional Engineering, 119–42. Springer-Verlag London, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann, Alexander, Jan Lutterbeck, Benjamin Werdehausen, Bernd Kleinjohann, and Lisa 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, 41–50. ACM, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “A Fast Hierarchical Learning Approach for Autonomous Robots.” In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, 545–58. Springer Basel, 2011. https://doi.org/10.1007/978-3-0348-0130-0_36.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “Increasing Learning Speed by Imitation in Multi-Robot Societies.” In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , 295–307. Springer Basel, 2011. https://doi.org/10.1007/978-3-0348-0130-0_19.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37001
Becker, Markus, Henning Zabel, Wolfgang Müller, and Ahmed Elfeky. “Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie.” Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, Christoph, and Wolfgang Müller. “A SystemC Based Library for Functional Coverage,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, Kay, Andreas König, and Wolfgang Müller. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” In Proceedings of DATE’11. Grenoble, France: IEEE, 2011. https://doi.org/10.1109/DATE.2011.5763022.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” In Proceedings of the M-BED Workshop. Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” In Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering, 2010. https://doi.org/10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In Proceedings of SIES 2010. Trento, Italien, 2010. https://doi.org/10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLDVT2010. IEEE, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, Marcio F. S., Francisco Assis M. do Nascimento, and Wolfgang Müller. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” In Proceedings of MoMPES 2010. Antwerp, Belgium, 2010.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS Modelling and Analysis with SystemC.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 233–60. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_9.
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 1–14. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_1.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” In Proceedings of IESS09. Springer Verlag, 2009. https://doi.org/10.1007/978-3-642-04284-3_20.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker, Markus, Henning Zabel, and Wolfgang Müller. “Integration Abstrakter RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme,” 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of Embedded Control Systems.” In Proceedings of IESS09. Friedrichshafen, 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R. , A. Gerstlauer, and Wolfgang Müller. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” In Proceedings of ASP-DAC’09. Yokohama, Japan, 2009.
LibreCat
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” Journal on Multimodal User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” In ASWSD 2006: Model-Driven Development of Reliable Automotive Services, edited by Manfred Broy, Ingolf H. Krüger, and Michael Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. https://doi.org/10.1007/978-3-540-70930-5_7.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L. Kleinjohann and B. Kleinjohann. IFIP – The International Federation for Information Processing. Dordrecht: Springer Verlag, 2008. https://doi.org/10.1007/978-0-387-09661-2_18.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” In Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch. Aachen: Shaker Verlag, 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen in SystemC.” C-LAB Report. Paderborn, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage.” In Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007). Prague, Czech Republic, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller. “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.” In Proceedings of the Automotive Software Workshop ’06, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in Engineering.” In Proceedings of the UML for SoC Design Workshop at DAC’07. San Diego, USA, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Using Smart Cards for Secure and Device Independent User Interfaces.” In Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007). Singapore, 2007.
LibreCat