Wolfgang Müller

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

282 Publications

Mark all

[282]
2003 | Conference Paper | LibreCat-ID: 39364
S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.
LibreCat
 
[281]
2003 | Conference Paper | LibreCat-ID: 39366
T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.
LibreCat
 
[280]
2003 | Conference Paper | LibreCat-ID: 39363
S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.
LibreCat
 
[279]
2003 | Conference Paper | LibreCat-ID: 39367
J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
LibreCat
 
[278]
2003 | Conference Paper | LibreCat-ID: 39360
A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.
LibreCat
 
[277]
2003 | Conference Paper | LibreCat-ID: 39368
A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.
LibreCat
 
[276]
2003 | Conference Paper | LibreCat-ID: 39369
S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
LibreCat
 
[275]
2002 | Book Chapter | LibreCat-ID: 34447
S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.
LibreCat | DOI
 
[274]
2002 | Journal Article | LibreCat-ID: 34576
H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken,” it+ti, pp. 128–136, 2002.
LibreCat
 
[273]
2002 | Book (Editor) | LibreCat-ID: 53586
U. Bücker, H. J. Eikerling, and W. Müller, Eds., Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat
 
[272]
2002 | Conference Paper | LibreCat-ID: 39371
R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents,” 2002.
LibreCat
 
[271]
2002 | Conference Paper | LibreCat-ID: 39370
C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand Services on Peer to Peer Basis,” 2002.
LibreCat
 
[270]
2002 | Conference Paper | LibreCat-ID: 39378
R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 2002.
LibreCat
 
[269]
2002 | Conference Paper | LibreCat-ID: 39398
S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002.
LibreCat
 
[268]
2002 | Conference Paper | LibreCat-ID: 39393
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Paderborn, Germany, 2002.
LibreCat
 
[267]
2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat | DOI
 
[266]
2002 | Conference Paper | LibreCat-ID: 39387
J. Plomp, R. Schäfer, and W. Müller, “Comparing Transcoding Tools for Use with a Generic User Interface Format,” 2002.
LibreCat
 
[265]
2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat | DOI
 
[264]
2002 | Conference Paper | LibreCat-ID: 39402
S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002.
LibreCat
 
[263]
2001 | Conference Paper | LibreCat-ID: 39411
S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: 10.1109/ENABL.2001.953425.
LibreCat | DOI
 
[262]
2001 | Conference Paper | LibreCat-ID: 39407
M. Bauer et al., “Advanced Infrastructure for PAN-European Collaborative Engineering.” Venice, Italy, 2001.
LibreCat
 
[261]
2001 | Conference Paper | LibreCat-ID: 39421
W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.
LibreCat | DOI
 
[260]
2001 | Conference Paper | LibreCat-ID: 39427
S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.
LibreCat
 
[259]
2001 | Conference Paper | LibreCat-ID: 39432
W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.
LibreCat | DOI
 
[258]
2001 | Conference Paper | LibreCat-ID: 39431
G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.
LibreCat
 
[257]
2001 | Conference Paper | LibreCat-ID: 39406
S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39425
A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001.
LibreCat
 
[255]
2000 | Patent | LibreCat-ID: 53588
A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen Elementen.” 2000.
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.
LibreCat
 
[247]
1999 | Conference Paper | LibreCat-ID: 39481
C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39488
M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.
LibreCat | DOI
 
[245]
1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39468
M. Dücker et al., “Wissenbasierte Konzepte und visuelle interaktive Systeme.” Bonn, 1999.
LibreCat
 
[243]
1999 | Conference Paper | LibreCat-ID: 39471
A. Dangberg and W. Müller, “Generation of Interactive Visual Environments for Direct Manipulation of Database Content,” 1999.
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39474
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: 10.1109/NAFIPS.1999.781697.
LibreCat | DOI
 
[241]
1999 | Conference Paper | LibreCat-ID: 39477
W. Müller and F. Ullmann, “Scalable System for 3D Audio Raytracing,” 1999, doi: 10.1109/MMCS.1999.778592.
LibreCat | DOI
 
[240]
1998 | Journal Article | LibreCat-ID: 34578
W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” it - Information Technology, pp. 32–36, 1998, doi: 10.1524/itit.1998.40.3.32.
LibreCat | DOI
 
[239]
1998 | Book | LibreCat-ID: 23938
W. Müller and F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
 
[238]
1998 | Book (Editor) | LibreCat-ID: 53587
W. Müller and F. J. Rammig, Eds., Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Paderborn, Germany, 1998.
LibreCat
 
[237]
1998 | Conference Paper | LibreCat-ID: 39496
M. Dücker, W. Müller, and J. Rubart, “VIPspace - A Visually Programmable Shared Workspace,” presented at the 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998, doi: 10.1109/VL.1998.706150.
LibreCat | DOI
 
[236]
1998 | Conference Paper | LibreCat-ID: 39499
C. Geiger, G. Lehrenfeld, and W. Müller, “Authoring Communicating Agents in Virtual Environments,” 1998.
LibreCat
 
[235]
1998 | Conference Paper | LibreCat-ID: 39493
C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: 10.1109/VL.1998.706167.
LibreCat | DOI
 
[234]
1998 | Conference Paper | LibreCat-ID: 39489
C. Geiger and W. Müller, “Visuelle Spezifikation, Modellierung und Animation im Systementwurf.” Magdeburg, Germany, 1998.
LibreCat
 
[233]
1998 | Journal Article | LibreCat-ID: 34577
W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” it - Information Technology, pp. 32–36, 1998, doi: 10.1524/itit.1998.40.3.32.
LibreCat | DOI
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual Programming Language for Qualitative Data,” 1997, doi: 10.1109/VL.1997.626593.
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: 10.1109/VL.1997.626601.
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: 10.1109/ECBS.1997.581876.
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
H. Aisch, M. Joosten, W. Müller, and F. Buijs, “Interaktiver Produktdatenaustausch mit EDIFACT.” Kaiserslautern, 1996.
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, and H. Uhr, “Integrating a Constraint Solver into a Real-Time Animation Environment,” 1996, doi: 10.1109/VL.1996.545262.
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
M. Dücker, G. Lehrenfeld, and W. Müller, “Specification and Analysis of Concurrent Systems in a Complete Visual Environment,” 1996.
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
C. Geiger et al., “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: 10.1109/VL.1996.545302.
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines,” in Semantics of VHDL, C. Delgado Kloos and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
G. Lehrenfeld, W. Müller, and N. Wiechers, “Conformance Tests of Very Large STEP Files,” 1995.
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
R. Zhao, H. J. Kaufmann, T. Kern, and W. Müller, “Pen-based Interfaces for Engineering Environments,” presented at the 6th Human-Computer Interaction International, Tokyo, Japan, 1995.
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: 10.1109/VL.1995.520803.
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
W. Müller, G. Lehrenfeld, and N. Wiechers, “Validation of EXPRESS Models.” 1995.
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
W. Müller, W. Felser, and F. Buijs, “Guide to EXPRESS-P,” 1995.
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: 10.1109/ASPDAC.1995.486383.
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
R. Zhao, W. Müller, H. J. Kaufmann, Th. Kern, and F. Buijs, “An Editor for the Rapid Prototyping of EXPRESS-G Models,” 1995.
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
W. Müller, W. Felser, and N. Wiechers, “The Process Modeling Language EXPRESS-P.” Paderborn, Germany, 1995.
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.” Paderborn, Germany, 1994.
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,” in Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–342.
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994.
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming Language.” Paderborn, Germany, 1994.
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring,” in Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–154.
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993.
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

282 Publications

Mark all

[282]
2003 | Conference Paper | LibreCat-ID: 39364
S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.
LibreCat
 
[281]
2003 | Conference Paper | LibreCat-ID: 39366
T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.
LibreCat
 
[280]
2003 | Conference Paper | LibreCat-ID: 39363
S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.
LibreCat
 
[279]
2003 | Conference Paper | LibreCat-ID: 39367
J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
LibreCat
 
[278]
2003 | Conference Paper | LibreCat-ID: 39360
A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.
LibreCat
 
[277]
2003 | Conference Paper | LibreCat-ID: 39368
A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.
LibreCat
 
[276]
2003 | Conference Paper | LibreCat-ID: 39369
S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
LibreCat
 
[275]
2002 | Book Chapter | LibreCat-ID: 34447
S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.
LibreCat | DOI
 
[274]
2002 | Journal Article | LibreCat-ID: 34576
H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken,” it+ti, pp. 128–136, 2002.
LibreCat
 
[273]
2002 | Book (Editor) | LibreCat-ID: 53586
U. Bücker, H. J. Eikerling, and W. Müller, Eds., Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat
 
[272]
2002 | Conference Paper | LibreCat-ID: 39371
R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents,” 2002.
LibreCat
 
[271]
2002 | Conference Paper | LibreCat-ID: 39370
C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand Services on Peer to Peer Basis,” 2002.
LibreCat
 
[270]
2002 | Conference Paper | LibreCat-ID: 39378
R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 2002.
LibreCat
 
[269]
2002 | Conference Paper | LibreCat-ID: 39398
S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002.
LibreCat
 
[268]
2002 | Conference Paper | LibreCat-ID: 39393
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Paderborn, Germany, 2002.
LibreCat
 
[267]
2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat | DOI
 
[266]
2002 | Conference Paper | LibreCat-ID: 39387
J. Plomp, R. Schäfer, and W. Müller, “Comparing Transcoding Tools for Use with a Generic User Interface Format,” 2002.
LibreCat
 
[265]
2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat | DOI
 
[264]
2002 | Conference Paper | LibreCat-ID: 39402
S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002.
LibreCat
 
[263]
2001 | Conference Paper | LibreCat-ID: 39411
S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: 10.1109/ENABL.2001.953425.
LibreCat | DOI
 
[262]
2001 | Conference Paper | LibreCat-ID: 39407
M. Bauer et al., “Advanced Infrastructure for PAN-European Collaborative Engineering.” Venice, Italy, 2001.
LibreCat
 
[261]
2001 | Conference Paper | LibreCat-ID: 39421
W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.
LibreCat | DOI
 
[260]
2001 | Conference Paper | LibreCat-ID: 39427
S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.
LibreCat
 
[259]
2001 | Conference Paper | LibreCat-ID: 39432
W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.
LibreCat | DOI
 
[258]
2001 | Conference Paper | LibreCat-ID: 39431
G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.
LibreCat
 
[257]
2001 | Conference Paper | LibreCat-ID: 39406
S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39425
A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001.
LibreCat
 
[255]
2000 | Patent | LibreCat-ID: 53588
A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen Elementen.” 2000.
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.
LibreCat
 
[247]
1999 | Conference Paper | LibreCat-ID: 39481
C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39488
M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.
LibreCat | DOI
 
[245]
1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39468
M. Dücker et al., “Wissenbasierte Konzepte und visuelle interaktive Systeme.” Bonn, 1999.
LibreCat
 
[243]
1999 | Conference Paper | LibreCat-ID: 39471
A. Dangberg and W. Müller, “Generation of Interactive Visual Environments for Direct Manipulation of Database Content,” 1999.
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39474
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: 10.1109/NAFIPS.1999.781697.
LibreCat | DOI
 
[241]
1999 | Conference Paper | LibreCat-ID: 39477
W. Müller and F. Ullmann, “Scalable System for 3D Audio Raytracing,” 1999, doi: 10.1109/MMCS.1999.778592.
LibreCat | DOI
 
[240]
1998 | Journal Article | LibreCat-ID: 34578
W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” it - Information Technology, pp. 32–36, 1998, doi: 10.1524/itit.1998.40.3.32.
LibreCat | DOI
 
[239]
1998 | Book | LibreCat-ID: 23938
W. Müller and F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
 
[238]
1998 | Book (Editor) | LibreCat-ID: 53587
W. Müller and F. J. Rammig, Eds., Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Paderborn, Germany, 1998.
LibreCat
 
[237]
1998 | Conference Paper | LibreCat-ID: 39496
M. Dücker, W. Müller, and J. Rubart, “VIPspace - A Visually Programmable Shared Workspace,” presented at the 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998, doi: 10.1109/VL.1998.706150.
LibreCat | DOI
 
[236]
1998 | Conference Paper | LibreCat-ID: 39499
C. Geiger, G. Lehrenfeld, and W. Müller, “Authoring Communicating Agents in Virtual Environments,” 1998.
LibreCat
 
[235]
1998 | Conference Paper | LibreCat-ID: 39493
C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: 10.1109/VL.1998.706167.
LibreCat | DOI
 
[234]
1998 | Conference Paper | LibreCat-ID: 39489
C. Geiger and W. Müller, “Visuelle Spezifikation, Modellierung und Animation im Systementwurf.” Magdeburg, Germany, 1998.
LibreCat
 
[233]
1998 | Journal Article | LibreCat-ID: 34577
W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” it - Information Technology, pp. 32–36, 1998, doi: 10.1524/itit.1998.40.3.32.
LibreCat | DOI
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual Programming Language for Qualitative Data,” 1997, doi: 10.1109/VL.1997.626593.
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: 10.1109/VL.1997.626601.
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: 10.1109/ECBS.1997.581876.
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
H. Aisch, M. Joosten, W. Müller, and F. Buijs, “Interaktiver Produktdatenaustausch mit EDIFACT.” Kaiserslautern, 1996.
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, and H. Uhr, “Integrating a Constraint Solver into a Real-Time Animation Environment,” 1996, doi: 10.1109/VL.1996.545262.
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
M. Dücker, G. Lehrenfeld, and W. Müller, “Specification and Analysis of Concurrent Systems in a Complete Visual Environment,” 1996.
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
C. Geiger et al., “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: 10.1109/VL.1996.545302.
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines,” in Semantics of VHDL, C. Delgado Kloos and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
G. Lehrenfeld, W. Müller, and N. Wiechers, “Conformance Tests of Very Large STEP Files,” 1995.
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
R. Zhao, H. J. Kaufmann, T. Kern, and W. Müller, “Pen-based Interfaces for Engineering Environments,” presented at the 6th Human-Computer Interaction International, Tokyo, Japan, 1995.
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: 10.1109/VL.1995.520803.
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
W. Müller, G. Lehrenfeld, and N. Wiechers, “Validation of EXPRESS Models.” 1995.
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
W. Müller, W. Felser, and F. Buijs, “Guide to EXPRESS-P,” 1995.
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: 10.1109/ASPDAC.1995.486383.
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
R. Zhao, W. Müller, H. J. Kaufmann, Th. Kern, and F. Buijs, “An Editor for the Rapid Prototyping of EXPRESS-G Models,” 1995.
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
W. Müller, W. Felser, and N. Wiechers, “The Process Modeling Language EXPRESS-P.” Paderborn, Germany, 1995.
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.” Paderborn, Germany, 1994.
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,” in Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–342.
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994.
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming Language.” Paderborn, Germany, 1994.
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring,” in Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–154.
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993.
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed