| SystemC: methodologies and applications W Müller, W Rosenstiel, J Ruf Springer Science & Business Media, 2003 | 204 | 2003 |
| The simulation semantics of SystemC W Mueller, J Ruf, D Hoffmann, J Gerlach, T Kropf, W Rosenstiehl Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001 | 158 | 2001 |
| An OCL extension for real-time constraints S Flake, W Mueller Object Modeling with the OCL: The Rationale behind the Object Constraint …, 2002 | 108 | 2002 |
| Hardware-dependent software W Ecker, W Müller, R Dömer Hardware-dependent Software, 1-13, 2009 | 107* | 2009 |
| UML for SoC design G Martin, W Müller Springer Science & Business Media, 2006 | 101 | 2006 |
| UML for electronic systems design: a comprehensive overview Y Vanderperren, W Mueller, W Dehaene Design automation for embedded systems 12, 261-292, 2008 | 88 | 2008 |
| Safety evaluation of automotive electronics using virtual prototypes: State of the art and research challenges JH Oetjens, N Bannow, M Becker, O Bringmann, A Burger, M Chaari, ... Proceedings of the 51st annual design automation conference, 1-6, 2014 | 76 | 2014 |
| U2B: a tool for translating UML-B models into B F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ... UML-B specification for proven embedded systems design, 85-108, 2004 | 73 | 2004 |
| Timing modeling and analysis for AUTOSAR-based software development-a case study K Klobedanz, C Kuznik, A Thuy, W Mueller 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 67 | 2010 |
| The semantics of behavioral VHDL'93 descriptions W Müller, E Börger, U Glässer Proceedings of the conference on European design automation, 500-505, 1994 | 66 | 1994 |
| Virtual prototyping of cyber-physical systems W Mueller, M Becker, A Elfeky, A DiPasquale 17th Asia and South Pacific design automation conference, 219-226, 2012 | 62 | 2012 |
| Interactive multimodal user interfaces for mobile devices W Mueller, R Schaefer, S Bleul 37th Annual Hawaii International Conference on System Sciences, 2004 …, 2004 | 59 | 2004 |
| Profile management technology for smart customizations in private home applications J Groppe, W Mueller 16th International Workshop on Database and Expert Systems Applications …, 2005 | 58 | 2005 |
| Formal semantics of static and temporal state-oriented OCL constraints S Flake, W Mueller Software & Systems Modeling 2, 164-186, 2003 | 53 | 2003 |
| Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems F Mischkalla, D He, W Mueller 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 52 | 2010 |
| A UML profile for real-time constraints with the OCL S Flake, W Mueller International Conference on the Unified Modeling Language, 179-195, 2002 | 50 | 2002 |
| UML for ESL design: basic principles, tools, and applications W Mueller, A Rosti, S Bocchio, E Riccobene, P Scandurra, W Dehaene, ... Proceedings of the 2006 IEEE/ACM international conference on Computer-aided …, 2006 | 48 | 2006 |
| Accurate RTOS modeling and analysis with SystemC H Zabel, W Müller, A Gerstlauer Hardware-dependent Software: Principles and Practice, 233-260, 2009 | 46 | 2009 |
| Structured English for Model Checking Specification. S Flake, W Müller, J Ruf MBMV, 99-108, 2000 | 46 | 2000 |
| The formal execution semantics of SpecC W Mueller, R Dömer, A Gerstlauer Proceedings of the 15th international symposium on system synthesis, 150-155, 2002 | 44 | 2002 |
