264 Publications
2024 | Conference Paper | LibreCat-ID: 45778
Luchterhandt, Lars, Tom Nellius, Robert Beck, Rainer Dömer, Pascal Kneuper, Wolfgang Müller, and Babak Sadiye. “Implementation of Different Communication Structures for a Rocket Chip Based RISC-V Grid of Processing Cells.” In MBMV 2024 - 27. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“. VDE Verlag, 2024.
LibreCat
| Files available
2024 | Conference Paper | LibreCat-ID: 53579
Palomero Bernardo, Paul, Patrick Schmid, Oliver Bringmann, Mohammed Iftekhar, Babak Sadiye, Wolfgang Müller, Andreas Koch, et al. “A Scalable RISC-V Hardware Platform for Intelligent Sensor Processing.” In DATE 24 - Design Automation and Test in Europe, 2024.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45775
Luchterhandt, Lars, Tom Nellius, Robert Beck, Rainer Dömer, Pascal Kneuper, Wolfgang Müller, and Babak Sadiye. “Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture.” In MBMV 2023 - 26. Workshop "Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“, MBMV 2023, Freiburg. VDE Verlag, 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 45776
Ecker, Wolfgang, Milos Krstic, Markus Ulbricht, Andreas Mauderer, Eyck Jentzsch, Andreas Koch, Bastian Koppelmann, et al. “Scale4Edge – Scaling RISC-V for Edge Applications.” In RISC-V Summit Europe 2023, Barcelona, Spain, June 2023., 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 48530
Müller, Wolfgang, Markus Ulbricht, Lu Li, and Milos Krstic. “Der TETRISC SoC - Ein Resilientes Quad-Core System Auf Pulpissimo-Basis.” In 5. ITG / GMM / GI -Workshop Testmethoden Und Zuverlässigkeit von Schaltungen Und Systemen , 2023.
LibreCat
2023 | Conference Abstract | LibreCat-ID: 48961
Iftekhar, Mohammed, Harshan Gowda, Pascal Kneuper, Babak Sadiye, Wolfgang Müller, and Christoph Scheytt. “A 28-Gb/s 27.2mW NRZ Full-Rate Bang-Bang Clock and Data Recovery in 22 Nm FD-SOI CMOS Technology.” In 2023 IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium (BCICTS), 2023. https://doi.org/10.1109/BCICTS54660.2023.10310954.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 29302
Ecker, Wolfgang, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, et al. “The Scale4Edge RISC-V Ecosystem.” In In Proceedings of the Design Automation and Test Conference and Exhibition (DATE 2022), 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 32125
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Register and Instruction Coverage Analysis for Different RISC-V ISA Modules.” In MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. Munich, DE: VDE, 2021.
LibreCat
| Files available
2021 | Conference Paper | LibreCat-ID: 32132
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “QEMU zur Simulation von Worst-Case-Ausführungszeiten.” In MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. Munich, DE: VDE, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23992
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Register and Instruction Coverage Analysis for Different RISC-V ISA Modules.” In Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2021), 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures.” In MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. Stuttgart, DE, 2020.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24058
Koppelmann, Bastian, Peer Adelt, Wolfgang Müller, and Christoph Scheytt. “RISC-V Extensions for Bit Manipulation Instructions.” In 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). Rhodos, Griechenland, 2019. https://doi.org/10.1109/PATMOS.2019.8862170.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 24060
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Analyse Sicherheitskritischer Software Für RISC-V Prozessoren.” In MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019). Kaiserslautern, DE, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24061
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Christoph Scheytt, and Benedikt Driessen. “QEMU for Dynamic Memory Analysis of Security Sensitive Software.” In 2nd International Workshop on Embedded Software for Industrial IoT in Conjunction with DATE 2019, 32–34. Florence, Italy, 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 24063
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “QEMU Support for RISC-V: Current State and Future Releases.” 2nd International Workshop on RISC-V Research Activities (Presentation) (2019).
LibreCat
| Files available
2019 | Book (Editor) | LibreCat-ID: 53596
Bringmann, Oliver, Wolfgang Ecker, Wolfgang Müller, and Daniel Müller-Gridschneder, eds. Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT. Florence, Italy, 2019.
LibreCat
2018 | Journal Article | LibreCat-ID: 24194
Adelt, Peer, Bastian Koppelmann, and Wolfgang Müller. “Current and Future RISC-V Activities for Virtual Prototyping and Chip Design.” International Workshop on RISC-V Research Activities Presentation (2018).
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 24196
Wu, Liang, Mohammad Khizer Hussain, Saed Abughannam, Wolfgang Müller, Christoph Scheytt, and Wolfgang Ecker. “Analog Fault Simulation Automation at Schematic Level with Random Sampling Techniques.” In 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) . Italy/Taormina: IEEE, 2018. https://doi.org/10.1109/DTIS.2018.8368549.
LibreCat
| Files available
| DOI
2018 | Book (Editor) | LibreCat-ID: 53595
Bringmann, Oliver, Wolfgang Ecker, Wolfgang Müller, and Daniel Müller-Gridschneder, eds. Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT. Dresden, Germany, 2018.
LibreCat
2017 | Conference Paper | LibreCat-ID: 24220
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Daniel Mueller-Gritschneder, Bernd Kleinjohann, and Christoph Scheytt. “Automatisierte Fehlerinjektion zur Entwicklung sicherer Mikrocontrolleranwendungen auf der Basis virtueller Plattformen.” In Tagungsband des Wissenschaftsforums Intelligente Technische Systeme. Germany, Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2017. https://doi.org/10.17619/UNIPB/1-93.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 24223
Wu, Liang, Saed Abughannam, Wolfgang Müller, Christoph Scheytt, and Wolfgang Ecker. “SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study.” In 2nd Workshop on Resiliency in Embedded Electronic Systems (REES), 68. Lausanne, Switzerland, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 24224
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Bernd Kleinjohann, and Christoph Scheytt. “ANALISA - A Tool for Static Instruction Set Analysis.” In Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation. Lausanne, CH, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 24225
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Bernd Kleinjohann, and Christoph Scheytt. “An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries.” In 2nd Workshop on Resiliency in Embedded Electronic Systems (REES) , 44. Lausanne, Switzerland, 2017.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 24264
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Markus Becker, Bernd Kleinjohann, and Christoph Scheytt. “Fast Dynamic Fault Injection for Virtual Microcontroller Platforms.” In Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC). Tallin, Estonia, 2016. https://doi.org/10.1109/VLSI-SoC.2016.7753545.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 24263
Abughannam, Saed, Liang Wu, Wolfgang Müller, Christoph Scheytt, Wolfgang Ecker, and Christiano Novello. “Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study.” In Analog 2016 - VDE, 2016.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 24289
Müller, Wolfgang, Liang Wu, Christoph Scheytt, Markus Becker, and Sven Schoenberg. “On the Correlation of HW Faults and SW Errors.” In Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014), edited by Daniel Mueller-Gritschneder, Wolfgang Müller, and Subhasish Mitra. Amsterdam, Netherland, 2015.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 53590
Müller-Gridschneder, Daniel, Wolfgang Müller, and Subhasish Mitra, eds. Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems. Amsterdam, Netherlands, 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” In 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” In ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, Bastian, Markus Becker, and Wolfgang Müller. “Portierung Der TriCore-Architektur Auf QEMU.” In 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 24305
Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation.” In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). Greece: IEEE, 2014. https://doi.org/10.1109/SAMOS.2014.6893219.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 24302
Koppelmann, Bastian, Bernd Messidat, Markus Becker, Christoph Kuznik, Wolfgang Müller, and Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” Design and Verification Conference (DVCON EUROPE), 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 24309
Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 24311
Oetjens, Jan-Hendrik, Markus Becker, Christoph Kuznik, Wolfgang Müller, Nico Bannow, Oliver Brinkmann, Andreas Burger, et al. “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.” In Design Automation Conference (DAC), 2014. https://doi.org/10.1145/2593069.2602976.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Simulation.” In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). IEEE, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” In 12th IEEE International Conference on Embedded Computing, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” In PATMOS 2014. Palma de Mallorca, Spain, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” San Francisco, USA, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” In 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” In 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” Electronic System Level Synthesis Conference (ESLSyn), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 34585
Koppelmann, Bastian, Bernd Messidat, Markus Becker, Wolfgang Müller, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” In Proceedings of the Design and Verification Conference Europe (DVCON Europe). München, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich Kiffmeier. “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model.” In Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,. Linköping University Electronic Press, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
He, Da, and Wolfgang Müller. “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS.” In Proceedings of International Conference on Applied Computing (AC), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, Fabian, and Wolfgang Müller. “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models.” In 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
Becker, Markus, Ulrich Kiffmeier, and Wolfgang Müller. “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures.” In 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SystemC Verification Components - An Enhanced OVM/UVM for SystemC.” In EdaWorkshop 13, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.” In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SC OVM: An Advanced SystemC Library for OVM-Based Verification.” In Open SANITAS SystemC Verification Workshop, 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, Gregor, Christian Gerth, Lisa Kleinjohann, Bernd Kleinjohann, and Wolfgang Müller. “ Informationstechnik spart Ressourcen.” ForschungsForum Paderborn , 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, Christoph, Marcio F. Oliveira, Bertrand Defo, and Wolfgang Müller. “Systematic Application of UCIS to Improve the Automation on Verification Closure.” In Proceedings of DVCON, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, Kay, Jan Jatzkowski, Achim Rettberg, and Wolfgang Müller. “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks.” In International Embedded Systems Symposium (IESS) 2013. Springer, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, Da, and Wolfgang Müller. “ A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 2013, 845–57.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, Harald, Michael Dellnitz, Kathrin Flaßkamp, Stefan Grösbrink, Philip Hartmann, Christian Heinzemann, Christian Horenkamp, et al. “Methods for the Design and Development.” In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, 187–356. Heidelberg: Springer-Verlag, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. https://doi.org/10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” In Proceedings of the International Conference on Applied Computing (AC), edited by Hans Weghorn. Fort Worth, Texas, USA, 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
Joy, M. tech. Mabel Mary, Markus Becker, Emi Mathews, and Wolfgang Müller. “Automated Source Code Annotation for Timing Analysis of Embedded Software.” In In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012). IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker, Markus, Daniel Baldin, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software.” In EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings , 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The System Verification Methodology for Advanced TLM Verification.” In CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” In 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” In Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” In EdaWorkshop 12, 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26031
He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems.” In 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker, Markus, Gilles Bertrand Gnokam Defo, Wolfgang Müller, F. Fummi, G. Pravadelli, and Sara Vinco. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” In Design, Automation and Test in Europe (DATE 2012). Dresden, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker, Markus, Christoph Kuznik, M. tech. Mabel Joy, Tao Xie, and Wolfgang Müller. “XEMU: A QEMU Based Binary Mutation Testing Framework.” In Design, Automation and Test in Europe DATE. University Booth, Dresden, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller, Wolfgang, Markus Becker, Henning Zabel, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping of Cyber-Physical Systems.” In In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. Sydney, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Yves, Wolfgang Müller, Da He, Fabian Mischkalla, and Wim Dahaene. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” In Design Technology for Heterogeneous Embedded Systems, edited by Gabriela Nicolescu, Ian O’Connor, and Christian Piguet, 1st Edition. Auflage., 13–39. Springer Verlag, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. https://doi.org/10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Christoph Kuznik, Wolfgang Müller, V. Esen, and W. Ecker. “Towards an Enhanced UVM for SystemC.” In Proceedings of the Design & Verification Conference (DVCon). San Jose, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” In Proceedings of SOCC2012. Niagara Falls, NY, USA : IEEE, 2012. https://doi.org/10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” In Proceedings of the MeCoES’12. Tampere, Finnland, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, Christoph, Marcio F. Oliveira, and Wolfgang Müller. “SYSTEMC UVM VERIFICATION COMPONENTS.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2012 | Book (Editor) | LibreCat-ID: 53593
Müller, Wolfgang, and Wolfgang Ecker, eds. Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs . Tampere, Finland, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” In Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” In Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, Markus, Henning Zabel, Wolfgang Müller, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme Eine Fallstudie.” In 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294:315–27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, A. König, and Wolfgang Müller. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” In Proceedings of Design, Automation, Test Europe - DATE2011. Grenoble, France: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, A. König, Wolfgang Müller, and Achim Rettberg. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” In Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011. Newport Beach, California, USA: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In Proceedings of DVCON , 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, Da He, and Wolfgang Müller. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” In Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, Da, Fabian Mischkalla, and Wolfgang Müller. “A SysML-Based Framework with QEMU-SystemC Code Generation.” In Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37001
Becker, Markus, Henning Zabel, Wolfgang Müller, and Ahmed Elfeky. “Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie.” Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, Christoph, and Wolfgang Müller. “A SystemC Based Library for Functional Coverage,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, Kay, Andreas König, and Wolfgang Müller. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” In Proceedings of DATE’11. Grenoble, France: IEEE, 2011. https://doi.org/10.1109/DATE.2011.5763022.
LibreCat
| DOI
2011 | Book (Editor) | LibreCat-ID: 53580
Müller, Wolfgang, and Frederic Petrot, eds. Proceedings of the 1st International QEMU Users’ Forum, 2011.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” In Proceedings of the M-BED Workshop. Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” In Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering, 2010. https://doi.org/10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In Proceedings of SIES 2010. Trento, Italien, 2010. https://doi.org/10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLDVT2010. IEEE, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, Marcio F. S., Francisco Assis M. do Nascimento, and Wolfgang Müller. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” In Proceedings of MoMPES 2010. Antwerp, Belgium, 2010.
LibreCat
2010 | Book (Editor) | LibreCat-ID: 53582
Gerard, Sebatian, Wolfgang Müller, L. Rioux, and Brand Selic, eds. Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design. Dresden, Germany, 2010.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS Modelling and Analysis with SystemC.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 233–60. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_9.
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 1–14. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_1.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” In Proceedings of IESS09. Springer Verlag, 2009. https://doi.org/10.1007/978-3-642-04284-3_20.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker, Markus, Henning Zabel, and Wolfgang Müller. “Integration Abstrakter RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme,” 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of Embedded Control Systems.” In Proceedings of IESS09. Friedrichshafen, 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R. , A. Gerstlauer, and Wolfgang Müller. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” In Proceedings of ASP-DAC’09. Yokohama, Japan, 2009.
LibreCat
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer, eds. Hardware-Dependent Software. Dordrecht: Springer Netherlands, 2009. https://doi.org/10.1007/978-1-4020-9436-1.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” Journal on Multimodal User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” In ASWSD 2006: Model-Driven Development of Reliable Automotive Services, edited by Manfred Broy, Ingolf H. Krüger, and Michael Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. https://doi.org/10.1007/978-3-540-70930-5_7.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L. Kleinjohann and B. Kleinjohann. IFIP – The International Federation for Information Processing. Dordrecht: Springer Verlag, 2008. https://doi.org/10.1007/978-0-387-09661-2_18.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” In Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch. Aachen: Shaker Verlag, 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53583
Müller, Wolfgang, and John Wolfe, eds. Proceedings of the 5th International DAC Workshop of UML for SoC Design. Anaheim, CA, USA, 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe, John, and Wolfgang Müller, eds. Proceedings of the 4th DAC Workshop on UML for SOC Design . Anaheim CA, USA, 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen in SystemC.” C-LAB Report. Paderborn, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage.” In Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007). Prague, Czech Republic, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller. “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.” In Proceedings of the Automotive Software Workshop ’06, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in Engineering.” In Proceedings of the UML for SoC Design Workshop at DAC’07. San Diego, USA, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Using Smart Cards for Secure and Device Independent User Interfaces.” In Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007). Singapore, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38106
Marin, Andres, Wolfgang Müller, Robbie Schäfer, Florina Almenarez, Daniel Diaz, and Max Ziegler. “Middleware for Secure Home Access and Control.” In Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007). White Plains, New York, USA: IEEE, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38100
Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Device Independent User Interfaces for Smart Cards.” In Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007). Singapore, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” In Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007. San Jose, USA, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal.” In Proceedings of IWUMUI’2007 at HCI’2007. Lancaster, United Kingdom, 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development for SoC Design.” In Proceedings of CODES/ISSS. Seoul, Korea, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer, Robbie, Wolfgang Müller, and Jinghua Groppe. “Profile Processing and Evolution for Smart Environments.” In Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06). Wuhan, China, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” In Proceedings of the UML-SoC Workshop at DAC 2006. San Francisco, USA, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” In Proc. of FDL’06. Darmstadt, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” In Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). Hasselt, Belgium, 2006. https://doi.org/10.1007/978-3-540-70816-2_4.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In Proceedings of the Design Automation & Test in Europe Conference. Munich, Germany: IEEE, 2006. https://doi.org/10.1109/DATE.2006.243902.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer, Robbie, Max Ziegler, and Wolfgang Müller. “Securing Personal Data in Smart Home Environments.” In Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006). Montreal, Canada, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
Müller, Wolfgang, Alberto Rosti, Sara Bocchio, and Elvinia Riccobene. “UML for ESL Design - Basic Principles, Tools, and Applications.” In Proc. of ICCAD’06. San Jose, USA, 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “Model Based Specification for Platform Independent Hardware Execution.” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 63–88. Kluwer, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC Design?” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 1–15. Kluwer, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, Alexander, and Wolfgang Müller. “Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.” Automotive Software Engineering. Bonn, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, Steffen, Robbie Schäfer, and Wolfgang Müller. “A Dialog Model for Multi Device Interfaces with Different Modalities.” In Proceedings of the HCI International 2005. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.171.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart Customization in Private Home Applications.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.156.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04. Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In Proceedings of DATE’04. Paris, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In Proceedings of AINA2004. Fukuoka, Japan : IEEE, 2004. https://doi.org/10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen, and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In Proceedings of ISORC’04. WIen, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen, and R. Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” In Proceedings of the Design 2004. Dubrovnik, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, Chris, Robbie Schäfer, Wolfgang Müller, and Marek Borowski. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” In Proceedings of SCI’04. Orlando, USA, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, Steffen, Wolfgang Müller, and Robbie Schäfer. “Multimodal Dialog Description for Mobile Devices.” In Proceedings of AVI 2004. Gallipoli, Italy, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” In Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
LibreCat
2004 | Book (Editor) | LibreCat-ID: 53585
Müller, Wolfgang, and Grant Martin, eds. Proceedings of the 1st International DAC Workshop of UML for SoC Design. San Diego CA, USA, 2004.
LibreCat
2004 | Patent | LibreCat-ID: 53589
Dangberg, Andreas, and Wolfgang Müller. “Control Method for Disposing Graphical Elements,” 2004.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In SystemC - Methodologies and Applications, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. https://doi.org/10.1007/0-306-48735-7_4.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM) 2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” In Proceedings of CE 2003. Madeira, Portugal, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling. “Peer-to-Peer for Virtual Home Environments.” In Proceedings of HICCS-36. Hawaii, USA, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner. “Tool Integration and Management in Heterogeneous Computer Networks.” In Proceedings of DATE’03. Munich, Germany, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” In Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing. Acapulco, Mexico, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In Proceedings of SERP’03. Las Vegas, NV, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” In Proceedings of CCE’03. Poznan Poland, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In Proceedings of SEKE 2003. San Francisco, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” In Proceedings of CCE’03. Poznan Poland, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Proceedings of FDL’03. Frankfurt, Germany, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In Proceedings of the Workshop OCL 2.0 at UML 2003. San Francisco, USA, 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. https://doi.org/10.1007/3-540-45669-4_8.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, 2002, 128–36.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” In Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39370
Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed Video-on-Demand Services on Peer to Peer Basis.” In Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In Proceedings of the HICSS-35. Hawaii, USA, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In Proceedings of the UML 2002 - The Unified Modeling Language. Dresden, Germany: Springer-Verlag, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In Proceedings of the ISSS02. Nagoya, Japan, 2002. https://doi.org/10.1145/581199.581234 .
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In Proceedings of the Extreme Markup Languages 2002. Montreal, Canada, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469.
LibreCat
| DOI
Search
Filter Publications
Display / Sort
Export / Embed
264 Publications
2024 | Conference Paper | LibreCat-ID: 45778
Luchterhandt, Lars, Tom Nellius, Robert Beck, Rainer Dömer, Pascal Kneuper, Wolfgang Müller, and Babak Sadiye. “Implementation of Different Communication Structures for a Rocket Chip Based RISC-V Grid of Processing Cells.” In MBMV 2024 - 27. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“. VDE Verlag, 2024.
LibreCat
| Files available
2024 | Conference Paper | LibreCat-ID: 53579
Palomero Bernardo, Paul, Patrick Schmid, Oliver Bringmann, Mohammed Iftekhar, Babak Sadiye, Wolfgang Müller, Andreas Koch, et al. “A Scalable RISC-V Hardware Platform for Intelligent Sensor Processing.” In DATE 24 - Design Automation and Test in Europe, 2024.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45775
Luchterhandt, Lars, Tom Nellius, Robert Beck, Rainer Dömer, Pascal Kneuper, Wolfgang Müller, and Babak Sadiye. “Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture.” In MBMV 2023 - 26. Workshop "Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen“, MBMV 2023, Freiburg. VDE Verlag, 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 45776
Ecker, Wolfgang, Milos Krstic, Markus Ulbricht, Andreas Mauderer, Eyck Jentzsch, Andreas Koch, Bastian Koppelmann, et al. “Scale4Edge – Scaling RISC-V for Edge Applications.” In RISC-V Summit Europe 2023, Barcelona, Spain, June 2023., 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 48530
Müller, Wolfgang, Markus Ulbricht, Lu Li, and Milos Krstic. “Der TETRISC SoC - Ein Resilientes Quad-Core System Auf Pulpissimo-Basis.” In 5. ITG / GMM / GI -Workshop Testmethoden Und Zuverlässigkeit von Schaltungen Und Systemen , 2023.
LibreCat
2023 | Conference Abstract | LibreCat-ID: 48961
Iftekhar, Mohammed, Harshan Gowda, Pascal Kneuper, Babak Sadiye, Wolfgang Müller, and Christoph Scheytt. “A 28-Gb/s 27.2mW NRZ Full-Rate Bang-Bang Clock and Data Recovery in 22 Nm FD-SOI CMOS Technology.” In 2023 IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium (BCICTS), 2023. https://doi.org/10.1109/BCICTS54660.2023.10310954.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 29302
Ecker, Wolfgang, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, et al. “The Scale4Edge RISC-V Ecosystem.” In In Proceedings of the Design Automation and Test Conference and Exhibition (DATE 2022), 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 32125
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Register and Instruction Coverage Analysis for Different RISC-V ISA Modules.” In MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. Munich, DE: VDE, 2021.
LibreCat
| Files available
2021 | Conference Paper | LibreCat-ID: 32132
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “QEMU zur Simulation von Worst-Case-Ausführungszeiten.” In MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. Munich, DE: VDE, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23992
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Register and Instruction Coverage Analysis for Different RISC-V ISA Modules.” In Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2021), 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures.” In MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. Stuttgart, DE, 2020.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24058
Koppelmann, Bastian, Peer Adelt, Wolfgang Müller, and Christoph Scheytt. “RISC-V Extensions for Bit Manipulation Instructions.” In 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). Rhodos, Griechenland, 2019. https://doi.org/10.1109/PATMOS.2019.8862170.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 24060
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Analyse Sicherheitskritischer Software Für RISC-V Prozessoren.” In MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019). Kaiserslautern, DE, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24061
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Christoph Scheytt, and Benedikt Driessen. “QEMU for Dynamic Memory Analysis of Security Sensitive Software.” In 2nd International Workshop on Embedded Software for Industrial IoT in Conjunction with DATE 2019, 32–34. Florence, Italy, 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 24063
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “QEMU Support for RISC-V: Current State and Future Releases.” 2nd International Workshop on RISC-V Research Activities (Presentation) (2019).
LibreCat
| Files available
2019 | Book (Editor) | LibreCat-ID: 53596
Bringmann, Oliver, Wolfgang Ecker, Wolfgang Müller, and Daniel Müller-Gridschneder, eds. Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT. Florence, Italy, 2019.
LibreCat
2018 | Journal Article | LibreCat-ID: 24194
Adelt, Peer, Bastian Koppelmann, and Wolfgang Müller. “Current and Future RISC-V Activities for Virtual Prototyping and Chip Design.” International Workshop on RISC-V Research Activities Presentation (2018).
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 24196
Wu, Liang, Mohammad Khizer Hussain, Saed Abughannam, Wolfgang Müller, Christoph Scheytt, and Wolfgang Ecker. “Analog Fault Simulation Automation at Schematic Level with Random Sampling Techniques.” In 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) . Italy/Taormina: IEEE, 2018. https://doi.org/10.1109/DTIS.2018.8368549.
LibreCat
| Files available
| DOI
2018 | Book (Editor) | LibreCat-ID: 53595
Bringmann, Oliver, Wolfgang Ecker, Wolfgang Müller, and Daniel Müller-Gridschneder, eds. Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT. Dresden, Germany, 2018.
LibreCat
2017 | Conference Paper | LibreCat-ID: 24220
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Daniel Mueller-Gritschneder, Bernd Kleinjohann, and Christoph Scheytt. “Automatisierte Fehlerinjektion zur Entwicklung sicherer Mikrocontrolleranwendungen auf der Basis virtueller Plattformen.” In Tagungsband des Wissenschaftsforums Intelligente Technische Systeme. Germany, Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2017. https://doi.org/10.17619/UNIPB/1-93.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 24223
Wu, Liang, Saed Abughannam, Wolfgang Müller, Christoph Scheytt, and Wolfgang Ecker. “SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study.” In 2nd Workshop on Resiliency in Embedded Electronic Systems (REES), 68. Lausanne, Switzerland, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 24224
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Bernd Kleinjohann, and Christoph Scheytt. “ANALISA - A Tool for Static Instruction Set Analysis.” In Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation. Lausanne, CH, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 24225
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Bernd Kleinjohann, and Christoph Scheytt. “An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries.” In 2nd Workshop on Resiliency in Embedded Electronic Systems (REES) , 44. Lausanne, Switzerland, 2017.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 24264
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, Markus Becker, Bernd Kleinjohann, and Christoph Scheytt. “Fast Dynamic Fault Injection for Virtual Microcontroller Platforms.” In Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC). Tallin, Estonia, 2016. https://doi.org/10.1109/VLSI-SoC.2016.7753545.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 24263
Abughannam, Saed, Liang Wu, Wolfgang Müller, Christoph Scheytt, Wolfgang Ecker, and Christiano Novello. “Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study.” In Analog 2016 - VDE, 2016.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 24289
Müller, Wolfgang, Liang Wu, Christoph Scheytt, Markus Becker, and Sven Schoenberg. “On the Correlation of HW Faults and SW Errors.” In Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014), edited by Daniel Mueller-Gritschneder, Wolfgang Müller, and Subhasish Mitra. Amsterdam, Netherland, 2015.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 53590
Müller-Gridschneder, Daniel, Wolfgang Müller, and Subhasish Mitra, eds. Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems. Amsterdam, Netherlands, 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” In 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” In ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, Bastian, Markus Becker, and Wolfgang Müller. “Portierung Der TriCore-Architektur Auf QEMU.” In 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 24305
Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation.” In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). Greece: IEEE, 2014. https://doi.org/10.1109/SAMOS.2014.6893219.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 24302
Koppelmann, Bastian, Bernd Messidat, Markus Becker, Christoph Kuznik, Wolfgang Müller, and Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” Design and Verification Conference (DVCON EUROPE), 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 24309
Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 24311
Oetjens, Jan-Hendrik, Markus Becker, Christoph Kuznik, Wolfgang Müller, Nico Bannow, Oliver Brinkmann, Andreas Burger, et al. “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.” In Design Automation Conference (DAC), 2014. https://doi.org/10.1145/2593069.2602976.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Simulation.” In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). IEEE, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” In 12th IEEE International Conference on Embedded Computing, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” In PATMOS 2014. Palma de Mallorca, Spain, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” San Francisco, USA, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” In 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” In 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” Electronic System Level Synthesis Conference (ESLSyn), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 34585
Koppelmann, Bastian, Bernd Messidat, Markus Becker, Wolfgang Müller, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” In Proceedings of the Design and Verification Conference Europe (DVCON Europe). München, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich Kiffmeier. “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model.” In Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,. Linköping University Electronic Press, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
He, Da, and Wolfgang Müller. “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS.” In Proceedings of International Conference on Applied Computing (AC), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, Fabian, and Wolfgang Müller. “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models.” In 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
Becker, Markus, Ulrich Kiffmeier, and Wolfgang Müller. “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures.” In 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SystemC Verification Components - An Enhanced OVM/UVM for SystemC.” In EdaWorkshop 13, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.” In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SC OVM: An Advanced SystemC Library for OVM-Based Verification.” In Open SANITAS SystemC Verification Workshop, 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, Gregor, Christian Gerth, Lisa Kleinjohann, Bernd Kleinjohann, and Wolfgang Müller. “ Informationstechnik spart Ressourcen.” ForschungsForum Paderborn , 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, Christoph, Marcio F. Oliveira, Bertrand Defo, and Wolfgang Müller. “Systematic Application of UCIS to Improve the Automation on Verification Closure.” In Proceedings of DVCON, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, Kay, Jan Jatzkowski, Achim Rettberg, and Wolfgang Müller. “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks.” In International Embedded Systems Symposium (IESS) 2013. Springer, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, Da, and Wolfgang Müller. “ A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 2013, 845–57.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, Harald, Michael Dellnitz, Kathrin Flaßkamp, Stefan Grösbrink, Philip Hartmann, Christian Heinzemann, Christian Horenkamp, et al. “Methods for the Design and Development.” In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, 187–356. Heidelberg: Springer-Verlag, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. https://doi.org/10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” In Proceedings of the International Conference on Applied Computing (AC), edited by Hans Weghorn. Fort Worth, Texas, USA, 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
Joy, M. tech. Mabel Mary, Markus Becker, Emi Mathews, and Wolfgang Müller. “Automated Source Code Annotation for Timing Analysis of Embedded Software.” In In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012). IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker, Markus, Daniel Baldin, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software.” In EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings , 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The System Verification Methodology for Advanced TLM Verification.” In CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” In 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms.” In Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” In EdaWorkshop 12, 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26031
He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems.” In 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker, Markus, Gilles Bertrand Gnokam Defo, Wolfgang Müller, F. Fummi, G. Pravadelli, and Sara Vinco. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” In Design, Automation and Test in Europe (DATE 2012). Dresden, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker, Markus, Christoph Kuznik, M. tech. Mabel Joy, Tao Xie, and Wolfgang Müller. “XEMU: A QEMU Based Binary Mutation Testing Framework.” In Design, Automation and Test in Europe DATE. University Booth, Dresden, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller, Wolfgang, Markus Becker, Henning Zabel, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping of Cyber-Physical Systems.” In In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. Sydney, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Yves, Wolfgang Müller, Da He, Fabian Mischkalla, and Wim Dahaene. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” In Design Technology for Heterogeneous Embedded Systems, edited by Gabriela Nicolescu, Ian O’Connor, and Christian Piguet, 1st Edition. Auflage., 13–39. Springer Verlag, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen, China : IEEE, 2012. https://doi.org/10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Christoph Kuznik, Wolfgang Müller, V. Esen, and W. Ecker. “Towards an Enhanced UVM for SystemC.” In Proceedings of the Design & Verification Conference (DVCon). San Jose, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” In Proceedings of SOCC2012. Niagara Falls, NY, USA : IEEE, 2012. https://doi.org/10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” In Proceedings of the MeCoES’12. Tampere, Finnland, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, Christoph, Marcio F. Oliveira, and Wolfgang Müller. “SYSTEMC UVM VERIFICATION COMPONENTS.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2012 | Book (Editor) | LibreCat-ID: 53593
Müller, Wolfgang, and Wolfgang Ecker, eds. Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs . Tampere, Finland, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” In Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” In Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, Markus, Henning Zabel, Wolfgang Müller, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme Eine Fallstudie.” In 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294:315–27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, A. König, and Wolfgang Müller. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” In Proceedings of Design, Automation, Test Europe - DATE2011. Grenoble, France: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, A. König, Wolfgang Müller, and Achim Rettberg. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” In Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011. Newport Beach, California, USA: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In Proceedings of DVCON , 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, Da He, and Wolfgang Müller. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” In Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, Da, Fabian Mischkalla, and Wolfgang Müller. “A SysML-Based Framework with QEMU-SystemC Code Generation.” In Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37001
Becker, Markus, Henning Zabel, Wolfgang Müller, and Ahmed Elfeky. “Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie.” Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, Christoph, and Wolfgang Müller. “A SystemC Based Library for Functional Coverage,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, Kay, Andreas König, and Wolfgang Müller. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” In Proceedings of DATE’11. Grenoble, France: IEEE, 2011. https://doi.org/10.1109/DATE.2011.5763022.
LibreCat
| DOI
2011 | Book (Editor) | LibreCat-ID: 53580
Müller, Wolfgang, and Frederic Petrot, eds. Proceedings of the 1st International QEMU Users’ Forum, 2011.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” In Proceedings of the M-BED Workshop. Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” In Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering, 2010. https://doi.org/10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In Proceedings of SIES 2010. Trento, Italien, 2010. https://doi.org/10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLDVT2010. IEEE, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, Marcio F. S., Francisco Assis M. do Nascimento, and Wolfgang Müller. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” In Proceedings of MoMPES 2010. Antwerp, Belgium, 2010.
LibreCat
2010 | Book (Editor) | LibreCat-ID: 53582
Gerard, Sebatian, Wolfgang Müller, L. Rioux, and Brand Selic, eds. Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design. Dresden, Germany, 2010.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS Modelling and Analysis with SystemC.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 233–60. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_9.
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 1–14. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_1.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” In Proceedings of IESS09. Springer Verlag, 2009. https://doi.org/10.1007/978-3-642-04284-3_20.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker, Markus, Henning Zabel, and Wolfgang Müller. “Integration Abstrakter RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme,” 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of Embedded Control Systems.” In Proceedings of IESS09. Friedrichshafen, 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R. , A. Gerstlauer, and Wolfgang Müller. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” In Proceedings of ASP-DAC’09. Yokohama, Japan, 2009.
LibreCat
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer, eds. Hardware-Dependent Software. Dordrecht: Springer Netherlands, 2009. https://doi.org/10.1007/978-1-4020-9436-1.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” Journal on Multimodal User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” In ASWSD 2006: Model-Driven Development of Reliable Automotive Services, edited by Manfred Broy, Ingolf H. Krüger, and Michael Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. https://doi.org/10.1007/978-3-540-70930-5_7.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L. Kleinjohann and B. Kleinjohann. IFIP – The International Federation for Information Processing. Dordrecht: Springer Verlag, 2008. https://doi.org/10.1007/978-0-387-09661-2_18.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” In Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch. Aachen: Shaker Verlag, 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53583
Müller, Wolfgang, and John Wolfe, eds. Proceedings of the 5th International DAC Workshop of UML for SoC Design. Anaheim, CA, USA, 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe, John, and Wolfgang Müller, eds. Proceedings of the 4th DAC Workshop on UML for SOC Design . Anaheim CA, USA, 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen in SystemC.” C-LAB Report. Paderborn, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage.” In Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007). Prague, Czech Republic, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller. “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.” In Proceedings of the Automotive Software Workshop ’06, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in Engineering.” In Proceedings of the UML for SoC Design Workshop at DAC’07. San Diego, USA, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Using Smart Cards for Secure and Device Independent User Interfaces.” In Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007). Singapore, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38106
Marin, Andres, Wolfgang Müller, Robbie Schäfer, Florina Almenarez, Daniel Diaz, and Max Ziegler. “Middleware for Secure Home Access and Control.” In Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007). White Plains, New York, USA: IEEE, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38100
Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Device Independent User Interfaces for Smart Cards.” In Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007). Singapore, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” In Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007. San Jose, USA, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal.” In Proceedings of IWUMUI’2007 at HCI’2007. Lancaster, United Kingdom, 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development for SoC Design.” In Proceedings of CODES/ISSS. Seoul, Korea, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer, Robbie, Wolfgang Müller, and Jinghua Groppe. “Profile Processing and Evolution for Smart Environments.” In Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06). Wuhan, China, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” In Proceedings of the UML-SoC Workshop at DAC 2006. San Francisco, USA, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” In Proc. of FDL’06. Darmstadt, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” In Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). Hasselt, Belgium, 2006. https://doi.org/10.1007/978-3-540-70816-2_4.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In Proceedings of the Design Automation & Test in Europe Conference. Munich, Germany: IEEE, 2006. https://doi.org/10.1109/DATE.2006.243902.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer, Robbie, Max Ziegler, and Wolfgang Müller. “Securing Personal Data in Smart Home Environments.” In Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006). Montreal, Canada, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
Müller, Wolfgang, Alberto Rosti, Sara Bocchio, and Elvinia Riccobene. “UML for ESL Design - Basic Principles, Tools, and Applications.” In Proc. of ICCAD’06. San Jose, USA, 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “Model Based Specification for Platform Independent Hardware Execution.” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 63–88. Kluwer, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC Design?” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 1–15. Kluwer, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, Alexander, and Wolfgang Müller. “Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.” Automotive Software Engineering. Bonn, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, Steffen, Robbie Schäfer, and Wolfgang Müller. “A Dialog Model for Multi Device Interfaces with Different Modalities.” In Proceedings of the HCI International 2005. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.171.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart Customization in Private Home Applications.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.156.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04. Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In Proceedings of DATE’04. Paris, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In Proceedings of AINA2004. Fukuoka, Japan : IEEE, 2004. https://doi.org/10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen, and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In Proceedings of ISORC’04. WIen, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen, and R. Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” In Proceedings of the Design 2004. Dubrovnik, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, Chris, Robbie Schäfer, Wolfgang Müller, and Marek Borowski. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” In Proceedings of SCI’04. Orlando, USA, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, Steffen, Wolfgang Müller, and Robbie Schäfer. “Multimodal Dialog Description for Mobile Devices.” In Proceedings of AVI 2004. Gallipoli, Italy, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” In Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
LibreCat
2004 | Book (Editor) | LibreCat-ID: 53585
Müller, Wolfgang, and Grant Martin, eds. Proceedings of the 1st International DAC Workshop of UML for SoC Design. San Diego CA, USA, 2004.
LibreCat
2004 | Patent | LibreCat-ID: 53589
Dangberg, Andreas, and Wolfgang Müller. “Control Method for Disposing Graphical Elements,” 2004.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In SystemC - Methodologies and Applications, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. https://doi.org/10.1007/0-306-48735-7_4.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM) 2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” In Proceedings of CE 2003. Madeira, Portugal, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling. “Peer-to-Peer for Virtual Home Environments.” In Proceedings of HICCS-36. Hawaii, USA, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner. “Tool Integration and Management in Heterogeneous Computer Networks.” In Proceedings of DATE’03. Munich, Germany, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” In Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing. Acapulco, Mexico, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In Proceedings of SERP’03. Las Vegas, NV, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” In Proceedings of CCE’03. Poznan Poland, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In Proceedings of SEKE 2003. San Francisco, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” In Proceedings of CCE’03. Poznan Poland, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Proceedings of FDL’03. Frankfurt, Germany, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In Proceedings of the Workshop OCL 2.0 at UML 2003. San Francisco, USA, 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. https://doi.org/10.1007/3-540-45669-4_8.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, 2002, 128–36.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” In Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39370
Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed Video-on-Demand Services on Peer to Peer Basis.” In Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In Proceedings of the HICSS-35. Hawaii, USA, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In Proceedings of the UML 2002 - The Unified Modeling Language. Dresden, Germany: Springer-Verlag, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In Proceedings of the ISSS02. Nagoya, Japan, 2002. https://doi.org/10.1145/581199.581234 .
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In Proceedings of the Extreme Markup Languages 2002. Montreal, Canada, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469.
LibreCat
| DOI