Wolfgang Müller

129 papers A* 1A 20B 2C 15Misc 3Journal 5Unranked 79

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	60-Gb/s 1:4 Demultiplexer in 22-nm FD-SOI Technology Using TSPC Logic: A Circuit-to-System-Level Analysis and Design. IEEE Trans. Very Large Scale Integr. Syst. Babak Sadiye, Mohammed Iftekhar, Wolfgang Müller, Johann-Christoph Scheytt
2025	C	`conf`	A Quantitative Guide to Navigate Speed/Accuracy Tradeoffs in System Level Design of RISC-V Processor Grids. FDL Lars Luchterhandt, Vivek Govindasamy, Yutong Wang, Christoph Scheytt, Wolfgang Müller, Rainer Dömer
2024	A	`conf`	A Scalable RISC-V Hardware Platform for Intelligent Sensor Processing. DATE Paul Palomero Bernardo, Patrick Schmid, Oliver Bringmann, Mohammed Iftekhar, Babak Sadiye, Wolfgang Müller, Andreas Koch, Eyck Jentzsch, Axel Sauer, Ingo Feldner, Wolfgang Ecker
2023	—	`conf`	A 28-Gb/s 27.2mW NRZ Full-Rate Bang-Bang Clock and Data Recovery in 22 nm FD-SOI CMOS Technology. BCICTS Mohammed Iftekhar, Harshan Gowda, Pascal Kneuper, Babak Sadiye, Wolfgang Müller, Johann-Christoph Scheytt
2022	A	`conf`	The Scale4Edge RISC-V Ecosystem. DATE Wolfgang Ecker, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz
2021	—	`conf`	Register and Instruction Coverage Analysis for Different RISC-V ISA Modules. MBMV Peer Adelt, Bastian Koppelmann, Wolfgang Müller, Christoph Scheytt
2020	—	`conf`	A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. MBMV Peer Adelt, Bastian Koppelmann, Wolfgang Müller, Christoph Scheytt
2019	—	`conf`	RISC-V Extensions for Bit Manipulation Instructions. PATMOS Bastian Koppelmann, Peer Adelt, Wolfgang Müller, Christoph Scheytt
2018	—	`conf`	Analog fault simulation automation at schematic level with random sampling techniques. DTIS Liang Wu, Mohammad Khizer Hussain, Saed Abughannam, Wolfgang Müller, Christoph Scheytt, Wolfgang Ecker
2016	C	`conf`	Fast dynamic fault injection for virtual microcontroller platforms. VLSI-SoC Peer Adelt, Bastian Koppelmann, Wolfgang Müller, Markus Becker, Bernd Kleinjohann, Christoph Scheytt
2014	—	`conf`	Advanced SoC virtual prototyping for system-level power planning and validation. PATMOS Fabian Mischkalla, Wolfgang Müller
2014	—	`conf`	Architectural low-power design using transaction-based system modeling and simulation. ICSAMOS Fabian Mischkalla, Wolfgang Müller
2014	—	`ch.`	Methods for the Design and Development. Design Methodology for Intelligent Technical Systems Harald Anacker, Michael Dellnitz, Kathrin Flaßkamp, Stefan Groesbrink, Philip Hartmann, Christian Heinzemann, Christian Horenkamp, Bernd Kleinjohann, Lisa Kleinjohann, Sebastian Korf, Martin Krüger, Wolfgang Müller, Sina Ober-Blöbaum, Simon Oberthür, Mario Porrmann, Claudia Priesterjahn, Rafael Radkowski, Christoph Rasche, Jan Rieke, Maik Ringkamp, Katharina Stahl, Dominik Steenken, Jörg Stöcklein, Robert Timmermann, Ansgar Trächtler, Katrin Witting, Tao Xie, Steffen Ziegert
2014	—	`conf`	Portierung der TriCore-Architektur auf QEMU. MBMV Bastian Koppelmann, Markus Becker, Wolfgang Müller
2014	A*	`conf`	Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. DAC Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker, Kim Grüttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Andreas Mauderer, Wolfgang Müller, Daniel Müller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl
2014	—	`conf`	Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. MBMV Christoph Kuznik, Bertrand Defo, Wolfgang Müller
2014	C	`conf`	Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints. DASC Mabel Mary Joy, Wolfgang Müller, Franz-Josef Rammig
2014	C	`conf`	Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. DSD Markus Becker, Christoph Kuznik, Wolfgang Müller
2014	—	`conf`	WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. ICCPS Markus Becker, Christoph Kuznik, Wolfgang Müller
2013	—	`conf`	Efficient power Intent validation using loosely-timed simulation models. PATMOS Fabian Mischkalla, Wolfgang Müller
2013	—	`conf`	Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. IESS Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Müller
2013	—	`conf`	Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. MBMV Fabian Mischkalla, Wolfgang Müller
2013	C	`conf`	HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures. ISORC Markus Becker, Ulrich Kiffmeier, Wolfgang Müller
2012	—	`conf`	An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. ISORC Workshops Kay Klobedanz, Wolfgang Müller, Achim Rettberg
2012	A	`conf`	Binary mutation testing through dynamic translation. DSN Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
2012	A	`conf`	MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco
2012	—	`conf`	Mutation-analysis driven functional verification of a soft microprocessor. SoCC Tao Xie, Wolfgang Müller, Florian Letombe
2012	C	`conf`	Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. ISORC Da He, Wolfgang Müller
2012	Misc	`conf`	Testbenches for advanced TLM verification. CODES+ISSS Wolfgang Müller, Wolfgang Ecker
2012	Misc	`conf`	The system verification methodology for advanced TLM verification. CODES+ISSS Marcio Ferreira da Silva Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
2012	—	`conf`	Virtual prototyping of Cyber-Physical Systems. ASP-DAC Wolfgang Müller, Markus Becker, Ahmed Elfeky, Anthony DiPasquale
2012	Misc	`conf`	XEMU: an efficient QEMU based binary mutation testing framework for embedded software. EMSOFT Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
2011	A	`conf`	A reconfiguration approach for fault-tolerant FlexRay networks. DATE Kay Klobedanz, Andreas König, Wolfgang Müller
2011	—	`conf`	Aspect enhanced functional coverage driven verification in the SystemC HDVL. ISOCC Christoph Kuznik, Wolfgang Müller
2011	C	`conf`	HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD Tao Xie, Wolfgang Müller, Florian Letombe
2011	—	`conf`	IP-XACT based system level mutation testing. HLDVT Tao Xie, Wolfgang Müller, Florian Letombe
2011	C	`conf`	Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. PRDC Christoph Kuznik, Wolfgang Müller
2011	—	`conf`	Self-Reconfiguration for Fault-Tolerant FlexRay Networks. ISORC Workshops Kay Klobedanz, Andreas König, Wolfgang Müller, Achim Rettberg
2011	—	`conf`	Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. MBMV Gilles B. Defo, Wolfgang Müller, Heinrich Rommel
2010	—	`conf`	A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC Markus Becker, Henning Zabel, Wolfgang Müller
2010	A	`conf`	A systematic approach to the test of combined HW/SW systems. DATE Alexander Krupp, Wolfgang Müller
2010	A	`conf`	Assertion-based verification of RTOS properties. DATE Marcio Ferreira da Silva Oliveira, Henning Zabel, Wolfgang Müller
2010	A	`conf`	Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems. DATE Fabian Mischkalla, Da He, Wolfgang Müller
2010	—	`conf`	Design space abstraction and metamodeling for embedded systems design space exploration. MOMPES Marcio Ferreira da Silva Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller, Flávio Rech Wagner
2010	A	`ed.`	Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010 DATE Giovanni De Micheli, Bashir M. Al-Hashimi, Wolfgang Müller, Enrico Macii
2010	—	`conf`	Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. SIES Kay Klobedanz, Gilles B. Defo, Wolfgang Müller, Timo Kerstan
2010	—	`conf`	Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC Tao Xie, Wolfgang Müller, Florian Letombe
2010	—	`conf`	Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. MBMV Alexander Bol, Wolfgang Müller, Alexander Krupp
2010	—	`conf`	Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. DIPES/BICC Wolfgang Müller, Alexander Bol, Alexander Krupp, Ola Lundkvist
2010	A	`conf`	RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie
2010	—	`conf`	Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi
2010	—	`conf`	The SATURN Approach to SysML-Based HW/SW Codesign. ISVLSI (Selected papers) Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda
2010	—	`conf`	The SATURN Approach to SysML-Based HW/SW Codesign. ISVLSI Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda
2010	A	`conf`	Timing modeling and analysis for AUTOSAR-based software development - a case study. DATE Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wolfgang Müller
2010	—	`conf`	Verification of a CAN bus model in SystemC with functional coverage. SIES Christoph Kuznik, Gilles B. Defo, Wolfgang Müller
2010	—	`conf`	Verification of real-time properties for Hardware-dependent Software. HLDVT Wolfgang Müller, Marcio Ferreira da Silva Oliveira, Henning Zabel, Markus Becker
2009	A	`conf`	A UML frontend for IP-XACT-based IP management. DATE Tim Schattkowsky, Tao Xie, Wolfgang Müller
2009	A	`ed.`	Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009 DATE Luca Benini, Giovanni De Micheli, Bashir M. Al-Hashimi, Wolfgang Müller
2009	—	`conf`	Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. IESS Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller
2009	A	`conf`	Increased accuracy through noise injection in abstract RTOS simulation. DATE Henning Zabel, Wolfgang Müller
2009	—	`conf`	Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier
2009	—	`conf`	Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems. ASP-DAC Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller
2009	—	`conf`	Systematic Model-in-the-Loop Test of Embedded Control Systems. IESS Alexander Krupp, Wolfgang Müller
2008	—	`conf`	An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES Henning Zabel, Wolfgang Müller
2008	J	`jnl`	Assessment of a multimodal interaction and rendering system against established design principles. J. Multimodal User Interfaces Robbie Schaefer, Wolfgang Müller
2008	—	`conf`	Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV Henning Zabel, Wolfgang Müller
2007	—	`conf`	Middleware for Secure Home Access and Control. PerCom Workshops Andrés Marín López, Wolfgang Müller, Robbie Schaefer, Florina Almenárez, Daniel Díaz Sánchez, Max Ziegler
2007	—	`conf`	Using smart cards for secure and device independent user interfaces. Mobility Conference Robbie Schaefer, Wolfgang Müller, Andrés Marín López, Daniel Díaz Sánchez
2006	C	`conf`	A Formal Behavioral Semantics for TestML. ISoLA Jürgen Großmann, Wolfgang Müller
2006	A	`conf`	Classification trees for random tests and functional coverage. DATE Alexander Krupp, Wolfgang Müller
2006	—	`conf`	Dialog Modeling for Multiple Devices and Multiple Interaction Modalities. TAMODIA Robbie Schaefer, Steffen Bleul, Wolfgang Müller
2006	C	`conf`	Profile Processing and Evolution for Smart Environments. UIC Robbie Schaefer, Wolfgang Müller, Jinghua Groppe
2006	—	`conf`	TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ASWSD Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller
2005	A	`conf`	A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE Tim Schattkowsky, Wolfgang Müller, Achim Rettberg
2005	—	`conf`	Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) Alexander Krupp, Wolfgang Müller
2005	—	`conf`	Secure Profile Management in Smart Home Networks. DEXA Workshops Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser
2005	—	`conf`	The Reconfigurable UML Machine Project Group. EDUTECH Achim Rettberg, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, Franz J. Rammig
2005	B	`conf`	Transformation of UML State Machines for Direct Execution. VL/HCC Tim Schattkowsky, Wolfgang Müller
2004	—	`conf`	A Formal Model of a Framework for Simulation-Based Animation. SimVis Wolfgang Müller, Volker Paelke
2004	—	`conf`	A Novel Dialog Model for the Design of Multimodal User Interfaces. EHCI/DS-VIS Robbie Schaefer, Steffen Bleul, Wolfgang Müller
2004	—	`conf`	An ASM Definition of the Dynamic OCL 2.0 Semantics. UML Stephan Flake, Wolfgang Müller
2004	A	`conf`	Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE Alexander Krupp, Wolfgang Müller, Ian Oliver
2004	—	`conf`	Interactive Multimodal User Interfaces for Mobile Devices. HICSS Wolfgang Müller, Robbie Schaefer, Steffen Bleul
2004	—	`conf`	Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischen Systemen. SimVis Jürgen Gausemeier, Jochen Bauch, Rafael Radkowski, Qing Shen, Wolfgang Müller, Volker Paelke
2004	C	`conf`	Model-Based Design of Embedded Systems. ISORC Tim Schattkowsky, Wolfgang Müller
2004	A	`conf`	Model-Based Specification and Execution of Embedded Real-Time Systems. DATE Tim Schattkowsky, Wolfgang Müller
2004	B	`conf`	Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM Stephan Flake, Wolfgang Müller
2004	—	`conf`	Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) Tim Schattkowsky, Christoph Loeser, Wolfgang Müller
2004	—	`conf`	Specification and Formal Verification of Temporal Properties of Production Automation Systems. SoftSpez Final Report Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
2004	C	`conf`	The Formal Simulation Semantics of SystemVerilog. FDL Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Müller
2003	—	`conf`	An advanced infrastructure for collaborative engineering in electronic design automation. CE Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky
2003	C	`conf`	Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL Alexander Krupp, Wolfgang Müller
2003	A	`conf`	Dynamic Tool Integration in Heterogeneous Computer Networks. DATE Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner
2003	—	`conf`	Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice Stephan Flake, Wolfgang Müller
2003	—	`conf`	Formal Semantics of OCL Messages. OCL 2.0 @ UML Stephan Flake, Wolfgang Müller
2003	J	`jnl`	Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model. Stephan Flake, Wolfgang Müller
2003	—	`conf`	Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. MBMV Alexander Krupp, Wolfgang Müller
2003	—	`conf`	Peer-to-Peer Networks for Virtual Home Environments. HICSS Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling
2003	C	`conf`	Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE Stephan Flake, Wolfgang Müller
2002	—	`conf`	A UML Profile for Real-Time Constraints with the OCL. UML Stephan Flake, Wolfgang Müller
2002	—	`ch.`	An OCL Extension for Real-Time Constraints. Object Modeling with the OCL Stephan Flake, Wolfgang Müller
2002	—	`conf`	Comparing Transcoding Tools for Use with a Generic User Interface Format. Extreme Markup Languages® Johan Plomp, Robbie Schaefer, Wolfgang Müller
2002	—	`conf`	Fuzzy Rules for HTML Transcoding. HICSS Robbie Schaefer, Andreas Dangberg, Wolfgang Müller
2002	—	`conf`	Specification of Real-Time Properties for UML Models. HICSS Stephan Flake, Wolfgang Müller
2002	—	`conf`	The Formal Execution Semantics of SpecC. ISSS Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller
2002	J	`jnl`	Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken (Tool Integration and Management in Heterogeneous Computer Networks). Informationstechnik Tech. Inform. Heinz-Josef Eikerling, Wolfgang Müller, Jan Wegner
2001	—	`conf`	A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS Wolfgang Müller, Arne Meyer, Henning Zabel
2001	C	`conf`	Customer-Oriented Systems Design through Virtual Prototypes. WETICE Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf
2001	A	`conf`	The simulation semantics of systemC. DATE Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller
2000	—	`conf`	A Visual Framework for the Scripting of Parallel Agents. VL Wolfgang Müller, Arne Meyer, Henning Zabel
2000	—	`conf`	Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper
2000	—	`conf`	Structured English for Model Checking Specification. MBMV Stephan Flake, Wolfgang Müller, Jürgen Ruf
1999	—	`conf`	Innovative Concepts for Configuring Shared Workspaces through Visual Programming. HICSS Marita Dücker, Wolfgang Müller, Jessica Rubart
1999	—	`conf`	Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. SimVis Christian Geiger, Georg Lehrenfeld, Wolfgang Müller
1999	—	`conf`	Visual Specification, Modelling, and Illustration of Complex Systems. HICSS Christian Geiger, Georg Lehrenfeld, Wolfgang Müller
1998	—	`ed.`	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998 MBMV Franz-Josef Rammig, Wolfgang Müller
1998	—	`conf`	SAM - An Animated 3D Programming Language. VL Christian Geiger, Wolfgang Müller, Waldemar Rosenbach
1998	—	`conf`	VIPspace - A Visual Programmable Shared Workspace. VL Marita Dücker, Wolfgang Müller, Jessica Rubart
1998	—	`conf`	Visuelle Spezifikation, Modellierung und Animation im Systementwurf. SimVis Christian Geiger, Wolfgang Müller
1998	J	`jnl`	Visuelle Spezifikations- und Modellierungstechniken. Informationstechnik Tech. Inform. Wolfgang Müller, Jörgen Sturm
1997	—	`conf`	A Visual Language for Qualitative Data. VL Marita Dücker, Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl
1997	—	`conf`	A generic system for interactive real-time animation. ECBS Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl
1997	—	`conf`	Visual-Textual Prototyping of 4D Scenes. VL Marita Dücker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller
1996	—	`—`	Executable graphics for VHDL-based systems design. Wolfgang Müller
1996	—	`conf`	Integrating a Constraint Solver into a Real-Time Animation Environment. VL Peer Griebel, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl, Holger Uhr
1996	—	`conf`	Specification and Analysis of Concurrent Systems in a Complete Visual Environment. ESM Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedi
1996	—	`conf`	Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. VL Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller, Julia Quintanilla, Christoph Tahedl, Anke Weber
1995	—	`conf`	Transforming SDL Diagrams into a Complete Visual Representation. VL Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl
1994	—	`conf`	The semantics of behavioral VHDL '93 descriptions. EURO-DAC Wolfgang Müller, Egon Börger, Uwe Glässer