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.
89 Publications
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 11892 | 
@article{Schmalenstroeer_Haeb-Umbach_2010, title={Online Diarization of Streaming Audio-Visual Data for Smart Environments}, volume={4}, DOI={10.1109/JSTSP.2010.2050519}, number={5}, journal={IEEE Journal of Selected Topics in Signal Processing}, author={Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2010}, pages={845–856} }
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 5625 |
@inproceedings{Schryen_Kadura_2009, title={Open Source vs. Closed Source Software: Towards Measuring Security}, booktitle={24th Annual ACM Symposium on Applied Computing}, author={Schryen, Guido and Kadura, Rouven}, year={2009} }
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 5647 |
@inproceedings{Schryen_2009, title={Security of open source and closed source software: An empirical comparison of published vulnerabilities}, booktitle={15th Americas Conference on Information Systems}, author={Schryen, Guido}, year={2009} }
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 33814
@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software - Introduction and Overview}, DOI={10.1007/978-1-4020-9436-1_1}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI