| SystemC: methodologies and applications W Müller, W Rosenstiel, J Ruf Springer Science & Business, 2007 | 194 | 2007 |
| 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 | 150 | 2001 |
| UML for SoC design G Martin, W Müller Springer Science & Business Media, 2006 | 106 | 2006 |
| An OCL extension for real-time constraints S Flake, W Mueller Object Modeling with the OCL, 150-171, 2002 | 105 | 2002 |
| Hardware-dependent software W Ecker, W Müller, R Dömer Hardware-dependent Software, 1-13, 2009 | 95 | 2009 |
| UML for electronic systems design: a comprehensive overview Y Vanderperren, W Mueller, W Dehaene Design automation for embedded systems 12 (4), 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, ... 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2014 | 70 | 2014 |
| 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 | 63 | 1994 |
| 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 | 61 | 2010 |
| 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 | 56 | 2012 |
| Interactive multimodal user interfaces for mobile devices W Mueller, R Schaefer, S Bleul 37th Annual Hawaii International Conference on System Sciences, 2004 …, 2004 | 56 | 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 | 54 | 2005 |
| 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 |
| Formal semantics of static and temporal state-oriented OCL constraints S Flake, W Mueller Software & Systems Modeling 2 (3), 164-186, 2003 | 52 | 2003 |
| Accurate RTOS modeling and analysis with SystemC H Zabel, W Müller, A Gerstlauer Hardware-dependent Software, 233-260, 2009 | 46 | 2009 |
| A UML profile for real-time constraints with the OCL S Flake, W Mueller International Conference on the Unified Modeling Language, 179-195, 2002 | 46 | 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 | 44 | 2006 |
| 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 |
| Structured English for Model Checking Specification. S Flake, W Müller, J Ruf MBMV, 99-108, 2000 | 44 | 2000 |
| An ASM based SystemC simulation semantics W Müller, J Ruf, W Rosenstiel SystemC, 97-126, 2003 | 36 | 2003 |
