Prof. Dr. Wolfgang Mueller
Prof. Dr. Wolfgang Mueller
Paderborn University
Patvirtintas el. paštas
SystemC: methodologies and applications
W Müller, W Rosenstiel, J Ruf
Springer Science & Business Media, 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
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: The Rationale behind the Object Constraint …, 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, 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, ...
Proceedings of the 51st annual design automation conference, 1-6, 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
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
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
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
Formal semantics of static and temporal state-oriented OCL constraints
S Flake, W Mueller
Software & Systems Modeling 2, 164-186, 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
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
Accurate RTOS modeling and analysis with SystemC
H Zabel, W Müller, A Gerstlauer
Hardware-dependent Software: Principles and Practice, 233-260, 2009
Structured English for Model Checking Specification.
S Flake, W Müller, J Ruf
MBMV, 99-108, 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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20