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.
282 Publications
2006 | Conference Paper | LibreCat-ID: 38109
W. Müller, A. Rosti, S. Bocchio, and E. Riccobene, “UML for ESL Design - Basic Principles, Tools, and Applications,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38539
L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
T. Schattkowsky, W. Müller, and A. Rettberg, “Model Based Specification for Platform Independent Hardware Execution,” in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 63–88.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,” in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 1–15.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
A. Krupp and W. Müller, “Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.” Bonn, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
A. Krupp and W. Müller, “Modelchecking von Klassifikationsbaum-Testsequenzen.” Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
H. Zabel and W. Müller, “Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.” Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
S. Bleul, R. Schäfer, and W. Müller, “A Dialog Model for Multi Device Interfaces with Different Modalities,” 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management in Smart Home Networks,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.171.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
J. Groppe and W. Müller, “Profile Management technology for Smart Customization in Private Home Applications,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.156.
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 33823
G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,” in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 1–15.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33825
S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat
2004 | Book (Editor) | LibreCat-ID: 53585
W. Müller and G. Martin, Eds., Proceedings of the 1st International DAC Workshop of UML for SoC Design. San Diego CA, USA, 2004.
LibreCat