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
2007 | Conference Paper | LibreCat-ID: 38102
@inproceedings{Schäfer_Müller_2007, place={Lancaster, United Kingdom}, title={Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal}, booktitle={Proceedings of IWUMUI’2007 at HCI’2007}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2007} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
@inproceedings{Müller_Vanderperren_2006, place={Seoul, Korea}, title={UML and Model-Driven Development for SoC Design}, booktitle={Proceedings of CODES/ISSS}, author={Müller, Wolfgang and Vanderperren, Yves}, year={2006} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
@inproceedings{Schäfer_Müller_Groppe_2006, place={Wuhan, China}, title={Profile Processing and Evolution for Smart Environments}, booktitle={Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06)}, author={Schäfer, Robbie and Müller, Wolfgang and Groppe, Jinghua}, year={2006} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
@inproceedings{Müller_Zabel_2006, place={San Francisco, USA}, title={Towards a Unified Behavioural Modelling Language}, booktitle={Proceedings of the UML-SoC Workshop at DAC 2006}, author={Müller, Wolfgang and Zabel, Henning}, year={2006} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
@inproceedings{Müller_2006, place={Darmstadt}, title={UML - The Emerging Hardware Description Language?}, booktitle={Proc. of FDL’06}, author={Müller, Wolfgang}, year={2006} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
@inproceedings{Lavagno_Müller_2006, title={UML: A Next Generation Language for SoC Design}, author={Lavagno, Luciano and Müller, Wolfgang}, year={2006} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={10.1007/978-3-540-70816-2_4}, booktitle={Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification Trees for Functional Coverage and Random Test Generation}, DOI={10.1109/DATE.2006.243902}, booktitle={Proceedings of the Design Automation & Test in Europe Conference}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
@inproceedings{Schäfer_Ziegler_Müller_2006, place={Montreal, Canada}, title={Securing Personal Data in Smart Home Environments}, booktitle={Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006)}, author={Schäfer, Robbie and Ziegler, Max and Müller, Wolfgang}, year={2006} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
@inproceedings{Müller_Rosti_Bocchio_Riccobene_2006, place={San Jose, USA}, title={UML for ESL Design - Basic Principles, Tools, and Applications}, booktitle={Proc. of ICCAD’06}, author={Müller, Wolfgang and Rosti, Alberto and Bocchio, Sara and Riccobene, Elvinia}, year={2006} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 38539
@inproceedings{Lavagno_Müller_2006, title={UML: A Next Generation Language for SoC Design}, author={Lavagno, Luciano and Müller, Wolfgang}, year={2006} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
@inbook{Schattkowsky_Müller_Rettberg_2005, title={Model Based Specification for Platform Independent Hardware Execution}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={63–88} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
@inbook{Martin_Müller_2005, title={When Worlds Collide: Can UML help SoC Design?}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Martin, Grant and Müller, Wolfgang}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={1–15} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
@article{Krupp_Müller_2005, place={Bonn}, series={Automotive Software Engineering}, title={Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Automotive Software Engineering} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
@article{Krupp_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Modelchecking von Klassifikationsbaum-Testsequenzen}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
@article{Zabel_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation}, author={Zabel, Henning and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat