Prof. Dr. Wolfgang Mueller
Prof. Dr. Wolfgang Mueller
Paderborn University
Verified email at
Cited by
Cited by
SystemC: methodologies and applications
W Müller, W Rosenstiel, J Ruf
Springer Science & Business, 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
UML for SoC design
G Martin, W Müller
Springer Science & Business Media, 2006
An OCL extension for real-time constraints
S Flake, W Mueller
Object Modeling with the OCL, 150-171, 2002
Hardware-dependent software
W Ecker, W Müller, R Dömer
Hardware-dependent Software, 1-13, 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
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
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
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
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
Interactive multimodal user interfaces for mobile devices
W Mueller, R Schaefer, S Bleul
37th Annual Hawaii International Conference on System Sciences, 2004 …, 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
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
Formal semantics of static and temporal state-oriented OCL constraints
S Flake, W Mueller
Software & Systems Modeling 2 (3), 164-186, 2003
Accurate RTOS modeling and analysis with SystemC
H Zabel, W Müller, A Gerstlauer
Hardware-dependent Software, 233-260, 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
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
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
Structured English for Model Checking Specification.
S Flake, W Müller, J Ruf
MBMV, 99-108, 2000
An ASM based SystemC simulation semantics
W Müller, J Ruf, W Rosenstiel
SystemC, 97-126, 2003
The system can't perform the operation now. Try again later.
Articles 1–20