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
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