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.
11 Publications
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . https://doi.org/10.1109/HICSS.1999.773046
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. Proceedings of the 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
LibreCat
| DOI