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
- 1
- 2
- 3
- 4 (current)
- 5
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi: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.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
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 | Journal Article | LibreCat-ID: 11892 | 
Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization of Streaming Audio-Visual Data for Smart Environments.” IEEE Journal of Selected Topics in Signal Processing, vol. 4, no. 5, 2010, pp. 845–56, doi:10.1109/JSTSP.2010.2050519.
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 5625 |
Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software: Towards Measuring Security.” 24th Annual ACM Symposium on Applied Computing, 2009.
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 5647 |
Schryen, Guido. “Security of Open Source and Closed Source Software: An Empirical Comparison of Published Vulnerabilities.” 15th Americas Conference on Information Systems, 2009.
LibreCat
| Files available
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: 17272
Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” Proceedings of ISNG 05, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 .
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39925
Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39926
Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat
| DOI
- 1
- 2
- 3
- 4 (current)
- 5