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. Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans. In: 2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics. IEEE; 2014:208-215.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:10.1109/ISORCW.2012.41
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz K, König A, Müller W. A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. In: Proceedings of DATE’11. IEEE; 2011. doi:10.1109/DATE.2011.5763022
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of SIES 2010. ; 2010. doi:10.1109/SIES.2010.5551384
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010. IEEE; 2010.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc. of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE; 2004. doi:10.1109/AINA.2004.1283977
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of Symposium on Visual Languages. ; 1995. doi:10.1109/VL.1995.520803
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39538
Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. ; 1995. doi:10.1109/ASPDAC.1995.486383
LibreCat
| DOI