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
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: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In 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 4, no. 5 (2010): 845–56. https://doi.org/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.” In 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.” In 15th Americas Conference on Information Systems, 2009.
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 1–14. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_1.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/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.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6. IEEE, 2009. https://doi.org/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.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/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.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/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.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In Proceedings of the ISSS02. Nagoya, Japan, 2002. https://doi.org/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.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39925
Goser, K., Ulrich Hilleringmann, U. Rueckert, and K. Schumacher. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro 9, no. 6 (2002): 28–44. https://doi.org/10.1109/40.42985.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39926
Goser, K., Ulrich Hilleringmann, U. Rueckert, and K. Schumacher. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro 9, no. 6 (2002): 28–44. https://doi.org/10.1109/40.42985.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” Communications in Numerical Methods in Engineering 15, no. 10 (2002): 745–54. https://doi.org/10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45427
Mahnken, Rolf, Magnus Johansson, and Kenneth Runesson. “Parameter Estimation for a Viscoplastic Damage Model Using a Gradient‐based Optimization Algorithm.” Engineering Computations 15, no. 7 (2002): 925–55. https://doi.org/10.1108/02644409810236920.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In Proceedings of the 34th Annual Hawaii International Conference on System Sciences. Maui, HI, USA , 2001. https://doi.org/10.1109/HICSS.2001.926319.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” In Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Maui, HI, USA , 1999. https://doi.org/10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In Proceedings of HICSS-32. Maui, Hawaii, 1999. https://doi.org/10.1109/HICSS.1999.772621.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated 3D Programming Language.” In Proceedings of the IEEE Symposium on Visual Languages. Halifax, Canada, 1998. https://doi.org/10.1109/VL.1998.706167.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Visual Programming Language for Qualitative Data.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626601.
LibreCat
| DOI