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.
264 Publications
2010 | Conference Paper | LibreCat-ID: 37042
@inproceedings{Mischkalla_Müller_He_2010, place={Dresden}, title={A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis}, booktitle={Proceedings of the M-BED Workshop}, author={Mischkalla, Fabian and Müller, Wolfgang and He, Da}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang and Krupp, Alexander}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN Approach to SysML-based HW/SW Codesign}, DOI={10.1007/978-94-007-1488-5_9}, booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI}, author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture Notes in Electrical Engineering} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie, Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien}, title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1109/SIES.2010.5551384}, booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
@inproceedings{Oliveira_do Nascimento_Müller_2010, place={Antwerp, Belgium}, title={Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration}, booktitle={Proceedings of MoMPES 2010}, author={Oliveira, Marcio F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang}, year={2010} }
LibreCat
2010 | Book (Editor) | LibreCat-ID: 53582
@book{Gerard_Müller_Rioux_Selic_2010, place={Dresden, Germany}, title={Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design}, year={2010} }
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate RTOS Modelling and Analysis with SystemC}, DOI={10.1007/978-1-4020-9436-1_9}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={233–260} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software - Introduction and Overview}, DOI={10.1007/978-1-4020-9436-1_1}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
@inproceedings{Klobedanz_Kuznik_Elfeky_Müller_2009, title={Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study}, DOI={10.1007/978-3-642-04284-3_20}, booktitle={Proceedings of IESS09}, publisher={Springer Verlag}, author={Klobedanz, Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
@inproceedings{Becker_Zabel_Müller_2009, title={Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
@inproceedings{Krupp_Müller_2009, place={Friedrichshafen}, title={Systematic Model-in-the-Loop Test of Embedded Control Systems}, booktitle={Proceedings of IESS09}, author={Krupp, Alexander and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
@inproceedings{Doemer_Gerstlauer_Müller_2009, place={Yokohama, Japan}, title={Hardware-dependent Software for Multi- and Many-Core Embedded Systems}, booktitle={Proceedings of ASP-DAC’09}, author={Doemer, R. and Gerstlauer, A. and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Book (Editor) | LibreCat-ID: 40119
@book{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software}, DOI={10.1007/978-1-4020-9436-1}, publisher={Springer Netherlands}, year={2009} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34563
@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems Design – A Comprehensive Overview}, volume={12}, DOI={10.1007/s10617-008-9028-9}, journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008}, pages={261–292} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={10.1007/s12193-008-0003-3}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
@inbook{Großmann_Fey_Krupp_Conrad_Wewetzer_Müller_2008, place={Berlin, Heidelberg}, title={TestML – A Test Exchange Language for Model-based Testing of Embedded Software}, DOI={10.1007/978-3-540-70930-5_7}, booktitle={ASWSD 2006: Model-Driven Development of Reliable Automotive Services}, publisher={Springer Verlag}, author={Großmann, Jürgen and Fey, Ines and Krupp, Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}, editor={Broy, Manfred and Krüger, Ingolf H. and Meisinger, Michael}, year={2008}, pages={98–117} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International Federation for Information Processing}, title={An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271}, DOI={10.1007/978-0-387-09661-2_18}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation for Information Processing} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
@inproceedings{Zabel_Müller_2008, place={Aachen}, title={Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC}, booktitle={Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System}, publisher={Shaker Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Scholl, Ch. and Disch, S.}, year={2008} }
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53583
@book{Müller_Wolfe_2008, place={Anaheim, CA, USA}, title={Proceedings of the 5th International DAC Workshop of UML for SoC Design}, year={2008} }
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53594
@book{Wolfe_Müller_2008, place={Anaheim CA, USA}, title={Proceedings of the 4th DAC Workshop on UML for SOC Design }, year={2008} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
@article{Zabel_Müller_2007, place={Paderborn}, series={C-LAB Report}, title={Simulation mit abstrakten RTOS Modellen in SystemC}, volume={6}, number={4}, author={Zabel, Henning and Müller, Wolfgang}, year={2007}, collection={C-LAB Report} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
@inproceedings{Krupp_Müller_2007, place={Prague, Czech Republic}, title={Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage}, booktitle={Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007)}, author={Krupp, Alexander and Müller, Wolfgang}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
@inproceedings{Großmann_Fey_Conrad_Wewetzer_Müller_2007, title={TestML - A Test Exchange Language for Model-based Testing of Embedded Software}, booktitle={Proceedings of the Automotive Software Workshop ’06}, author={Großmann, Jürgen and Fey, Ines and Conrad, M. and Wewetzer, Ch. and Müller, Wolfgang}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
@inproceedings{Müller_2007, place={San Diego, USA}, title={On the Use and Misuse of UML- Application of Diagrams in Engineering}, booktitle={Proceedings of the UML for SoC Design Workshop at DAC’07}, author={Müller, Wolfgang}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore}, title={Using Smart Cards for Secure and Device Independent User Interfaces}, booktitle={Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López, Andrés and Díaz-Sánchez, Daniel}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 38106
@inproceedings{Marin_Müller_Schäfer_Almenarez_Diaz_Ziegler_2007, place={White Plains, New York, USA}, title={Middleware for Secure Home Access and Control}, booktitle={Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007)}, publisher={IEEE}, author={Marin, Andres and Müller, Wolfgang and Schäfer, Robbie and Almenarez, Florina and Diaz, Daniel and Ziegler, Max}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 38100
@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore}, title={Device Independent User Interfaces for Smart Cards}, booktitle={Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López, Andrés and Díaz-Sánchez, Daniel}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 38104
@inproceedings{Schäfer_Müller_Deimann_Kleinjohann_2007, place={San Jose, USA}, title={A Low-Cost Positioning System for Location-Aware Applications in Smart Homes}, booktitle={Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007}, author={Schäfer, Robbie and Müller, Wolfgang and Deimann, Roman and Kleinjohann, Bernd}, year={2007} }
LibreCat
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
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
2005 | Conference Paper | LibreCat-ID: 39041
@inproceedings{Bleul_Schäfer_Müller_2005, place={Las Vegas, NV}, title={A Dialog Model for Multi Device Interfaces with Different Modalities}, booktitle={Proceedings of the HCI International 2005}, author={Bleul, Steffen and Schäfer, Robbie and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark }, title={Secure Profile Management in Smart Home Networks}, DOI={10.1109/DEXA.2005.171}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
@inproceedings{Groppe_Müller_2005, place={Copenhagen, Denmark }, title={Profile Management technology for Smart Customization in Private Home Applications}, DOI={10.1109/DEXA.2005.156}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Groppe, Jinghua and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}, editor={Fischer, Layna}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
@inproceedings{Schattkowsky_Müller_2004, place={Paris}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, booktitle={Proceedings of DATE’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
@inproceedings{Müller_Paelke_2004, place={Magdeburg}, title={A Formal Model of a Framework for Simulation-Based Animation}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Müller, Wolfgang and Paelke, Volker}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={10.1109/AINA.2004.1283977}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
@inproceedings{Gausemeier_Müller_Bauch_Radkowski_Shen_Paelke_2004, place={Magdeburg}, title={Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
@inproceedings{Schattkowsky_Müller_2004, place={WIen}, title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of ISORC’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
@inproceedings{Gausemeier_Müller_Paelke_Bauch_Shen_Radkowski_2004, place={Dubrovnik}, title={Virtual Prototyping Of Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of the Design 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
@inproceedings{Loeser_Schäfer_Müller_Borowski_2004, place={Orlando, USA}, title={RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}, booktitle={Proceedings of SCI’04}, author={Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and Borowski, Marek}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
@inproceedings{Bleul_Müller_Schäfer_2004, place={Gallipoli, Italy}, title={Multimodal Dialog Description for Mobile Devices}, booktitle={Proceedings of AVI 2004}, author={Bleul, Steffen and Müller, Wolfgang and Schäfer, Robbie}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg}, series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004}, collection={Lecture Notes in Computer Science } }
LibreCat
2004 | Book (Editor) | LibreCat-ID: 53585
@book{Müller_Martin_2004, place={San Diego CA, USA}, title={Proceedings of the 1st International DAC Workshop of UML for SoC Design}, year={2004} }
LibreCat
2004 | Patent | LibreCat-ID: 53589
@article{Dangberg_Müller_2004, title={Control method for disposing graphical elements}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2004} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={10.1007/0-306-48735-7_4}, booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x}, number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira, Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA}, title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich, Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks}, booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang, J. and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
@article{Eikerling_Müller_Wegener_2002, title={Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken}, journal={it+ti}, publisher={Oldenbourg Verlag}, author={Eikerling, H. J. and Müller, Wolfgang and Wegener, J.}, year={2002}, pages={128–136} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
@inproceedings{Schäfer_Dangberg_Müller_2002, place={Paderborn, Germany}, title={RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents}, booktitle={Proceedings of the VHE Workshop}, author={Schäfer, Robbie and Dangberg, Andreas and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39370
@inproceedings{Loeser_Altenbernd_Ditze_Müller_2002, title={Distributed Video-on-Demand Services on Peer to Peer Basis}, booktitle={Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)}, author={Loeser, Chris and Altenbernd, Peter and Ditze, Michael and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35}, author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
@inproceedings{Flake_Müller_2002, place={Dresden, Germany}, title={A UML Profile for Real-Time Constraints with the OCL}, booktitle={Proceedings of the UML 2002 - The Unified Modeling Language}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
@article{Dangelmeier_Darnedde_Flake_Müller_Pape_2002, place={Paderborn, Germany}, series={Tagungsband: 4. Paderborner Frühlingstagung}, title={Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen}, author={Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang and Pape, U.}, year={2002}, collection={Tagungsband: 4. Paderborner Frühlingstagung} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
@inproceedings{Plomp_Schäfer_Müller_2002, place={Montreal, Canada}, title={Comparing Transcoding Tools for Use with a Generic User Interface Format}, booktitle={Proceedings of the Extreme Markup Languages 2002}, author={Plomp, Johan and Schäfer, Robbie and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
| DOI