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.
332 Publications
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
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
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems, vol. 12, Springer-Verlag, 2008, pp. 261–92, doi: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, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:10.1007/s12193-008-0003-3.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann, Jürgen, et al. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” ASWSD 2006: Model-Driven Development of Reliable Automotive Services, edited by Manfred Broy et al., Springer Verlag, 2008, pp. 98–117, doi: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, vol. 271, Springer Verlag, 2008, doi: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.” Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch, Shaker Verlag, 2008.
LibreCat