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.
264 Publications
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, et al. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” Proceedings of the M-BED Workshop, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, et al. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010, doi:10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, Wolfgang, et al. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, Tao, et al. Mutation-Analysis Directed Constrained Random Verification. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, Tao, et al. An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, Kay, et al. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” Proceedings of SIES 2010, 2010, doi:10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, Marcio F. S., et al. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” Proceedings of MoMPES 2010, 2010.
LibreCat
2010 | Book (Editor) | LibreCat-ID: 53582
Gerard, Sebatian, et al., editors. Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design. 2010.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, Henning, et al. “Accurate RTOS Modelling and Analysis with SystemC.” Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 233–60, doi:10.1007/978-1-4020-9436-1_9.
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, et al. “Hardware-Dependent Software - Introduction and Overview.” Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 1–14, doi:10.1007/978-1-4020-9436-1_1.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” Proceedings of DATE’09, IEEE, 2009, doi: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.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, Kay, et al. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” Proceedings of IESS09, Springer Verlag, 2009, doi:10.1007/978-3-642-04284-3_20.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker, Markus, et al. 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.” Proceedings of IESS09, 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R., et al. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” Proceedings of ASP-DAC’09, 2009.
LibreCat
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, Wolfgang, et al., editors. Hardware-Dependent Software. Springer Netherlands, 2009, doi:10.1007/978-1-4020-9436-1.
LibreCat
| DOI