Wolfgang Müller

Schaltungstechnik (SCT) / Heinz Nixdorf Institut
wmueller@hni.uni-paderborn.de
ID
16243

282 Publications

Mark all

[282]
2025 | Conference Paper | LibreCat-ID: 58856
Hannemann, K. A., Bütün, H. B., Müller, W., & Scheytt, J. C. (2025). Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case Study. MBMV 2025 - 28. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen.
LibreCat
 
[281]
2025 | Conference Paper | LibreCat-ID: 58861
Luchterhandt, L., Govindasamy, V., Wang, Y., Dömer, R., Müller, W., & Scheytt, J. C. (2025). Case Study on Combining Open-Source Tool Flows for Grids of Processing Cells. OSSMPIC - Open Source Solutions for Massively Parallel Integrated Circuits.
LibreCat
 
[280]
2024 | Conference Paper | LibreCat-ID: 53579
Palomero Bernardo, P., Schmid, P., Bringmann, O., Iftekhar, M., Sadiye, B., Müller, W., Koch, A., Jentsch, E., Sauer, A., Feldner, I., & Ecker, W. (2024). A Scalable RISC-V Hardware Platform for Intelligent Sensor Processing. DATE 24 - Design Automation and Test in Europe.
LibreCat
 
[279]
2024 | Conference Paper | LibreCat-ID: 45778
Luchterhandt, L., Nellius, T., Beck, R., Dömer, R., Kneuper, P., Müller, W., & Sadiye, B. (2024). Implementation of Different Communication Structures for a Rocket Chip Based RISC-V Grid of Processing Cells. MBMV 2024 - 27. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“. MBMV 2023 - 26. Workshop, Freiburg, , Germany,  Freiburg.
LibreCat
 
[278]
2023 | Conference Paper | LibreCat-ID: 45776
Ecker, W., Krstic, M., Ulbricht, M., Mauderer, A., Jentzsch, E., Koch, A., Koppelmann, B., Müller, W., Sadiye, B., Bruns, N., Drechsler, R., Müller-Gritschneder, D., Schlamelcher, J., Grüttner, K., Bormann, J., Kunz, W., Heckmann, R., Angst, G., Wimmer, R., … Mayr, C. (2023). Scale4Edge – Scaling RISC-V for Edge Applications. RISC-V Summit Europe 2023, Barcelona, Spain, June 2023. RISC-V Summit Europe 2023, Barcelona, Spain, June 2023., Barcelona, Spain,.
LibreCat | Files available
 
[277]
2023 | Conference Paper | LibreCat-ID: 48530
Müller, W., Ulbricht, M., Li, L., & Krstic, M. (2023). Der TETRISC SoC - Ein resilientes Quad-Core System auf Pulpissimo-Basis. 5. ITG / GMM / GI -Workshop Testmethoden Und Zuverlässigkeit von Schaltungen Und Systemen . 5. ITG / GMM / GI -Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen , Erfurt. Germany.
LibreCat
 
[276]
2023 | Conference Abstract | LibreCat-ID: 48961
Iftekhar, M., Gowda, H., Kneuper, P., Sadiye, B., Müller, W., & Scheytt, C. (2023). A 28-Gb/s 27.2mW NRZ Full-Rate Bang-Bang Clock and Data Recovery in 22 nm FD-SOI CMOS Technology. 2023 IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium (BCICTS). 2023 IEEE BiCMOS und Compound Semiconductor Integrated Circuits and Technology Symposium (BCICTS), Monterey, CA, USA. https://doi.org/10.1109/BCICTS54660.2023.10310954
LibreCat | Files available | DOI
 
[275]
2023 | Conference Paper | LibreCat-ID: 45775
Luchterhandt, L., Nellius, T., Beck, R., Dömer, R., Kneuper, P., Müller, W., & Sadiye, B. (2023). Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture. MBMV 2023 - 26. Workshop "Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“, MBMV 2023, Freiburg. MBMV 2023, Freiburg, Freiburg.
LibreCat
 
[274]
2023 | Conference Abstract | LibreCat-ID: 47064
Iftekhar, M., Nagaraju, H., Kneuper, P., Sadiye, B., Müller, W., & Scheytt, J. C. (2023). A 28-Gb/s 27.2 mW NRZ Full-Rate Bang-Bang Clock and Data Recovery in 22 nm FD-SOI CMOS Technology . BCICTS 2023 IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium.
LibreCat | Files available
 
[273]
2022 | Conference Paper | LibreCat-ID: 29302
Ecker, W., Adelt, P., Müller, W., Heckmann, R., Krstic, M., Herdt, V., Drechsler, R., Angst, G., Wimmer, R., Mauderer, A., Stahl, R., Emrich, K., Mueller-Gritschneder, D., Becker, B., Scholl, P., Jentzsch, E., Schlamelcher, J., Grüttner, K., Bernardo, P. P., … Kunz, W. (2022). The Scale4Edge RISC-V Ecosystem. In Proceedings of the Design Automation and Test Conference and Exhibition (DATE 2022).
LibreCat
 
[272]
2021 | Conference Paper | LibreCat-ID: 32125
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2021). Register and Instruction Coverage Analysis for Different RISC-V ISA Modules. MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat | Files available
 
[271]
2021 | Conference Paper | LibreCat-ID: 32132
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2021). QEMU zur Simulation von Worst-Case-Ausführungszeiten. MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat
 
[270]
2021 | Conference Paper | LibreCat-ID: 23992
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2021). Register and Instruction Coverage Analysis for Different RISC-V ISA Modules. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2021).
LibreCat
 
[269]
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2020). A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat | Files available
 
[268]
2019 | Conference Paper | LibreCat-ID: 24058
Koppelmann, B., Adelt, P., Müller, W., & Scheytt, C. (2019). RISC-V Extensions for Bit Manipulation Instructions. 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2019.8862170
LibreCat | Files available | DOI
 
[267]
2019 | Conference Paper | LibreCat-ID: 24060
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2019). Analyse sicherheitskritischer Software für RISC-V Prozessoren. MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019).
LibreCat | Files available
 
[266]
2019 | Conference Paper | LibreCat-ID: 24061
Adelt, P., Koppelmann, B., Müller, W., Scheytt, C., & Driessen, B. (2019). QEMU for Dynamic Memory Analysis of Security Sensitive Software. 2nd International Workshop on Embedded Software for Industrial IoT in Conjunction with DATE 2019, 32–34.
LibreCat | Files available
 
[265]
2019 | Journal Article | LibreCat-ID: 24063
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2019). QEMU Support for RISC-V: Current State and Future Releases. 2nd International Workshop on RISC-V Research Activities, (Presentation).
LibreCat | Files available
 
[264]
2019 | Book (Editor) | LibreCat-ID: 53596
Bringmann, O., Ecker, W., Müller, W., & Müller-Gridschneder, D. (Eds.). (2019). Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT.
LibreCat
 
[263]
2018 | Journal Article | LibreCat-ID: 24194
Adelt, P., Koppelmann, B., & Müller, W. (2018). Current and Future RISC-V Activities for Virtual Prototyping and Chip Design. International Workshop on RISC-V Research Activities, Presentation.
LibreCat | Files available
 
[262]
2018 | Conference Paper | LibreCat-ID: 24196
Wu, L., Hussain, M. K., Abughannam, S., Müller, W., Scheytt, C., & Ecker, W. (2018). Analog fault simulation automation at schematic level with random sampling techniques. 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) . https://doi.org/10.1109/DTIS.2018.8368549
LibreCat | Files available | DOI
 
[261]
2018 | Book (Editor) | LibreCat-ID: 53595
Bringmann, O., Ecker, W., Müller, W., & Müller-Gridschneder, D. (Eds.). (2018). Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT.
LibreCat
 
[260]
2017 | Conference Paper | LibreCat-ID: 24220
Adelt, P., Koppelmann, B., Müller, W., Mueller-Gritschneder, D., Kleinjohann, B., & Scheytt, C. (2017). Automatisierte Fehlerinjektion zur Entwicklung sicherer Mikrocontrolleranwendungen auf der Basis virtueller Plattformen. Tagungsband des Wissenschaftsforums Intelligente Technische Systeme. https://doi.org/10.17619/UNIPB/1-93
LibreCat | Files available | DOI
 
[259]
2017 | Conference Paper | LibreCat-ID: 24223
Wu, L., Abughannam, S., Müller, W., Scheytt, C., & Ecker, W. (2017). SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study. 2nd Workshop on Resiliency in Embedded Electronic Systems (REES), 68.
LibreCat | Files available
 
[258]
2017 | Conference Paper | LibreCat-ID: 24224
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation.
LibreCat | Files available
 
[257]
2017 | Conference Paper | LibreCat-ID: 24225
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, C. (2017). An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries. 2nd Workshop on Resiliency in Embedded Electronic Systems (REES) , 44.
LibreCat | Files available
 
[256]
2017 | Conference Paper | LibreCat-ID: 25068
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, J. C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. In University Booth Interactive Presentation (Ed.), Design Automation and Testing in Europe (DATE).
LibreCat
 
[255]
2017 | Conference Paper | LibreCat-ID: 25069
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, J. C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. In University Booth Interactive Presentation (Ed.), Design Automation and Testing in Europe (DATE).
LibreCat
 
[254]
2016 | Conference Paper | LibreCat-ID: 24264
Adelt, P., Koppelmann, B., Müller, W., Becker, M., Kleinjohann, B., & Scheytt, C. (2016). Fast Dynamic Fault Injection for Virtual Microcontroller Platforms. Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC). https://doi.org/10.1109/VLSI-SoC.2016.7753545
LibreCat | Files available | DOI
 
[253]
2016 | Conference Paper | LibreCat-ID: 24263
Abughannam, S., Wu, L., Müller, W., Scheytt, C., Ecker, W., & Novello, C. (2016). Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study. Analog 2016 - VDE.
LibreCat | Files available
 
[252]
2015 | Conference Paper | LibreCat-ID: 24289
Müller, W., Wu, L., Scheytt, C., Becker, M., & Schoenberg, S. (2015). On the Correlation of HW Faults and SW Errors. In D. Mueller-Gritschneder, W. Müller, & S. Mitra (Eds.), Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014).
LibreCat
 
[251]
2015 | Book (Editor) | LibreCat-ID: 53590
Müller-Gridschneder, D., Müller, W., & Mitra, S. (Eds.). (2015). Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems.
LibreCat
 
[250]
2014 | Conference Paper | LibreCat-ID: 25145
Becker, M., Kuznik, C., & Müller, W. (2014). Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. 17th Euromicro Conference on Digital Systems Design (DSD).
LibreCat
 
[249]
2014 | Conference Paper | LibreCat-ID: 25155
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. ACM/IEEE 5th International Conference on Cyber-Physical Systems.
LibreCat
 
[248]
2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, B., Becker, M., & Müller, W. (2014). Portierung der TriCore-Architektur auf QEMU. 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) .
LibreCat
 
[247]
2014 | Conference Paper | LibreCat-ID: 24305
Mischkalla, F., & Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). https://doi.org/10.1109/SAMOS.2014.6893219
LibreCat | Files available | DOI
 
[246]
2014 | Journal Article | LibreCat-ID: 24302
Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., & Scheytt, C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification Conference (DVCON EUROPE).
LibreCat | Files available
 
[245]
2014 | Journal Article | LibreCat-ID: 24309
Kuznik, C., & Müller, W. (2014). Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat | Files available
 
[244]
2014 | Conference Paper | LibreCat-ID: 24311
Oetjens, J.-H., Becker, M., Kuznik, C., Müller, W., Bannow, N., Brinkmann, O., Burger, A., Chaari, M., Chakraborty, S., Drechsler, R., Ecker, W., Grüttner, K., Kruse, T., Le, H. M., Mauderer, M., Mueller-Gritschneider, D., Poppen, F., Post, H., Reiter, Se., … Viehl, A. (2014). Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. Design Automation Conference (DAC). https://doi.org/10.1145/2593069.2602976
LibreCat | Files available | DOI
 
[243]
2014 | Journal Article | LibreCat-ID: 25164
Becker, M., Müller, W., Stroop, J., & Kiffmeier, U. (2014). HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat
 
[242]
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, F., & Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Simulation. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV).
LibreCat
 
[241]
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2014). Source code annotated memory leak detection for soft real time embedded systems with resource constraints. 12th IEEE International Conference on Embedded Computing.
LibreCat
 
[240]
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla, F., & Müller, W. (2014). Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. PATMOS 2014.
LibreCat
 
[239]
2014 | Conference Paper | LibreCat-ID: 36918
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. https://doi.org/10.1109/ICCPS.2014.6843726
LibreCat | DOI
 
[238]
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, C., Müller, W., & Defo, G. B. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Proceedings of the Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
 
[237]
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, C., & Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.
LibreCat
 
[236]
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, C., Defo, B. G., & Müller, W. (2014). Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) .
LibreCat
 
[235]
2014 | Journal Article | LibreCat-ID: 25151
Kuznik, C., Defo, B. G., & Müller, W. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
 
[234]
2014 | Conference Paper | LibreCat-ID: 34585
Koppelmann, B., Messidat, B., Becker, M., Müller, W., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe (DVCON Europe).
LibreCat
 
[233]
2014 | Conference Paper | LibreCat-ID: 34583
Koppelmann, B., Messidat, B., Kuznik, C., Müller, W., Becker, M., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe (DVCON Europe).
LibreCat
 
[232]
2014 | Conference Paper | LibreCat-ID: 34580
Becker, M., Kuznik, C., Müller, W., Koppelmann, B., & Messidat, B. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe . DVCON Europe.
LibreCat
 
[231]
2014 | Journal Article | LibreCat-ID: 25117
Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification Conference (DVCON EUROPE).
LibreCat
 
[230]
2014 | Journal Article | LibreCat-ID: 25162
Kuznik, C., & Müller, W. (2014). Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. Design, Automation and Test in Europe DATE, University Booth, Dresden .
LibreCat
 
[229]
2014 | Conference Paper | LibreCat-ID: 25169
Oetjens, J.-H., Becker, M., Kuznik, C., & Müller, W. (2014). Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. Design Automation Conference (DAC).
LibreCat
 
[228]
2013 | Conference Paper | LibreCat-ID: 25270
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2013). Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model. Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,.
LibreCat
 
[227]
2013 | Conference Paper | LibreCat-ID: 25271
He, D., & Müller, W. (2013). AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. Proceedings of International Conference on Applied Computing (AC).
LibreCat
 
[226]
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, F., & Müller, W. (2013). Efficient Power Intent Validation Using Loosely-Timed Simulation Models. 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013.
LibreCat
 
[225]
2013 | Conference Paper | LibreCat-ID: 25291
Becker, M., Kiffmeier, U., & Müller, W. (2013). HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
LibreCat
 
[224]
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
 
[223]
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
LibreCat
 
[222]
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat
 
[221]
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
 
[220]
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
 
[219]
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
 
[218]
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
 
[217]
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future (pp. 187–356). Springer-Verlag.
LibreCat
 
[216]
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, F., & Müller, W. (2013). Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2013.6662171
LibreCat | DOI
 
[215]
2013 | Conference Paper | LibreCat-ID: 36920
He, D., & Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC).
LibreCat
 
[214]
2012 | Conference Paper | LibreCat-ID: 25744
Joy, M. tech. M. M., Becker, M., Mathews, E., & Müller, W. (2012). Automated Source Code Annotation for Timing Analysis of Embedded Software. In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012).
LibreCat
 
[213]
2012 | Conference Paper | LibreCat-ID: 25758
Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings .
LibreCat
 
[212]
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., & Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings.
LibreCat
 
[211]
2012 | Conference Paper | LibreCat-ID: 25767
He, D., & Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. 15th Euromicro Conference on Digital System Design (DSD).
LibreCat
 
[210]
2012 | Conference Paper | LibreCat-ID: 26022
Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
LibreCat | Download (ext.)
 
[209]
2012 | Conference Paper | LibreCat-ID: 26023
He, D., & Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012).
LibreCat
 
[208]
2012 | Conference Paper | LibreCat-ID: 26024
Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. EdaWorkshop 12.
LibreCat | Download (ext.)
 
[207]
2012 | Conference Paper | LibreCat-ID: 26031
He, D., & Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC).
LibreCat
 
[206]
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., & Esen, V. (2012). A SystemC Library for Advanced TLM Verification. Proceeding of Design and Verification Conference (DVCON).
LibreCat
 
[205]
2012 | Conference Paper | LibreCat-ID: 26079
Becker, M., Gnokam Defo, G. B., Müller, W., Fummi, F., Pravadelli, G., & Vinco, S. (2012). MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. Design, Automation and Test in Europe (DATE 2012).
LibreCat
 
[204]
2012 | Conference Paper | LibreCat-ID: 26080
Becker, M., Kuznik, C., Joy, M. tech. M., Xie, T., & Müller, W. (2012). XEMU: A QEMU Based Binary Mutation Testing Framework. Design, Automation and Test in Europe DATE.
LibreCat
 
[203]
2012 | Conference Paper | LibreCat-ID: 26092
Müller, W., Becker, M., Zabel, H., Elfeky, A., & DiPasquale, A. (2012). Virtual Prototyping of Cyber-Physical Systems. In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012.
LibreCat
 
[202]
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Y., Müller, W., He, D., Mischkalla, F., & Dahaene, W. (2012). Extending UML for Electronic Systems Design: A Code Generation Perspective. In G. Nicolescu, I. O’Connor, & C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems (1st Edition. Auflage, pp. 13–39). Springer Verlag.
LibreCat
 
[201]
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, C., Oliveira, M. F., & Müller, W. (2012). SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE.
LibreCat
 
[200]
2012 | Book (Editor) | LibreCat-ID: 53593
Müller, W., & Ecker, W. (Eds.). (2012). Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs .
LibreCat
 
[199]
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, K., Müller, W., & Rettberg, A. (2012). An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. https://doi.org/10.1109/ISORCW.2012.41
LibreCat | DOI
 
[198]
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Kuznik, C., Müller, W., Esen, V., & Ecker, W. (2012). Towards an Enhanced UVM for SystemC. Proceedings of the Design & Verification Conference (DVCon).
LibreCat
 
[197]
2012 | Conference Paper | LibreCat-ID: 36994
Xie, T., Müller, W., & Letombe, F. (2012). Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. Proceedings of SOCC2012. https://doi.org/10.1109/SOCC.2012.6398362
LibreCat | DOI
 
[196]
2012 | Conference Paper | LibreCat-ID: 36997
Xie, T., & Müller, W. (2012). An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. Proceedings of the MeCoES’12.
LibreCat
 
[195]
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, C., & Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011).
LibreCat
 
[194]
2011 | Conference Paper | LibreCat-ID: 26669
Xie, T., & Müller, W. (2011). IP-XACT based System Level Mutation Testing. Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT).
LibreCat
 
[193]
2011 | Conference Paper | LibreCat-ID: 26698
Xie, T., & Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of the 14th Euromicro Conference on Digital System Design (DSD).
LibreCat
 
[192]
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, C., & Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Jun. 2011 - 16th North American User Group Meeting (NASCUG).
LibreCat
 
[191]
2011 | Conference Paper | LibreCat-ID: 26710
Becker, M., Zabel, H., Müller, W., Elfeky, A., & DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294, 315–327.
LibreCat
 
[190]
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DATE2011.
LibreCat
 
[189]
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, K., König, A., Müller, W., & Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011.
LibreCat
 
[188]
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, C., & Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .
LibreCat
 
[187]
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, F., He, D., & Müller, W. (2011). A Retargetable SysML-based Front-End for High-Level Synthesis. Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED).
LibreCat
 
[186]
2011 | Conference Paper | LibreCat-ID: 26717
He, D., Mischkalla, F., & Müller, W. (2011). A SysML-based Framework with QEMU-SystemC Code Generation. Proceedings of 1st International QEMU Users Forum.
LibreCat
 
[185]
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, G. B., & Müller, W. (2011). Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat
 
[184]
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, C., & Müller, W. (2011). Native binary mutation analysis for embedded software and virtual prototypes in SystemC. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing.
LibreCat
 
[183]
2011 | Book (Editor) | LibreCat-ID: 53580
Müller, W., & Petrot, F. (Eds.). (2011). Proceedings of the 1st International QEMU Users’ Forum.
LibreCat
 
[182]
2011 | Conference Paper | LibreCat-ID: 37001
Becker, M., Zabel, H., Müller, W., & Elfeky, A. (2011). Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme.
LibreCat
 
[181]
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, C., & Müller, W. (2011). A SystemC Based Library for Functional Coverage. Proceedings of the Design and Verification Conference (DVCON 2011), San Jose, CA.
LibreCat
 
[180]
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. Proceedings of DATE’11. 2011 Design, Automation & Test in Europe, Grenoble, France. https://doi.org/10.1109/DATE.2011.5763022
LibreCat | DOI
 
[179]
2011 | Conference Paper | LibreCat-ID: 37002
Xie, T., Müller, W., & Letombe, F. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of Euromicro DSD 2011. https://doi.org/10.1109/DSD.2011.83
LibreCat | DOI
 
[178]
2011 | Conference Paper | LibreCat-ID: 36999
Becker, M., Zabel, H., Müller, W., & Elfeky, A. (2011). Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme.
LibreCat
 
[177]
2010 | Book (Editor) | LibreCat-ID: 53582
Gerard, S., Müller, W., Rioux, L., & Selic, B. (Eds.). (2010). Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design.
LibreCat
 
[176]
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat | DOI
 
[175]
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
LibreCat | DOI
 
[174]
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
LibreCat | DOI
 
[173]
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat | DOI
 
[172]
2010 | Conference Paper | LibreCat-ID: 37040
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat | DOI
 
[171]
2010 | Conference Paper | LibreCat-ID: 37046
Becker, M., Zabel, H., & Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_15
LibreCat | DOI
 
[170]
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., & Zhi, Y. (2010). Task Migration for Fault-Tolerant FlexRay Networks (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_7
LibreCat | DOI
 
[169]
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, F., Müller, W., & He, D. (2010). A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. Proceedings of the M-BED Workshop.
LibreCat
 
[168]
2010 | Conference Paper | LibreCat-ID: 37043
Bol, A., Müller, W., & Krupp, A. (2010). Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat
 
[167]
2010 | Conference Paper | LibreCat-ID: 37050
Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil, P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., & Carballeda, M. (2010). The SATURN Approach to SysML-based HW/SW Codesign. Proceedings of the IEEE Computer Society Annual Symposium on VLSI. https://doi.org/10.1007/978-94-007-1488-5_9
LibreCat | DOI
 
[166]
2010 | Conference Paper | LibreCat-ID: 37048
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat | DOI
 
[165]
2010 | Conference Paper | LibreCat-ID: 37049
Xie, T., Letombe, F., & Müller, W. (2010). Mutation-Analysis Directed Constrained Random Verification (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
LibreCat
 
[164]
2010 | Conference Paper | LibreCat-ID: 37051
Xie, T., Defo, G. B., & Müller, W. (2010). An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris.
LibreCat
 
[163]
2010 | Conference Paper | LibreCat-ID: 37057
Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
LibreCat | DOI
 
[162]
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, K., Defo, G. B., Müller, W., & Kerstan, T. (2010). Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES). https://doi.org/10.1109/SIES.2010.5551384
LibreCat | DOI
 
[161]
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
 
[160]
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, M. F. S., do Nascimento, F. A. M., & Müller, W. (2010). Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. Proceedings of MoMPES 2010.
LibreCat
 
[159]
2010 | Conference Paper | LibreCat-ID: 37039
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat | DOI
 
[158]
2010 | Conference Paper | LibreCat-ID: 37047
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat | DOI
 
[157]
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag. https://doi.org/10.1007/978-1-4020-9436-1_9
LibreCat | DOI
 
[156]
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, W., Müller, W., & Dömer, R. (2009). Hardware-dependent Software - Introduction and Overview. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 1–14). Springer Verlag. https://doi.org/10.1007/978-1-4020-9436-1_1
LibreCat | DOI
 
[155]
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, W., Müller, W., & Dömer, R. (Eds.). (2009). Hardware-dependent Software. Springer Netherlands. https://doi.org/10.1007/978-1-4020-9436-1
LibreCat | DOI
 
[154]
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
LibreCat | DOI
 
[153]
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
LibreCat | DOI
 
[152]
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, K., Kuznik, C., Elfeky, A., & Müller, W. (2009). Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. Proceedings of IESS09. https://doi.org/10.1007/978-3-642-04284-3_20
LibreCat | DOI
 
[151]
2009 | Conference Paper | LibreCat-ID: 37064
Becker, M., Zabel, H., & Müller, W. (2009). Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin.
LibreCat
 
[150]
2009 | Conference Paper | LibreCat-ID: 37061
Krupp, A., & Müller, W. (2009). Systematic Model-in-the-Loop Test of Embedded Control Systems. Proceedings of IESS09.
LibreCat
 
[149]
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R., Gerstlauer, A., & Müller, W. (2009). Hardware-dependent Software for Multi- and Many-Core Embedded Systems. Proceedings of ASP-DAC’09.
LibreCat
 
[148]
2009 | Book Chapter | LibreCat-ID: 33809
Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag.
LibreCat
 
[147]
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Y., Müller, W., & Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems, 12, 261–292. https://doi.org/10.1007/s10617-008-9028-9
LibreCat | DOI
 
[146]
2008 | Journal Article | LibreCat-ID: 34564
Schäfer, R., & Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces, 2(1), 25–41. https://doi.org/10.1007/s12193-008-0003-3
LibreCat | DOI
 
[145]
2008 | Book Chapter | LibreCat-ID: 33815
Großmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., & Müller, W. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In M. Broy, I. H. Krüger, & M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services (pp. 98–117). Springer Verlag. https://doi.org/10.1007/978-3-540-70930-5_7
LibreCat | DOI
 
[144]
2008 | Book (Editor) | LibreCat-ID: 53583
Müller, W., & Wolfe, J. (Eds.). (2008). Proceedings of the 5th International DAC Workshop of UML for SoC Design.
LibreCat
 
[143]
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe, J., & Müller, W. (Eds.). (2008). Proceedings of the 4th DAC Workshop on UML for SOC Design .
LibreCat
 
[142]
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, H., & Müller, W. (2008). An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration (L. Kleinjohann & B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. https://doi.org/10.1007/978-0-387-09661-2_18
LibreCat | DOI
 
[141]
2008 | Conference Paper | LibreCat-ID: 37072
Zabel, H., & Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In Ch. Scholl & S. Disch (Eds.), Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System. Shaker Verlag.
LibreCat
 
[140]
2007 | Conference Paper | LibreCat-ID: 37076
Zabel, H., & Müller, W. (2007). Simulation mit abstrakten RTOS Modellen in SystemC (Vol. 6, Issue 4).
LibreCat
 
[139]
2007 | Conference Paper | LibreCat-ID: 37083
Krupp, A., & Müller, W. (2007). Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007).
LibreCat
 
[138]
2007 | Conference Paper | LibreCat-ID: 37080
Großmann, J., Fey, I., Conrad, M., Wewetzer, Ch., & Müller, W. (2007). TestML - A Test Exchange Language for Model-based Testing of Embedded Software. Proceedings of the Automotive Software Workshop ’06.
LibreCat
 
[137]
2007 | Conference Paper | LibreCat-ID: 37079
Müller, W. (2007). On the Use and Misuse of UML- Application of Diagrams in Engineering. Proceedings of the UML for SoC Design Workshop at DAC’07.
LibreCat
 
[136]
2007 | Conference Paper | LibreCat-ID: 37085
Schäfer, R., Müller, W., Marin-López, A., & Díaz-Sánchez, D. (2007). Using Smart Cards for Secure and Device Independent User Interfaces. Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007).
LibreCat
 
[135]
2007 | Conference Paper | LibreCat-ID: 38106
Marin, A., Müller, W., Schäfer, R., Almenarez, F., Diaz, D., & Ziegler, M. (2007). Middleware for Secure Home Access and Control. Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007). 5th Conference on Pervasive Computing and Communications (PerCom 2007), White Plains, New York, USA.
LibreCat
 
[134]
2007 | Conference Paper | LibreCat-ID: 38100
Schäfer, R., Müller, W., Marin-López, A., & Díaz-Sánchez, D. (2007). Device Independent User Interfaces for Smart Cards. Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007).
LibreCat
 
[133]
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer, R., Müller, W., Deimann, R., & Kleinjohann, B. (2007). A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007.
LibreCat
 
[132]
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer, R., & Müller, W. (2007). Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal. Proceedings of IWUMUI’2007 at HCI’2007.
LibreCat
 
[131]
2006 | Conference Paper | LibreCat-ID: 38533
Müller, W., & Vanderperren, Y. (2006). UML and Model-Driven Development for SoC Design. Proceedings of CODES/ISSS.
LibreCat
 
[130]
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer, R., Müller, W., & Groppe, J. (2006). Profile Processing and Evolution for Smart Environments. Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06).
LibreCat
 
[129]
2006 | Conference Paper | LibreCat-ID: 38538
Müller, W., & Zabel, H. (2006). Towards a Unified Behavioural Modelling Language. Proceedings of the UML-SoC Workshop at DAC 2006.
LibreCat
 
[128]
2006 | Conference Paper | LibreCat-ID: 38536
Müller, W. (2006). UML - The Emerging Hardware Description Language? Proc. of FDL’06.
LibreCat
 
[127]
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno, L., & Müller, W. (2006). UML: A Next Generation Language for SoC Design.
LibreCat
 
[126]
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, R., Bleul, S., & Müller, W. (2006). Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). https://doi.org/10.1007/978-3-540-70816-2_4
LibreCat | DOI
 
[125]
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, A., & Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. Proceedings of the Design Automation & Test in Europe Conference. https://doi.org/10.1109/DATE.2006.243902
LibreCat | DOI
 
[124]
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer, R., Ziegler, M., & Müller, W. (2006). Securing Personal Data in Smart Home Environments. Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006).
LibreCat
 
[123]
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
LibreCat | DOI
 
[122]
2006 | Conference Paper | LibreCat-ID: 38109
Müller, W., Rosti, A., Bocchio, S., & Riccobene, E. (2006). UML for ESL Design - Basic Principles, Tools, and Applications. Proc. of ICCAD’06.
LibreCat
 
[121]
2006 | Conference Paper | LibreCat-ID: 38539
Lavagno, L., & Müller, W. (2006). UML: A Next Generation Language for SoC Design.
LibreCat
 
[120]
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). Model Based Specification for Platform Independent Hardware Execution. In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 63–88). Kluwer.
LibreCat
 
[119]
2005 | Book Chapter | LibreCat-ID: 33824
Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15). Kluwer.
LibreCat
 
[118]
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05. https://doi.org/10.1109/DATE.2005.20
LibreCat | DOI
 
[117]
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat
 
[116]
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
LibreCat | DOI
 
[115]
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, A., & Müller, W. (2005). Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.
LibreCat
 
[114]
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, A., & Müller, W. (2005). Modelchecking von Klassifikationsbaum-Testsequenzen.
LibreCat
 
[113]
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, H., & Müller, W. (2005). Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.
LibreCat
 
[112]
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, S., Schäfer, R., & Müller, W. (2005). A Dialog Model for Multi Device Interfaces with Different Modalities. Proceedings of the HCI International 2005.
LibreCat
 
[111]
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, M., Müller, W., Schäfer, R., & Loeser, C. (2005). Secure Profile Management in Smart Home Networks. Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.171
LibreCat | DOI
 
[110]
2005 | Conference Paper | LibreCat-ID: 39052
Groppe, J., & Müller, W. (2005). Profile Management technology for Smart Customization in Private Home Applications. Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.156
LibreCat | DOI
 
[109]
2005 | Book Chapter | LibreCat-ID: 33823
Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15). Kluwer.
LibreCat
 
[108]
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat | DOI
 
[107]
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
LibreCat
 
[106]
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.
LibreCat
 
[105]
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best of FDL’03 (pp. 301–314). Kluwer.
LibreCat
 
[104]
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 227–240). Kluwer.
LibreCat
 
[103]
2004 | Book (Editor) | LibreCat-ID: 53585
Müller, W., & Martin, G. (Eds.). (2004). Proceedings of the 1st International DAC Workshop of UML for SoC Design.
LibreCat
 
[102]
2004 | Patent | LibreCat-ID: 53589
Dangberg, A., & Müller, W. (2004). Control method for disposing graphical elements.
LibreCat
 
[101]
2004 | Conference Paper | LibreCat-ID: 39053
Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
LibreCat | DOI
 
[100]
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification and Design Languages, Lille, France.
LibreCat
 
[99]
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. Proceedings of DATE’04.
LibreCat
 
[98]
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat | DOI
 
[97]
2004 | Conference Paper | LibreCat-ID: 39063
Müller, W., & Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based Animation. Proceedings of the Simulation and Visualisation 2004.
LibreCat
 
[96]
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat | DOI
 
[95]
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat | DOI
 
[94]
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., & Paelke, V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. Proceedings of the Simulation and Visualisation 2004.
LibreCat
 
[93]
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, T., & Müller, W. (2004). Model-Based Design of Embedded Systems. Proceedings of ISORC’04.
LibreCat
 
[92]
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., & Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. Proceedings of the Design 2004. 8th International Design Conference , Dubrovnik.
LibreCat
 
[91]
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, C., Schäfer, R., Müller, W., & Borowski, M. (2004). RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. Proceedings of SCI’04.
LibreCat
 
[90]
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, S., Müller, W., & Schäfer, R. (2004). Multimodal Dialog Description for Mobile Devices. Proceedings of AVI 2004.
LibreCat
 
[89]
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.
LibreCat
 
[88]
2003 | Book Chapter | LibreCat-ID: 34446
Müller, W., Ruf, J., & Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, & W. Rosenstiel (Eds.), SystemC - Methodologies and Applications (pp. 97–126). Kluwer. https://doi.org/10.1007/0-306-48735-7_4
LibreCat | DOI
 
[87]
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat | DOI
 
[86]
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, T., Müller, W., Pawlak, A., & Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. Proceedings of CE 2003.
LibreCat
 
[85]
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, C., Müller, W., Berger, F., & Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. Proceedings of HICCS-36.
LibreCat
 
[84]
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, H.-J., Müller, W., Schattkowski, T., & Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. Proceedings of DATE’03.
LibreCat
 
[83]
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, R., & Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing.
LibreCat
 
[82]
2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
 
[81]
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. Proceedings of CCE’03.
LibreCat
 
[80]
2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
 
[79]
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering. Proceedings of CCE’03.
LibreCat
 
[78]
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat
 
[77]
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. Proceedings of FDL’03.
LibreCat
 
[76]
2003 | Conference Paper | LibreCat-ID: 39369
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
LibreCat
 
[75]
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat | DOI
 
[74]
2002 | Journal Article | LibreCat-ID: 34576
Eikerling, H. J., Müller, W., & Wegener, J. (2002). Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. It+ti, 128–136.
LibreCat
 
[73]
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, U., Eikerling, H. J., & Müller, W. (Eds.). (2002). Proceedings of the VHE Workshop.
LibreCat
 
[72]
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer, R., Dangberg, A., & Müller, W. (2002). RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. Proceedings of the VHE Workshop.
LibreCat
 
[71]
2002 | Conference Paper | LibreCat-ID: 39370
Loeser, C., Altenbernd, P., Ditze, M., & Müller, W. (2002). Distributed Video-on-Demand Services on Peer to Peer Basis. Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002).
LibreCat
 
[70]
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer, R., Müller, W., & Dangberg, A. (2002). Fuzzy Rules for the Transcoding of HTML Files. Proceedings of the HICSS-35.
LibreCat
 
[69]
2002 | Conference Paper | LibreCat-ID: 39398
Flake, S., & Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. Proceedings of the UML 2002 - The Unified Modeling Language.
LibreCat
 
[68]
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., & Pape, U. (2002). Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.
LibreCat
 
[67]
2002 | Conference Paper | LibreCat-ID: 39382
Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
LibreCat | DOI
 
[66]
2002 | Conference Paper | LibreCat-ID: 39387
Plomp, J., Schäfer, R., & Müller, W. (2002). Comparing Transcoding Tools for Use with a Generic User Interface Format. Proceedings of the Extreme Markup Languages 2002.
LibreCat
 
[65]
2002 | Conference Paper | LibreCat-ID: 39403
Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
LibreCat | DOI
 
[64]
2002 | Conference Paper | LibreCat-ID: 39402
Flake, S., & Müller, W. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten.
LibreCat
 
[63]
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat | DOI
 
[62]
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., & Warzee, X. (2001). Advanced Infrastructure for PAN-European Collaborative Engineering.
LibreCat
 
[61]
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat | DOI
 
[60]
2001 | Conference Paper | LibreCat-ID: 39427
Flake, S., Müller, W., Pape, U., & Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
LibreCat
 
[59]
2001 | Conference Paper | LibreCat-ID: 39432
Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
LibreCat | DOI
 
[58]
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, G., Müller, W., & Tellmann, R. (2001). Security Concepts for Agent-Based Systems. Proceedings of SCASE 01.
LibreCat
 
[57]
2001 | Conference Paper | LibreCat-ID: 39406
Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
LibreCat
 
[56]
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, A., & Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. Proceedings of ISI 2001.
LibreCat
 
[55]
2000 | Patent | LibreCat-ID: 53588
Dangberg, A., & Müller, W. (2000). Verfahren zur Steuerung der Anordnung von graphischen Elementen.
LibreCat
 
[54]
2000 | Conference Paper | LibreCat-ID: 39434
Flake, S., Müller, W., Pape, U., & Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat
 
[53]
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Flake, S., Müller, W., & Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat
 
[52]
2000 | Conference Paper | LibreCat-ID: 39461
Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat
 
[51]
2000 | Conference Paper | LibreCat-ID: 39435
Müller, W., Meyer, A., & Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[50]
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., & Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat
 
[49]
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., & Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat
 
[48]
2000 | Conference Paper | LibreCat-ID: 39464
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat
 
[47]
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat
 
[46]
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . https://doi.org/10.1109/HICSS.1999.773046
LibreCat | DOI
 
[45]
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat | DOI
 
[44]
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Flake, S., Geiger, C., Müller, W., Paelke, V., Reimann, C., Rosenbach, W., Zimmermann, D., & Zelder, S. (1999). Wissenbasierte Konzepte und visuelle interaktive Systeme. 23rd German Annual Symposium on Artificial Intelligence, Bonn.
LibreCat
 
[43]
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, A., & Müller, W. (1999). Generation of Interactive Visual Environments for Direct Manipulation of Database Content. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[42]
1999 | Conference Paper | LibreCat-ID: 39474
Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
LibreCat | DOI
 
[41]
1999 | Conference Paper | LibreCat-ID: 39477
Müller, W., & Ullmann, F. (1999). Scalable System for 3D Audio Raytracing. Proceedings IEEE International Conference on Multimedia Computing and Systems. https://doi.org/10.1109/MMCS.1999.778592
LibreCat | DOI
 
[40]
1998 | Journal Article | LibreCat-ID: 34578
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[39]
1998 | Book | LibreCat-ID: 23938
Müller, W., & Rammig, F.-J. (1998). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Vol. 36). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
 
[38]
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, W., & Rammig, F. J. (Eds.). (1998). Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
LibreCat
 
[37]
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Müller, W., & Rubart, J. (1998). VIPspace - A Visually Programmable Shared Workspace. Proceedings. 1998 IEEE Symposium on Visual Languages . 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada . https://doi.org/10.1109/VL.1998.706150
LibreCat | DOI
 
[36]
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, C., Lehrenfeld, G., & Müller, W. (1998). Authoring Communicating Agents in Virtual Environments. Proceedings of the Annual Conference for the Computer Human Interaction.
LibreCat
 
[35]
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
LibreCat | DOI
 
[34]
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, C., & Müller, W. (1998). Visuelle Spezifikation, Modellierung und Animation im Systementwurf.
LibreCat
 
[33]
1998 | Journal Article | LibreCat-ID: 34577
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[32]
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. Proceedings of the 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
LibreCat | DOI
 
[31]
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
LibreCat | DOI
 
[30]
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. https://doi.org/10.1109/ECBS.1997.581876
LibreCat | DOI
 
[29]
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., Joosten, M., Müller, W., & Buijs, F. (1996). Interaktiver Produktdatenaustausch mit EDIFACT.
LibreCat
 
[28]
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., & Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545262
LibreCat | DOI
 
[27]
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, M., Lehrenfeld, G., & Müller, W. (1996). Specification and Analysis of Concurrent Systems in a Complete Visual Environment. Proceedings of the 10th European Simulation Multiconference (ESM’96).
LibreCat
 
[26]
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., & Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545302
LibreCat | DOI
 
[25]
1995 | Book Chapter | LibreCat-ID: 34448
Börger, E., Glässer, U., & Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos & P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2237-9_5
LibreCat | DOI
 
[24]
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, G., Müller, W., & Wiechers, N. (1995). Conformance Tests of Very Large STEP Files. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[23]
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., Kaufmann, H. J., Kern, T., & Müller, W. (1995). Pen-based Interfaces for Engineering Environments. 6th Human-Computer Interaction International, Tokyo, Japan.
LibreCat
 
[22]
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages. https://doi.org/10.1109/VL.1995.520803
LibreCat | DOI
 
[21]
1995 | Conference Paper | LibreCat-ID: 39546
Müller, W., Lehrenfeld, G., & Wiechers, N. (1995). Validation of EXPRESS Models.
LibreCat
 
[20]
1995 | Conference Paper | LibreCat-ID: 39531
Müller, W., Felser, W., & Buijs, F. (1995). Guide to EXPRESS-P. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[19]
1995 | Conference Paper | LibreCat-ID: 39538
Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
LibreCat | DOI
 
[18]
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., & Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. Proceedings of the 5th EXPRESS User’s Group.
LibreCat
 
[17]
1995 | Conference Paper | LibreCat-ID: 39550
Müller, W., Felser, W., & Wiechers, N. (1995). The Process Modeling Language EXPRESS-P.
LibreCat
 
[16]
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
 
[15]
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
 
[14]
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[13]
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
 
[12]
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
 
[11]
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
 
[10]
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[9]
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
 
[8]
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
 
[7]
1993 | Conference Paper | LibreCat-ID: 39578
Müller, W., & Kleinjohann, B. (1993). Tight Integration and Synchronization of Distributed Graphical Applications. Proceedings of the Seventh Annual Database Symposium.
LibreCat
 
[6]
1993 | Conference Paper | LibreCat-ID: 39580
Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL Descriptions. Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications.
LibreCat
 
[5]
1993 | Conference Paper | LibreCat-ID: 39579
Müller, W., Lehrenfeld, G., & Wiechers, N. (1993). Parallel Validation of STEP Files. Proceedings of the 3nd EXPRESS User’s Group Conference.
LibreCat
 
[4]
1992 | Conference Paper | LibreCat-ID: 39582
Müller, W., & Kleinjohann, B. (1992). The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. Proceedings of the 2nd EXPRESS User’s Group Conference.
LibreCat
 
[3]
1991 | Conference Paper | LibreCat-ID: 39584
Müller, W. (1991). Contract-Oriented System Design and Specification. Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods.
LibreCat
 
[2]
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, G., & Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.
LibreCat
 
[1]
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, F. J., & Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. Proc. of the Ninth IFIP Symposium on CHDLs and Their Application.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

282 Publications

Mark all

[282]
2025 | Conference Paper | LibreCat-ID: 58856
Hannemann, K. A., Bütün, H. B., Müller, W., & Scheytt, J. C. (2025). Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case Study. MBMV 2025 - 28. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen.
LibreCat
 
[281]
2025 | Conference Paper | LibreCat-ID: 58861
Luchterhandt, L., Govindasamy, V., Wang, Y., Dömer, R., Müller, W., & Scheytt, J. C. (2025). Case Study on Combining Open-Source Tool Flows for Grids of Processing Cells. OSSMPIC - Open Source Solutions for Massively Parallel Integrated Circuits.
LibreCat
 
[280]
2024 | Conference Paper | LibreCat-ID: 53579
Palomero Bernardo, P., Schmid, P., Bringmann, O., Iftekhar, M., Sadiye, B., Müller, W., Koch, A., Jentsch, E., Sauer, A., Feldner, I., & Ecker, W. (2024). A Scalable RISC-V Hardware Platform for Intelligent Sensor Processing. DATE 24 - Design Automation and Test in Europe.
LibreCat
 
[279]
2024 | Conference Paper | LibreCat-ID: 45778
Luchterhandt, L., Nellius, T., Beck, R., Dömer, R., Kneuper, P., Müller, W., & Sadiye, B. (2024). Implementation of Different Communication Structures for a Rocket Chip Based RISC-V Grid of Processing Cells. MBMV 2024 - 27. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“. MBMV 2023 - 26. Workshop, Freiburg, , Germany,  Freiburg.
LibreCat
 
[278]
2023 | Conference Paper | LibreCat-ID: 45776
Ecker, W., Krstic, M., Ulbricht, M., Mauderer, A., Jentzsch, E., Koch, A., Koppelmann, B., Müller, W., Sadiye, B., Bruns, N., Drechsler, R., Müller-Gritschneder, D., Schlamelcher, J., Grüttner, K., Bormann, J., Kunz, W., Heckmann, R., Angst, G., Wimmer, R., … Mayr, C. (2023). Scale4Edge – Scaling RISC-V for Edge Applications. RISC-V Summit Europe 2023, Barcelona, Spain, June 2023. RISC-V Summit Europe 2023, Barcelona, Spain, June 2023., Barcelona, Spain,.
LibreCat | Files available
 
[277]
2023 | Conference Paper | LibreCat-ID: 48530
Müller, W., Ulbricht, M., Li, L., & Krstic, M. (2023). Der TETRISC SoC - Ein resilientes Quad-Core System auf Pulpissimo-Basis. 5. ITG / GMM / GI -Workshop Testmethoden Und Zuverlässigkeit von Schaltungen Und Systemen . 5. ITG / GMM / GI -Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen , Erfurt. Germany.
LibreCat
 
[276]
2023 | Conference Abstract | LibreCat-ID: 48961
Iftekhar, M., Gowda, H., Kneuper, P., Sadiye, B., Müller, W., & Scheytt, C. (2023). A 28-Gb/s 27.2mW NRZ Full-Rate Bang-Bang Clock and Data Recovery in 22 nm FD-SOI CMOS Technology. 2023 IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium (BCICTS). 2023 IEEE BiCMOS und Compound Semiconductor Integrated Circuits and Technology Symposium (BCICTS), Monterey, CA, USA. https://doi.org/10.1109/BCICTS54660.2023.10310954
LibreCat | Files available | DOI
 
[275]
2023 | Conference Paper | LibreCat-ID: 45775
Luchterhandt, L., Nellius, T., Beck, R., Dömer, R., Kneuper, P., Müller, W., & Sadiye, B. (2023). Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture. MBMV 2023 - 26. Workshop "Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“, MBMV 2023, Freiburg. MBMV 2023, Freiburg, Freiburg.
LibreCat
 
[274]
2023 | Conference Abstract | LibreCat-ID: 47064
Iftekhar, M., Nagaraju, H., Kneuper, P., Sadiye, B., Müller, W., & Scheytt, J. C. (2023). A 28-Gb/s 27.2 mW NRZ Full-Rate Bang-Bang Clock and Data Recovery in 22 nm FD-SOI CMOS Technology . BCICTS 2023 IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium.
LibreCat | Files available
 
[273]
2022 | Conference Paper | LibreCat-ID: 29302
Ecker, W., Adelt, P., Müller, W., Heckmann, R., Krstic, M., Herdt, V., Drechsler, R., Angst, G., Wimmer, R., Mauderer, A., Stahl, R., Emrich, K., Mueller-Gritschneder, D., Becker, B., Scholl, P., Jentzsch, E., Schlamelcher, J., Grüttner, K., Bernardo, P. P., … Kunz, W. (2022). The Scale4Edge RISC-V Ecosystem. In Proceedings of the Design Automation and Test Conference and Exhibition (DATE 2022).
LibreCat
 
[272]
2021 | Conference Paper | LibreCat-ID: 32125
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2021). Register and Instruction Coverage Analysis for Different RISC-V ISA Modules. MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat | Files available
 
[271]
2021 | Conference Paper | LibreCat-ID: 32132
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2021). QEMU zur Simulation von Worst-Case-Ausführungszeiten. MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat
 
[270]
2021 | Conference Paper | LibreCat-ID: 23992
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2021). Register and Instruction Coverage Analysis for Different RISC-V ISA Modules. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2021).
LibreCat
 
[269]
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2020). A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat | Files available
 
[268]
2019 | Conference Paper | LibreCat-ID: 24058
Koppelmann, B., Adelt, P., Müller, W., & Scheytt, C. (2019). RISC-V Extensions for Bit Manipulation Instructions. 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2019.8862170
LibreCat | Files available | DOI
 
[267]
2019 | Conference Paper | LibreCat-ID: 24060
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2019). Analyse sicherheitskritischer Software für RISC-V Prozessoren. MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019).
LibreCat | Files available
 
[266]
2019 | Conference Paper | LibreCat-ID: 24061
Adelt, P., Koppelmann, B., Müller, W., Scheytt, C., & Driessen, B. (2019). QEMU for Dynamic Memory Analysis of Security Sensitive Software. 2nd International Workshop on Embedded Software for Industrial IoT in Conjunction with DATE 2019, 32–34.
LibreCat | Files available
 
[265]
2019 | Journal Article | LibreCat-ID: 24063
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2019). QEMU Support for RISC-V: Current State and Future Releases. 2nd International Workshop on RISC-V Research Activities, (Presentation).
LibreCat | Files available
 
[264]
2019 | Book (Editor) | LibreCat-ID: 53596
Bringmann, O., Ecker, W., Müller, W., & Müller-Gridschneder, D. (Eds.). (2019). Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT.
LibreCat
 
[263]
2018 | Journal Article | LibreCat-ID: 24194
Adelt, P., Koppelmann, B., & Müller, W. (2018). Current and Future RISC-V Activities for Virtual Prototyping and Chip Design. International Workshop on RISC-V Research Activities, Presentation.
LibreCat | Files available
 
[262]
2018 | Conference Paper | LibreCat-ID: 24196
Wu, L., Hussain, M. K., Abughannam, S., Müller, W., Scheytt, C., & Ecker, W. (2018). Analog fault simulation automation at schematic level with random sampling techniques. 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) . https://doi.org/10.1109/DTIS.2018.8368549
LibreCat | Files available | DOI
 
[261]
2018 | Book (Editor) | LibreCat-ID: 53595
Bringmann, O., Ecker, W., Müller, W., & Müller-Gridschneder, D. (Eds.). (2018). Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT.
LibreCat
 
[260]
2017 | Conference Paper | LibreCat-ID: 24220
Adelt, P., Koppelmann, B., Müller, W., Mueller-Gritschneder, D., Kleinjohann, B., & Scheytt, C. (2017). Automatisierte Fehlerinjektion zur Entwicklung sicherer Mikrocontrolleranwendungen auf der Basis virtueller Plattformen. Tagungsband des Wissenschaftsforums Intelligente Technische Systeme. https://doi.org/10.17619/UNIPB/1-93
LibreCat | Files available | DOI
 
[259]
2017 | Conference Paper | LibreCat-ID: 24223
Wu, L., Abughannam, S., Müller, W., Scheytt, C., & Ecker, W. (2017). SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study. 2nd Workshop on Resiliency in Embedded Electronic Systems (REES), 68.
LibreCat | Files available
 
[258]
2017 | Conference Paper | LibreCat-ID: 24224
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation.
LibreCat | Files available
 
[257]
2017 | Conference Paper | LibreCat-ID: 24225
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, C. (2017). An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries. 2nd Workshop on Resiliency in Embedded Electronic Systems (REES) , 44.
LibreCat | Files available
 
[256]
2017 | Conference Paper | LibreCat-ID: 25068
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, J. C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. In University Booth Interactive Presentation (Ed.), Design Automation and Testing in Europe (DATE).
LibreCat
 
[255]
2017 | Conference Paper | LibreCat-ID: 25069
Adelt, P., Koppelmann, B., Müller, W., Kleinjohann, B., & Scheytt, J. C. (2017). ANALISA - A Tool for Static Instruction Set Analysis. In University Booth Interactive Presentation (Ed.), Design Automation and Testing in Europe (DATE).
LibreCat
 
[254]
2016 | Conference Paper | LibreCat-ID: 24264
Adelt, P., Koppelmann, B., Müller, W., Becker, M., Kleinjohann, B., & Scheytt, C. (2016). Fast Dynamic Fault Injection for Virtual Microcontroller Platforms. Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC). https://doi.org/10.1109/VLSI-SoC.2016.7753545
LibreCat | Files available | DOI
 
[253]
2016 | Conference Paper | LibreCat-ID: 24263
Abughannam, S., Wu, L., Müller, W., Scheytt, C., Ecker, W., & Novello, C. (2016). Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study. Analog 2016 - VDE.
LibreCat | Files available
 
[252]
2015 | Conference Paper | LibreCat-ID: 24289
Müller, W., Wu, L., Scheytt, C., Becker, M., & Schoenberg, S. (2015). On the Correlation of HW Faults and SW Errors. In D. Mueller-Gritschneder, W. Müller, & S. Mitra (Eds.), Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014).
LibreCat
 
[251]
2015 | Book (Editor) | LibreCat-ID: 53590
Müller-Gridschneder, D., Müller, W., & Mitra, S. (Eds.). (2015). Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems.
LibreCat
 
[250]
2014 | Conference Paper | LibreCat-ID: 25145
Becker, M., Kuznik, C., & Müller, W. (2014). Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. 17th Euromicro Conference on Digital Systems Design (DSD).
LibreCat
 
[249]
2014 | Conference Paper | LibreCat-ID: 25155
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. ACM/IEEE 5th International Conference on Cyber-Physical Systems.
LibreCat
 
[248]
2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, B., Becker, M., & Müller, W. (2014). Portierung der TriCore-Architektur auf QEMU. 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) .
LibreCat
 
[247]
2014 | Conference Paper | LibreCat-ID: 24305
Mischkalla, F., & Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). https://doi.org/10.1109/SAMOS.2014.6893219
LibreCat | Files available | DOI
 
[246]
2014 | Journal Article | LibreCat-ID: 24302
Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., & Scheytt, C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification Conference (DVCON EUROPE).
LibreCat | Files available
 
[245]
2014 | Journal Article | LibreCat-ID: 24309
Kuznik, C., & Müller, W. (2014). Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat | Files available
 
[244]
2014 | Conference Paper | LibreCat-ID: 24311
Oetjens, J.-H., Becker, M., Kuznik, C., Müller, W., Bannow, N., Brinkmann, O., Burger, A., Chaari, M., Chakraborty, S., Drechsler, R., Ecker, W., Grüttner, K., Kruse, T., Le, H. M., Mauderer, M., Mueller-Gritschneider, D., Poppen, F., Post, H., Reiter, Se., … Viehl, A. (2014). Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. Design Automation Conference (DAC). https://doi.org/10.1145/2593069.2602976
LibreCat | Files available | DOI
 
[243]
2014 | Journal Article | LibreCat-ID: 25164
Becker, M., Müller, W., Stroop, J., & Kiffmeier, U. (2014). HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat
 
[242]
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, F., & Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Simulation. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV).
LibreCat
 
[241]
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2014). Source code annotated memory leak detection for soft real time embedded systems with resource constraints. 12th IEEE International Conference on Embedded Computing.
LibreCat
 
[240]
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla, F., & Müller, W. (2014). Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. PATMOS 2014.
LibreCat
 
[239]
2014 | Conference Paper | LibreCat-ID: 36918
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. https://doi.org/10.1109/ICCPS.2014.6843726
LibreCat | DOI
 
[238]
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, C., Müller, W., & Defo, G. B. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Proceedings of the Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
 
[237]
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, C., & Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.
LibreCat
 
[236]
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, C., Defo, B. G., & Müller, W. (2014). Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) .
LibreCat
 
[235]
2014 | Journal Article | LibreCat-ID: 25151
Kuznik, C., Defo, B. G., & Müller, W. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
 
[234]
2014 | Conference Paper | LibreCat-ID: 34585
Koppelmann, B., Messidat, B., Becker, M., Müller, W., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe (DVCON Europe).
LibreCat
 
[233]
2014 | Conference Paper | LibreCat-ID: 34583
Koppelmann, B., Messidat, B., Kuznik, C., Müller, W., Becker, M., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe (DVCON Europe).
LibreCat
 
[232]
2014 | Conference Paper | LibreCat-ID: 34580
Becker, M., Kuznik, C., Müller, W., Koppelmann, B., & Messidat, B. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe . DVCON Europe.
LibreCat
 
[231]
2014 | Journal Article | LibreCat-ID: 25117
Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification Conference (DVCON EUROPE).
LibreCat
 
[230]
2014 | Journal Article | LibreCat-ID: 25162
Kuznik, C., & Müller, W. (2014). Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. Design, Automation and Test in Europe DATE, University Booth, Dresden .
LibreCat
 
[229]
2014 | Conference Paper | LibreCat-ID: 25169
Oetjens, J.-H., Becker, M., Kuznik, C., & Müller, W. (2014). Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. Design Automation Conference (DAC).
LibreCat
 
[228]
2013 | Conference Paper | LibreCat-ID: 25270
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2013). Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model. Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,.
LibreCat
 
[227]
2013 | Conference Paper | LibreCat-ID: 25271
He, D., & Müller, W. (2013). AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. Proceedings of International Conference on Applied Computing (AC).
LibreCat
 
[226]
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, F., & Müller, W. (2013). Efficient Power Intent Validation Using Loosely-Timed Simulation Models. 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013.
LibreCat
 
[225]
2013 | Conference Paper | LibreCat-ID: 25291
Becker, M., Kiffmeier, U., & Müller, W. (2013). HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
LibreCat
 
[224]
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
 
[223]
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
LibreCat
 
[222]
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat
 
[221]
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
 
[220]
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
 
[219]
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
 
[218]
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
 
[217]
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future (pp. 187–356). Springer-Verlag.
LibreCat
 
[216]
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, F., & Müller, W. (2013). Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2013.6662171
LibreCat | DOI
 
[215]
2013 | Conference Paper | LibreCat-ID: 36920
He, D., & Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC).
LibreCat
 
[214]
2012 | Conference Paper | LibreCat-ID: 25744
Joy, M. tech. M. M., Becker, M., Mathews, E., & Müller, W. (2012). Automated Source Code Annotation for Timing Analysis of Embedded Software. In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012).
LibreCat
 
[213]
2012 | Conference Paper | LibreCat-ID: 25758
Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings .
LibreCat
 
[212]
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., & Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings.
LibreCat
 
[211]
2012 | Conference Paper | LibreCat-ID: 25767
He, D., & Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. 15th Euromicro Conference on Digital System Design (DSD).
LibreCat
 
[210]
2012 | Conference Paper | LibreCat-ID: 26022
Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
LibreCat | Download (ext.)
 
[209]
2012 | Conference Paper | LibreCat-ID: 26023
He, D., & Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012).
LibreCat
 
[208]
2012 | Conference Paper | LibreCat-ID: 26024
Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. EdaWorkshop 12.
LibreCat | Download (ext.)
 
[207]
2012 | Conference Paper | LibreCat-ID: 26031
He, D., & Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC).
LibreCat
 
[206]
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., & Esen, V. (2012). A SystemC Library for Advanced TLM Verification. Proceeding of Design and Verification Conference (DVCON).
LibreCat
 
[205]
2012 | Conference Paper | LibreCat-ID: 26079
Becker, M., Gnokam Defo, G. B., Müller, W., Fummi, F., Pravadelli, G., & Vinco, S. (2012). MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. Design, Automation and Test in Europe (DATE 2012).
LibreCat
 
[204]
2012 | Conference Paper | LibreCat-ID: 26080
Becker, M., Kuznik, C., Joy, M. tech. M., Xie, T., & Müller, W. (2012). XEMU: A QEMU Based Binary Mutation Testing Framework. Design, Automation and Test in Europe DATE.
LibreCat
 
[203]
2012 | Conference Paper | LibreCat-ID: 26092
Müller, W., Becker, M., Zabel, H., Elfeky, A., & DiPasquale, A. (2012). Virtual Prototyping of Cyber-Physical Systems. In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012.
LibreCat
 
[202]
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Y., Müller, W., He, D., Mischkalla, F., & Dahaene, W. (2012). Extending UML for Electronic Systems Design: A Code Generation Perspective. In G. Nicolescu, I. O’Connor, & C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems (1st Edition. Auflage, pp. 13–39). Springer Verlag.
LibreCat
 
[201]
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, C., Oliveira, M. F., & Müller, W. (2012). SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE.
LibreCat
 
[200]
2012 | Book (Editor) | LibreCat-ID: 53593
Müller, W., & Ecker, W. (Eds.). (2012). Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs .
LibreCat
 
[199]
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, K., Müller, W., & Rettberg, A. (2012). An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. https://doi.org/10.1109/ISORCW.2012.41
LibreCat | DOI
 
[198]
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Kuznik, C., Müller, W., Esen, V., & Ecker, W. (2012). Towards an Enhanced UVM for SystemC. Proceedings of the Design & Verification Conference (DVCon).
LibreCat
 
[197]
2012 | Conference Paper | LibreCat-ID: 36994
Xie, T., Müller, W., & Letombe, F. (2012). Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. Proceedings of SOCC2012. https://doi.org/10.1109/SOCC.2012.6398362
LibreCat | DOI
 
[196]
2012 | Conference Paper | LibreCat-ID: 36997
Xie, T., & Müller, W. (2012). An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. Proceedings of the MeCoES’12.
LibreCat
 
[195]
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, C., & Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011).
LibreCat
 
[194]
2011 | Conference Paper | LibreCat-ID: 26669
Xie, T., & Müller, W. (2011). IP-XACT based System Level Mutation Testing. Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT).
LibreCat
 
[193]
2011 | Conference Paper | LibreCat-ID: 26698
Xie, T., & Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of the 14th Euromicro Conference on Digital System Design (DSD).
LibreCat
 
[192]
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, C., & Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Jun. 2011 - 16th North American User Group Meeting (NASCUG).
LibreCat
 
[191]
2011 | Conference Paper | LibreCat-ID: 26710
Becker, M., Zabel, H., Müller, W., Elfeky, A., & DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294, 315–327.
LibreCat
 
[190]
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DATE2011.
LibreCat
 
[189]
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, K., König, A., Müller, W., & Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011.
LibreCat
 
[188]
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, C., & Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .
LibreCat
 
[187]
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, F., He, D., & Müller, W. (2011). A Retargetable SysML-based Front-End for High-Level Synthesis. Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED).
LibreCat
 
[186]
2011 | Conference Paper | LibreCat-ID: 26717
He, D., Mischkalla, F., & Müller, W. (2011). A SysML-based Framework with QEMU-SystemC Code Generation. Proceedings of 1st International QEMU Users Forum.
LibreCat
 
[185]
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, G. B., & Müller, W. (2011). Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat
 
[184]
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, C., & Müller, W. (2011). Native binary mutation analysis for embedded software and virtual prototypes in SystemC. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing.
LibreCat
 
[183]
2011 | Book (Editor) | LibreCat-ID: 53580
Müller, W., & Petrot, F. (Eds.). (2011). Proceedings of the 1st International QEMU Users’ Forum.
LibreCat
 
[182]
2011 | Conference Paper | LibreCat-ID: 37001
Becker, M., Zabel, H., Müller, W., & Elfeky, A. (2011). Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme.
LibreCat
 
[181]
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, C., & Müller, W. (2011). A SystemC Based Library for Functional Coverage. Proceedings of the Design and Verification Conference (DVCON 2011), San Jose, CA.
LibreCat
 
[180]
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. Proceedings of DATE’11. 2011 Design, Automation & Test in Europe, Grenoble, France. https://doi.org/10.1109/DATE.2011.5763022
LibreCat | DOI
 
[179]
2011 | Conference Paper | LibreCat-ID: 37002
Xie, T., Müller, W., & Letombe, F. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of Euromicro DSD 2011. https://doi.org/10.1109/DSD.2011.83
LibreCat | DOI
 
[178]
2011 | Conference Paper | LibreCat-ID: 36999
Becker, M., Zabel, H., Müller, W., & Elfeky, A. (2011). Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme.
LibreCat
 
[177]
2010 | Book (Editor) | LibreCat-ID: 53582
Gerard, S., Müller, W., Rioux, L., & Selic, B. (Eds.). (2010). Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design.
LibreCat
 
[176]
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat | DOI
 
[175]
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
LibreCat | DOI
 
[174]
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
LibreCat | DOI
 
[173]
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat | DOI
 
[172]
2010 | Conference Paper | LibreCat-ID: 37040
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat | DOI
 
[171]
2010 | Conference Paper | LibreCat-ID: 37046
Becker, M., Zabel, H., & Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_15
LibreCat | DOI
 
[170]
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., & Zhi, Y. (2010). Task Migration for Fault-Tolerant FlexRay Networks (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_7
LibreCat | DOI
 
[169]
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, F., Müller, W., & He, D. (2010). A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. Proceedings of the M-BED Workshop.
LibreCat
 
[168]
2010 | Conference Paper | LibreCat-ID: 37043
Bol, A., Müller, W., & Krupp, A. (2010). Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat
 
[167]
2010 | Conference Paper | LibreCat-ID: 37050
Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil, P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., & Carballeda, M. (2010). The SATURN Approach to SysML-based HW/SW Codesign. Proceedings of the IEEE Computer Society Annual Symposium on VLSI. https://doi.org/10.1007/978-94-007-1488-5_9
LibreCat | DOI
 
[166]
2010 | Conference Paper | LibreCat-ID: 37048
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat | DOI
 
[165]
2010 | Conference Paper | LibreCat-ID: 37049
Xie, T., Letombe, F., & Müller, W. (2010). Mutation-Analysis Directed Constrained Random Verification (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
LibreCat
 
[164]
2010 | Conference Paper | LibreCat-ID: 37051
Xie, T., Defo, G. B., & Müller, W. (2010). An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris.
LibreCat
 
[163]
2010 | Conference Paper | LibreCat-ID: 37057
Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
LibreCat | DOI
 
[162]
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, K., Defo, G. B., Müller, W., & Kerstan, T. (2010). Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES). https://doi.org/10.1109/SIES.2010.5551384
LibreCat | DOI
 
[161]
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
 
[160]
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, M. F. S., do Nascimento, F. A. M., & Müller, W. (2010). Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. Proceedings of MoMPES 2010.
LibreCat
 
[159]
2010 | Conference Paper | LibreCat-ID: 37039
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat | DOI
 
[158]
2010 | Conference Paper | LibreCat-ID: 37047
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat | DOI
 
[157]
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag. https://doi.org/10.1007/978-1-4020-9436-1_9
LibreCat | DOI
 
[156]
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, W., Müller, W., & Dömer, R. (2009). Hardware-dependent Software - Introduction and Overview. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 1–14). Springer Verlag. https://doi.org/10.1007/978-1-4020-9436-1_1
LibreCat | DOI
 
[155]
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, W., Müller, W., & Dömer, R. (Eds.). (2009). Hardware-dependent Software. Springer Netherlands. https://doi.org/10.1007/978-1-4020-9436-1
LibreCat | DOI
 
[154]
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
LibreCat | DOI
 
[153]
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
LibreCat | DOI
 
[152]
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, K., Kuznik, C., Elfeky, A., & Müller, W. (2009). Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. Proceedings of IESS09. https://doi.org/10.1007/978-3-642-04284-3_20
LibreCat | DOI
 
[151]
2009 | Conference Paper | LibreCat-ID: 37064
Becker, M., Zabel, H., & Müller, W. (2009). Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin.
LibreCat
 
[150]
2009 | Conference Paper | LibreCat-ID: 37061
Krupp, A., & Müller, W. (2009). Systematic Model-in-the-Loop Test of Embedded Control Systems. Proceedings of IESS09.
LibreCat
 
[149]
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R., Gerstlauer, A., & Müller, W. (2009). Hardware-dependent Software for Multi- and Many-Core Embedded Systems. Proceedings of ASP-DAC’09.
LibreCat
 
[148]
2009 | Book Chapter | LibreCat-ID: 33809
Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag.
LibreCat
 
[147]
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Y., Müller, W., & Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems, 12, 261–292. https://doi.org/10.1007/s10617-008-9028-9
LibreCat | DOI
 
[146]
2008 | Journal Article | LibreCat-ID: 34564
Schäfer, R., & Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces, 2(1), 25–41. https://doi.org/10.1007/s12193-008-0003-3
LibreCat | DOI
 
[145]
2008 | Book Chapter | LibreCat-ID: 33815
Großmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., & Müller, W. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In M. Broy, I. H. Krüger, & M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services (pp. 98–117). Springer Verlag. https://doi.org/10.1007/978-3-540-70930-5_7
LibreCat | DOI
 
[144]
2008 | Book (Editor) | LibreCat-ID: 53583
Müller, W., & Wolfe, J. (Eds.). (2008). Proceedings of the 5th International DAC Workshop of UML for SoC Design.
LibreCat
 
[143]
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe, J., & Müller, W. (Eds.). (2008). Proceedings of the 4th DAC Workshop on UML for SOC Design .
LibreCat
 
[142]
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, H., & Müller, W. (2008). An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration (L. Kleinjohann & B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. https://doi.org/10.1007/978-0-387-09661-2_18
LibreCat | DOI
 
[141]
2008 | Conference Paper | LibreCat-ID: 37072
Zabel, H., & Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In Ch. Scholl & S. Disch (Eds.), Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System. Shaker Verlag.
LibreCat
 
[140]
2007 | Conference Paper | LibreCat-ID: 37076
Zabel, H., & Müller, W. (2007). Simulation mit abstrakten RTOS Modellen in SystemC (Vol. 6, Issue 4).
LibreCat
 
[139]
2007 | Conference Paper | LibreCat-ID: 37083
Krupp, A., & Müller, W. (2007). Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007).
LibreCat
 
[138]
2007 | Conference Paper | LibreCat-ID: 37080
Großmann, J., Fey, I., Conrad, M., Wewetzer, Ch., & Müller, W. (2007). TestML - A Test Exchange Language for Model-based Testing of Embedded Software. Proceedings of the Automotive Software Workshop ’06.
LibreCat
 
[137]
2007 | Conference Paper | LibreCat-ID: 37079
Müller, W. (2007). On the Use and Misuse of UML- Application of Diagrams in Engineering. Proceedings of the UML for SoC Design Workshop at DAC’07.
LibreCat
 
[136]
2007 | Conference Paper | LibreCat-ID: 37085
Schäfer, R., Müller, W., Marin-López, A., & Díaz-Sánchez, D. (2007). Using Smart Cards for Secure and Device Independent User Interfaces. Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007).
LibreCat
 
[135]
2007 | Conference Paper | LibreCat-ID: 38106
Marin, A., Müller, W., Schäfer, R., Almenarez, F., Diaz, D., & Ziegler, M. (2007). Middleware for Secure Home Access and Control. Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007). 5th Conference on Pervasive Computing and Communications (PerCom 2007), White Plains, New York, USA.
LibreCat
 
[134]
2007 | Conference Paper | LibreCat-ID: 38100
Schäfer, R., Müller, W., Marin-López, A., & Díaz-Sánchez, D. (2007). Device Independent User Interfaces for Smart Cards. Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007).
LibreCat
 
[133]
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer, R., Müller, W., Deimann, R., & Kleinjohann, B. (2007). A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007.
LibreCat
 
[132]
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer, R., & Müller, W. (2007). Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal. Proceedings of IWUMUI’2007 at HCI’2007.
LibreCat
 
[131]
2006 | Conference Paper | LibreCat-ID: 38533
Müller, W., & Vanderperren, Y. (2006). UML and Model-Driven Development for SoC Design. Proceedings of CODES/ISSS.
LibreCat
 
[130]
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer, R., Müller, W., & Groppe, J. (2006). Profile Processing and Evolution for Smart Environments. Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06).
LibreCat
 
[129]
2006 | Conference Paper | LibreCat-ID: 38538
Müller, W., & Zabel, H. (2006). Towards a Unified Behavioural Modelling Language. Proceedings of the UML-SoC Workshop at DAC 2006.
LibreCat
 
[128]
2006 | Conference Paper | LibreCat-ID: 38536
Müller, W. (2006). UML - The Emerging Hardware Description Language? Proc. of FDL’06.
LibreCat
 
[127]
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno, L., & Müller, W. (2006). UML: A Next Generation Language for SoC Design.
LibreCat
 
[126]
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, R., Bleul, S., & Müller, W. (2006). Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). https://doi.org/10.1007/978-3-540-70816-2_4
LibreCat | DOI
 
[125]
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, A., & Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. Proceedings of the Design Automation & Test in Europe Conference. https://doi.org/10.1109/DATE.2006.243902
LibreCat | DOI
 
[124]
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer, R., Ziegler, M., & Müller, W. (2006). Securing Personal Data in Smart Home Environments. Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006).
LibreCat
 
[123]
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
LibreCat | DOI
 
[122]
2006 | Conference Paper | LibreCat-ID: 38109
Müller, W., Rosti, A., Bocchio, S., & Riccobene, E. (2006). UML for ESL Design - Basic Principles, Tools, and Applications. Proc. of ICCAD’06.
LibreCat
 
[121]
2006 | Conference Paper | LibreCat-ID: 38539
Lavagno, L., & Müller, W. (2006). UML: A Next Generation Language for SoC Design.
LibreCat
 
[120]
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). Model Based Specification for Platform Independent Hardware Execution. In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 63–88). Kluwer.
LibreCat
 
[119]
2005 | Book Chapter | LibreCat-ID: 33824
Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15). Kluwer.
LibreCat
 
[118]
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05. https://doi.org/10.1109/DATE.2005.20
LibreCat | DOI
 
[117]
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat
 
[116]
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
LibreCat | DOI
 
[115]
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, A., & Müller, W. (2005). Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.
LibreCat
 
[114]
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, A., & Müller, W. (2005). Modelchecking von Klassifikationsbaum-Testsequenzen.
LibreCat
 
[113]
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, H., & Müller, W. (2005). Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.
LibreCat
 
[112]
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, S., Schäfer, R., & Müller, W. (2005). A Dialog Model for Multi Device Interfaces with Different Modalities. Proceedings of the HCI International 2005.
LibreCat
 
[111]
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, M., Müller, W., Schäfer, R., & Loeser, C. (2005). Secure Profile Management in Smart Home Networks. Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.171
LibreCat | DOI
 
[110]
2005 | Conference Paper | LibreCat-ID: 39052
Groppe, J., & Müller, W. (2005). Profile Management technology for Smart Customization in Private Home Applications. Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.156
LibreCat | DOI
 
[109]
2005 | Book Chapter | LibreCat-ID: 33823
Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15). Kluwer.
LibreCat
 
[108]
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat | DOI
 
[107]
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
LibreCat
 
[106]
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.
LibreCat
 
[105]
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best of FDL’03 (pp. 301–314). Kluwer.
LibreCat
 
[104]
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 227–240). Kluwer.
LibreCat
 
[103]
2004 | Book (Editor) | LibreCat-ID: 53585
Müller, W., & Martin, G. (Eds.). (2004). Proceedings of the 1st International DAC Workshop of UML for SoC Design.
LibreCat
 
[102]
2004 | Patent | LibreCat-ID: 53589
Dangberg, A., & Müller, W. (2004). Control method for disposing graphical elements.
LibreCat
 
[101]
2004 | Conference Paper | LibreCat-ID: 39053
Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
LibreCat | DOI
 
[100]
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification and Design Languages, Lille, France.
LibreCat
 
[99]
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. Proceedings of DATE’04.
LibreCat
 
[98]
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat | DOI
 
[97]
2004 | Conference Paper | LibreCat-ID: 39063
Müller, W., & Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based Animation. Proceedings of the Simulation and Visualisation 2004.
LibreCat
 
[96]
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat | DOI
 
[95]
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat | DOI
 
[94]
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., & Paelke, V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. Proceedings of the Simulation and Visualisation 2004.
LibreCat
 
[93]
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, T., & Müller, W. (2004). Model-Based Design of Embedded Systems. Proceedings of ISORC’04.
LibreCat
 
[92]
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., & Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. Proceedings of the Design 2004. 8th International Design Conference , Dubrovnik.
LibreCat
 
[91]
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, C., Schäfer, R., Müller, W., & Borowski, M. (2004). RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. Proceedings of SCI’04.
LibreCat
 
[90]
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, S., Müller, W., & Schäfer, R. (2004). Multimodal Dialog Description for Mobile Devices. Proceedings of AVI 2004.
LibreCat
 
[89]
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.
LibreCat
 
[88]
2003 | Book Chapter | LibreCat-ID: 34446
Müller, W., Ruf, J., & Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, & W. Rosenstiel (Eds.), SystemC - Methodologies and Applications (pp. 97–126). Kluwer. https://doi.org/10.1007/0-306-48735-7_4
LibreCat | DOI
 
[87]
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat | DOI
 
[86]
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, T., Müller, W., Pawlak, A., & Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. Proceedings of CE 2003.
LibreCat
 
[85]
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, C., Müller, W., Berger, F., & Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. Proceedings of HICCS-36.
LibreCat
 
[84]
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, H.-J., Müller, W., Schattkowski, T., & Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. Proceedings of DATE’03.
LibreCat
 
[83]
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, R., & Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing.
LibreCat
 
[82]
2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
 
[81]
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. Proceedings of CCE’03.
LibreCat
 
[80]
2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
 
[79]
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering. Proceedings of CCE’03.
LibreCat
 
[78]
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat
 
[77]
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. Proceedings of FDL’03.
LibreCat
 
[76]
2003 | Conference Paper | LibreCat-ID: 39369
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
LibreCat
 
[75]
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat | DOI
 
[74]
2002 | Journal Article | LibreCat-ID: 34576
Eikerling, H. J., Müller, W., & Wegener, J. (2002). Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. It+ti, 128–136.
LibreCat
 
[73]
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, U., Eikerling, H. J., & Müller, W. (Eds.). (2002). Proceedings of the VHE Workshop.
LibreCat
 
[72]
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer, R., Dangberg, A., & Müller, W. (2002). RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. Proceedings of the VHE Workshop.
LibreCat
 
[71]
2002 | Conference Paper | LibreCat-ID: 39370
Loeser, C., Altenbernd, P., Ditze, M., & Müller, W. (2002). Distributed Video-on-Demand Services on Peer to Peer Basis. Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002).
LibreCat
 
[70]
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer, R., Müller, W., & Dangberg, A. (2002). Fuzzy Rules for the Transcoding of HTML Files. Proceedings of the HICSS-35.
LibreCat
 
[69]
2002 | Conference Paper | LibreCat-ID: 39398
Flake, S., & Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. Proceedings of the UML 2002 - The Unified Modeling Language.
LibreCat
 
[68]
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., & Pape, U. (2002). Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.
LibreCat
 
[67]
2002 | Conference Paper | LibreCat-ID: 39382
Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
LibreCat | DOI
 
[66]
2002 | Conference Paper | LibreCat-ID: 39387
Plomp, J., Schäfer, R., & Müller, W. (2002). Comparing Transcoding Tools for Use with a Generic User Interface Format. Proceedings of the Extreme Markup Languages 2002.
LibreCat
 
[65]
2002 | Conference Paper | LibreCat-ID: 39403
Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
LibreCat | DOI
 
[64]
2002 | Conference Paper | LibreCat-ID: 39402
Flake, S., & Müller, W. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten.
LibreCat
 
[63]
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat | DOI
 
[62]
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., & Warzee, X. (2001). Advanced Infrastructure for PAN-European Collaborative Engineering.
LibreCat
 
[61]
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat | DOI
 
[60]
2001 | Conference Paper | LibreCat-ID: 39427
Flake, S., Müller, W., Pape, U., & Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
LibreCat
 
[59]
2001 | Conference Paper | LibreCat-ID: 39432
Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
LibreCat | DOI
 
[58]
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, G., Müller, W., & Tellmann, R. (2001). Security Concepts for Agent-Based Systems. Proceedings of SCASE 01.
LibreCat
 
[57]
2001 | Conference Paper | LibreCat-ID: 39406
Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
LibreCat
 
[56]
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, A., & Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. Proceedings of ISI 2001.
LibreCat
 
[55]
2000 | Patent | LibreCat-ID: 53588
Dangberg, A., & Müller, W. (2000). Verfahren zur Steuerung der Anordnung von graphischen Elementen.
LibreCat
 
[54]
2000 | Conference Paper | LibreCat-ID: 39434
Flake, S., Müller, W., Pape, U., & Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat
 
[53]
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Flake, S., Müller, W., & Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat
 
[52]
2000 | Conference Paper | LibreCat-ID: 39461
Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat
 
[51]
2000 | Conference Paper | LibreCat-ID: 39435
Müller, W., Meyer, A., & Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[50]
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., & Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat
 
[49]
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., & Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat
 
[48]
2000 | Conference Paper | LibreCat-ID: 39464
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat
 
[47]
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat
 
[46]
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . https://doi.org/10.1109/HICSS.1999.773046
LibreCat | DOI
 
[45]
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat | DOI
 
[44]
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Flake, S., Geiger, C., Müller, W., Paelke, V., Reimann, C., Rosenbach, W., Zimmermann, D., & Zelder, S. (1999). Wissenbasierte Konzepte und visuelle interaktive Systeme. 23rd German Annual Symposium on Artificial Intelligence, Bonn.
LibreCat
 
[43]
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, A., & Müller, W. (1999). Generation of Interactive Visual Environments for Direct Manipulation of Database Content. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[42]
1999 | Conference Paper | LibreCat-ID: 39474
Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
LibreCat | DOI
 
[41]
1999 | Conference Paper | LibreCat-ID: 39477
Müller, W., & Ullmann, F. (1999). Scalable System for 3D Audio Raytracing. Proceedings IEEE International Conference on Multimedia Computing and Systems. https://doi.org/10.1109/MMCS.1999.778592
LibreCat | DOI
 
[40]
1998 | Journal Article | LibreCat-ID: 34578
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[39]
1998 | Book | LibreCat-ID: 23938
Müller, W., & Rammig, F.-J. (1998). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Vol. 36). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
 
[38]
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, W., & Rammig, F. J. (Eds.). (1998). Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
LibreCat
 
[37]
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Müller, W., & Rubart, J. (1998). VIPspace - A Visually Programmable Shared Workspace. Proceedings. 1998 IEEE Symposium on Visual Languages . 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada . https://doi.org/10.1109/VL.1998.706150
LibreCat | DOI
 
[36]
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, C., Lehrenfeld, G., & Müller, W. (1998). Authoring Communicating Agents in Virtual Environments. Proceedings of the Annual Conference for the Computer Human Interaction.
LibreCat
 
[35]
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
LibreCat | DOI
 
[34]
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, C., & Müller, W. (1998). Visuelle Spezifikation, Modellierung und Animation im Systementwurf.
LibreCat
 
[33]
1998 | Journal Article | LibreCat-ID: 34577
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[32]
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. Proceedings of the 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
LibreCat | DOI
 
[31]
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
LibreCat | DOI
 
[30]
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. https://doi.org/10.1109/ECBS.1997.581876
LibreCat | DOI
 
[29]
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., Joosten, M., Müller, W., & Buijs, F. (1996). Interaktiver Produktdatenaustausch mit EDIFACT.
LibreCat
 
[28]
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., & Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545262
LibreCat | DOI
 
[27]
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, M., Lehrenfeld, G., & Müller, W. (1996). Specification and Analysis of Concurrent Systems in a Complete Visual Environment. Proceedings of the 10th European Simulation Multiconference (ESM’96).
LibreCat
 
[26]
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., & Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545302
LibreCat | DOI
 
[25]
1995 | Book Chapter | LibreCat-ID: 34448
Börger, E., Glässer, U., & Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos & P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2237-9_5
LibreCat | DOI
 
[24]
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, G., Müller, W., & Wiechers, N. (1995). Conformance Tests of Very Large STEP Files. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[23]
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., Kaufmann, H. J., Kern, T., & Müller, W. (1995). Pen-based Interfaces for Engineering Environments. 6th Human-Computer Interaction International, Tokyo, Japan.
LibreCat
 
[22]
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages. https://doi.org/10.1109/VL.1995.520803
LibreCat | DOI
 
[21]
1995 | Conference Paper | LibreCat-ID: 39546
Müller, W., Lehrenfeld, G., & Wiechers, N. (1995). Validation of EXPRESS Models.
LibreCat
 
[20]
1995 | Conference Paper | LibreCat-ID: 39531
Müller, W., Felser, W., & Buijs, F. (1995). Guide to EXPRESS-P. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[19]
1995 | Conference Paper | LibreCat-ID: 39538
Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
LibreCat | DOI
 
[18]
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., & Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. Proceedings of the 5th EXPRESS User’s Group.
LibreCat
 
[17]
1995 | Conference Paper | LibreCat-ID: 39550
Müller, W., Felser, W., & Wiechers, N. (1995). The Process Modeling Language EXPRESS-P.
LibreCat
 
[16]
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
 
[15]
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
 
[14]
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[13]
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
 
[12]
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
 
[11]
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
 
[10]
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[9]
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
 
[8]
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
 
[7]
1993 | Conference Paper | LibreCat-ID: 39578
Müller, W., & Kleinjohann, B. (1993). Tight Integration and Synchronization of Distributed Graphical Applications. Proceedings of the Seventh Annual Database Symposium.
LibreCat
 
[6]
1993 | Conference Paper | LibreCat-ID: 39580
Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL Descriptions. Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications.
LibreCat
 
[5]
1993 | Conference Paper | LibreCat-ID: 39579
Müller, W., Lehrenfeld, G., & Wiechers, N. (1993). Parallel Validation of STEP Files. Proceedings of the 3nd EXPRESS User’s Group Conference.
LibreCat
 
[4]
1992 | Conference Paper | LibreCat-ID: 39582
Müller, W., & Kleinjohann, B. (1992). The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. Proceedings of the 2nd EXPRESS User’s Group Conference.
LibreCat
 
[3]
1991 | Conference Paper | LibreCat-ID: 39584
Müller, W. (1991). Contract-Oriented System Design and Specification. Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods.
LibreCat
 
[2]
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, G., & Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.
LibreCat
 
[1]
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, F. J., & Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. Proc. of the Ninth IFIP Symposium on CHDLs and Their Application.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed