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.
10 Publications
2014 | Conference Paper | LibreCat-ID: 17202
Vollmer, A.-L., Grizou, J., Lopes, M., Rohlfing, K., & Oudeyer, P.-Y. (2014). Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans. 2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics, 208–215.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, K., Müller, W., & Rettberg, A. (2012). An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. https://doi.org/10.1109/ISORCW.2012.41
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. Proceedings of DATE’11. 2011 Design, Automation & Test in Europe, Grenoble, France. https://doi.org/10.1109/DATE.2011.5763022
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, K., Defo, G. B., Müller, W., & Kerstan, T. (2010). Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES). https://doi.org/10.1109/SIES.2010.5551384
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
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages. https://doi.org/10.1109/VL.1995.520803
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39538
Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
LibreCat
| DOI