Wolfgang Müller

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

264 Publications

Mark all

[264]
2002 | Conference Paper | LibreCat-ID: 39402
@article{Flake_Müller_2002, place={Halle(Saale), Germany}, series={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”}, title={Temporale Erweiterungen der OCL - Überblick und Aussichten}, author={Flake, Stephan and Müller, Wolfgang}, year={2002}, collection={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”} }
LibreCat
 
[263]
2002 | Book (Editor) | LibreCat-ID: 53586
@book{Bücker_Eikerling_Müller_2002, place={Paderborn, Germany}, title={Proceedings of the VHE Workshop}, year={2002} }
LibreCat
 
[262]
2001 | Conference Paper | LibreCat-ID: 39411
@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }
LibreCat | DOI
 
[261]
2001 | Conference Paper | LibreCat-ID: 39407
@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001, place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition}, title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business and e-Work Conference and Exhibition} }
LibreCat
 
[260]
2001 | Conference Paper | LibreCat-ID: 39421
@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }
LibreCat | DOI
 
[259]
2001 | Conference Paper | LibreCat-ID: 39427
@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}, year={2001} }
LibreCat
 
[258]
2001 | Conference Paper | LibreCat-ID: 39432
@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={10.1109/HICSS.2001.926319}, booktitle={Proceedings of the 34th Annual Hawaii International Conference on System Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001} }
LibreCat | DOI
 
[257]
2001 | Conference Paper | LibreCat-ID: 39431
@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands}, title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE 01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001} }
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39406
@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller, Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen} }
LibreCat
 
[255]
2001 | Conference Paper | LibreCat-ID: 39425
@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany}, series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung 2000} }
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA}, title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer, Arne and Zabel, Henning}, year={2000} }
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
@inproceedings{Bhatt_Müller_2000, place={Nagoya, Japan}, title={A Methodology for the Protocol-Centered Design of Agent-Based Systems}, booktitle={Proceedings of IECON 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
@inproceedings{Bhatt_Müller_2000, place={Durham, UK}, title={Morphic Nets: Model Based Design Diagrams}, booktitle={Proceedings of UKPEW 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }
LibreCat
 
[247]
2000 | Patent | LibreCat-ID: 53588
@article{Dangberg_Müller_2000, title={Verfahren zur Steuerung der Anordnung von graphischen Elementen}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2000} }
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39481
@article{Geiger_Lehrenfeld_Müller_1999, place={Magdeburg, Germany}, series={Simulation und Visualisierung}, title={Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999}, collection={Simulation und Visualisierung} }
LibreCat
 
[245]
1999 | Conference Paper | LibreCat-ID: 39488
@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={10.1109/HICSS.1999.773046}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39487
@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }
LibreCat | DOI
 
[243]
1999 | Conference Paper | LibreCat-ID: 39468
@article{Dücker_Flake_Geiger_Müller_Paelke_Reimann_Rosenbach_Zimmermann_Zelder_1999, place={Bonn}, series={Intelligente Virtuelle Umgebungen}, title={Wissenbasierte Konzepte und visuelle interaktive Systeme}, author={Dücker, M. and Flake, Stephan and Geiger, C. and Müller, Wolfgang and Paelke, Volker and Reimann, C. and Rosenbach, W. and Zimmermann, D. and Zelder, S.}, year={1999}, collection={Intelligente Virtuelle Umgebungen} }
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39471
@inproceedings{Dangberg_Müller_1999, place={Tokyo, Japan}, title={Generation of Interactive Visual Environments for Direct Manipulation of Database Content}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Dangberg, Andreas and Müller, Wolfgang}, year={1999} }
LibreCat
 
[241]
1999 | Conference Paper | LibreCat-ID: 39474
@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York, NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}, DOI={10.1109/NAFIPS.1999.781697}, booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}, year={1999} }
LibreCat | DOI
 
[240]
1999 | Conference Paper | LibreCat-ID: 39477
@inproceedings{Müller_Ullmann_1999, place={Florence, Italy}, title={Scalable System for 3D Audio Raytracing}, DOI={10.1109/MMCS.1999.778592}, booktitle={ Proceedings IEEE International Conference on Multimedia Computing and Systems}, author={Müller, Wolfgang and Ullmann, F.}, year={1999} }
LibreCat | DOI
 
[239]
1998 | Journal Article | LibreCat-ID: 34578
@article{Müller_Sturm_1998, title={Visuelle Spezifikations- und Modellierungstechniken}, DOI={10.1524/itit.1998.40.3.32}, journal={it - Information Technology}, publisher={Oldenbourg Verlag}, author={Müller, Wolfgang and Sturm, Jörgen}, year={1998}, pages={32–36} }
LibreCat | DOI
 
[238]
1998 | Conference Paper | LibreCat-ID: 39496
@inproceedings{Dücker_Müller_Rubart_1998, place={Halifax, NS, Canada }, title={VIPspace - A Visually Programmable Shared Workspace}, DOI={10.1109/VL.1998.706150}, booktitle={ Proceedings. 1998 IEEE Symposium on Visual Languages }, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1998} }
LibreCat | DOI
 
[237]
1998 | Conference Paper | LibreCat-ID: 39499
@inproceedings{Geiger_Lehrenfeld_Müller_1998, place={Adelaide, Australia}, title={Authoring Communicating Agents in Virtual Environments}, booktitle={Proceedings of the Annual Conference for the Computer Human Interaction}, author={Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang}, year={1998} }
LibreCat
 
[236]
1998 | Conference Paper | LibreCat-ID: 39493
@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM - An Animated 3D Programming Language}, DOI={10.1109/VL.1998.706167}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger, Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }
LibreCat | DOI
 
[235]
1998 | Conference Paper | LibreCat-ID: 39489
@article{Geiger_Müller_1998, place={Magdeburg, Germany}, series={Simulation und Visualisierung 98}, title={Visuelle Spezifikation, Modellierung und Animation im Systementwurf}, author={Geiger, Christian and Müller, Wolfgang}, year={1998}, collection={Simulation und Visualisierung 98} }
LibreCat
 
[234]
1998 | Book | LibreCat-ID: 23938
@book{Müller_Rammig_1998, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, volume={36}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Müller, Wolfgang and Rammig, Franz-Josef}, year={1998}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
 
[233]
1998 | Book (Editor) | LibreCat-ID: 53587
@book{Müller_Rammig_1998, place={Paderborn, Germany}, title={Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, year={1998} }
LibreCat
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
@inproceedings{Dücker_Geiger_Lehrenfeld_Müller_Tahedl_1997, place={Capri, Italy}, title={A Visual Programming Language for Qualitative Data}, DOI={10.1109/VL.1997.626593}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
@inproceedings{Dücker_Lehrenfeld_Müller_Tahedl_1997, place={Monterey, CA, USA }, title={A Generic System for Interactive Real--Time Animation}, DOI={10.1109/ECBS.1997.581876}, booktitle={ Proceedings International Conference and Workshop on Engineering of Computer-Based Systems}, author={Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
@article{Aisch_Joosten_Müller_Buijs_1996, place={Kaiserslautern}, series={Tagungsband: CAD’96}, title={Interaktiver Produktdatenaustausch mit EDIFACT}, author={Aisch, H. and Joosten, M. and Müller, Wolfgang and Buijs, F.}, year={1996}, collection={Tagungsband: CAD’96} }
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
@inproceedings{Griebel_Lehrenfeld_Müller_Tahedl_Uhr_1996, place={Boulder CO}, title={Integrating a Constraint Solver into a Real-Time Animation Environment}, DOI={10.1109/VL.1996.545262}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Griebel, P. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C. and Uhr, H.}, year={1996} }
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
@inproceedings{Dücker_Lehrenfeld_Müller_1996, place={Budapest, Hungary}, title={Specification and Analysis of Concurrent Systems in a Complete Visual Environment}, booktitle={Proceedings of the 10th European Simulation Multiconference (ESM’96)}, author={Dücker, Marita and Lehrenfeld, Georg and Müller, Wolfgang}, year={1996} }
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996, place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={10.1109/VL.1996.545302}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J. and Tahedl, C. and Weber, A.}, year={1996} }
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={10.1007/978-1-4615-2237-9_5}, booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer, Peter T.}, year={1995}, pages={107–139} }
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
@inproceedings{Lehrenfeld_Müller_Wiechers_1995, place={Greenville, South Carolina}, title={Conformance Tests of Very Large STEP Files}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1995} }
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
@inproceedings{Zhao_Kaufmann_Kern_Müller_1995, title={Pen-based Interfaces for Engineering Environments}, author={Zhao, R. and Kaufmann, H. J. and Kern, T. and Müller, Wolfgang}, year={1995} }
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={10.1109/VL.1995.520803}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
@article{Müller_Lehrenfeld_Wiechers_1995, series={CENELEC Technical Report R117-003:1995}, title={Validation of EXPRESS Models}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1995}, collection={CENELEC Technical Report R117-003:1995} }
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
@inproceedings{Müller_Felser_Buijs_1995, place={Greenville, South Carolina}, title={Guide to EXPRESS-P}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Müller, Wolfgang and Felser, W. and Buijs, F.}, year={1995} }
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={10.1109/ASPDAC.1995.486383}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
@inproceedings{Zhao_Müller_Kaufmann_Kern_Buijs_1995, place={Grenoble}, title={An Editor for the Rapid Prototyping of EXPRESS-G Models}, booktitle={Proceedings of the 5th EXPRESS User’s Group}, author={Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}, year={1995} }
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
@article{Müller_Felser_Wiechers_1995, place={Paderborn, Germany}, series={ISO TC184/SC4/WG5, N230, Cadlab}, title={The Process Modeling Language EXPRESS-P}, author={Müller, Wolfgang and Felser, W. and Wiechers, N.}, year={1995}, collection={ISO TC184/SC4/WG5, N230, Cadlab} }
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
@article{Felser_Müller_1994, place={Paderborn, Germany}, series={CAD94}, title={EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}, author={Felser, W. and Müller, Wolfgang}, year={1994}, collection={CAD94} }
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
@inproceedings{Eikerling_Müller_1994, place={Christchurch, New Zealand}, title={FADE: A Layout Facility for Graph-Based Diagrams}, booktitle={Proceedings of the 17th Annual Computer Science Conference}, author={Eikerling, Josef and Müller, Wolfgang}, year={1994}, pages={331–342} }
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
@inproceedings{Hyhuis_Müller_1994, place={PoDTe, UK}, title={Implementing Simultaneous Design: A Case Study}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}, author={Hyhuis, D. and Müller, Wolfgang}, year={1994} }
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
@article{Müller_Lehrenfeld_Wiechers_1994, place={Aachen}, series={TAT’94}, title={Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1994}, collection={TAT’94} }
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
@inproceedings{Börger_Glässer_Müller_1994, place={Grenoble, France}, title={The Semantics of Behavioral VHDL’93 Descriptions}, booktitle={Proceedings of EURO-DAC’94/EURO-VHDL’94}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, year={1994} }
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
@article{Lehrenfeld_Müller_Wiechers_1994, series={Tagungsband: CAD94}, title={Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994}, collection={Tagungsband: CAD94} }
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
@inproceedings{Lehrenfeld_Müller_Wiechers_1994, place={Poole, UK}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994} }
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
@article{Lehrenfeld_Müller_1994, place={Paderborn, Germany}, series={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6}, title={Computational Model of a Logical Visual Programming Language}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1994}, collection={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6} }
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
@inproceedings{Felser_Müller_1994, place={Minneapolis, MI}, title={EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}, booktitle={Proceedings of the 1994 ASME Computers in Engineering Conference}, author={Felser, Winfried and Müller, Wolfgang}, year={1994}, pages={145–154} }
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
@inproceedings{Müller_Kleinjohann_1993, place={San Diego, USA}, title={Tight Integration and Synchronization of Distributed Graphical Applications}, booktitle={Proceedings of the Seventh Annual Database Symposium}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1993} }
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
@inproceedings{Müller_1993, place={Brisbane, Australia}, title={Approaching the Denotational Semantics of Behavioral VHDL Descriptions}, booktitle={Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications}, author={Müller, Wolfgang}, year={1993} }
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
@inproceedings{Müller_Lehrenfeld_Wiechers_1993, place={Berlin}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 3nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1993} }
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
@inproceedings{Müller_Kleinjohann_1992, place={Dallas TX}, title={The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments}, booktitle={Proceedings of the 2nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1992} }
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
@inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented System Design and Specification}, booktitle={Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang}, year={1991} }
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991} }
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE: Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz Josef and Müller, Wolfgang}, year={1989} }
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed

264 Publications

Mark all

[264]
2002 | Conference Paper | LibreCat-ID: 39402
@article{Flake_Müller_2002, place={Halle(Saale), Germany}, series={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”}, title={Temporale Erweiterungen der OCL - Überblick und Aussichten}, author={Flake, Stephan and Müller, Wolfgang}, year={2002}, collection={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”} }
LibreCat
 
[263]
2002 | Book (Editor) | LibreCat-ID: 53586
@book{Bücker_Eikerling_Müller_2002, place={Paderborn, Germany}, title={Proceedings of the VHE Workshop}, year={2002} }
LibreCat
 
[262]
2001 | Conference Paper | LibreCat-ID: 39411
@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }
LibreCat | DOI
 
[261]
2001 | Conference Paper | LibreCat-ID: 39407
@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001, place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition}, title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business and e-Work Conference and Exhibition} }
LibreCat
 
[260]
2001 | Conference Paper | LibreCat-ID: 39421
@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }
LibreCat | DOI
 
[259]
2001 | Conference Paper | LibreCat-ID: 39427
@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}, year={2001} }
LibreCat
 
[258]
2001 | Conference Paper | LibreCat-ID: 39432
@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={10.1109/HICSS.2001.926319}, booktitle={Proceedings of the 34th Annual Hawaii International Conference on System Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001} }
LibreCat | DOI
 
[257]
2001 | Conference Paper | LibreCat-ID: 39431
@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands}, title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE 01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001} }
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39406
@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller, Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen} }
LibreCat
 
[255]
2001 | Conference Paper | LibreCat-ID: 39425
@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany}, series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung 2000} }
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA}, title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer, Arne and Zabel, Henning}, year={2000} }
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
@inproceedings{Bhatt_Müller_2000, place={Nagoya, Japan}, title={A Methodology for the Protocol-Centered Design of Agent-Based Systems}, booktitle={Proceedings of IECON 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
@inproceedings{Bhatt_Müller_2000, place={Durham, UK}, title={Morphic Nets: Model Based Design Diagrams}, booktitle={Proceedings of UKPEW 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }
LibreCat
 
[247]
2000 | Patent | LibreCat-ID: 53588
@article{Dangberg_Müller_2000, title={Verfahren zur Steuerung der Anordnung von graphischen Elementen}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2000} }
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39481
@article{Geiger_Lehrenfeld_Müller_1999, place={Magdeburg, Germany}, series={Simulation und Visualisierung}, title={Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999}, collection={Simulation und Visualisierung} }
LibreCat
 
[245]
1999 | Conference Paper | LibreCat-ID: 39488
@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={10.1109/HICSS.1999.773046}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39487
@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }
LibreCat | DOI
 
[243]
1999 | Conference Paper | LibreCat-ID: 39468
@article{Dücker_Flake_Geiger_Müller_Paelke_Reimann_Rosenbach_Zimmermann_Zelder_1999, place={Bonn}, series={Intelligente Virtuelle Umgebungen}, title={Wissenbasierte Konzepte und visuelle interaktive Systeme}, author={Dücker, M. and Flake, Stephan and Geiger, C. and Müller, Wolfgang and Paelke, Volker and Reimann, C. and Rosenbach, W. and Zimmermann, D. and Zelder, S.}, year={1999}, collection={Intelligente Virtuelle Umgebungen} }
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39471
@inproceedings{Dangberg_Müller_1999, place={Tokyo, Japan}, title={Generation of Interactive Visual Environments for Direct Manipulation of Database Content}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Dangberg, Andreas and Müller, Wolfgang}, year={1999} }
LibreCat
 
[241]
1999 | Conference Paper | LibreCat-ID: 39474
@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York, NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}, DOI={10.1109/NAFIPS.1999.781697}, booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}, year={1999} }
LibreCat | DOI
 
[240]
1999 | Conference Paper | LibreCat-ID: 39477
@inproceedings{Müller_Ullmann_1999, place={Florence, Italy}, title={Scalable System for 3D Audio Raytracing}, DOI={10.1109/MMCS.1999.778592}, booktitle={ Proceedings IEEE International Conference on Multimedia Computing and Systems}, author={Müller, Wolfgang and Ullmann, F.}, year={1999} }
LibreCat | DOI
 
[239]
1998 | Journal Article | LibreCat-ID: 34578
@article{Müller_Sturm_1998, title={Visuelle Spezifikations- und Modellierungstechniken}, DOI={10.1524/itit.1998.40.3.32}, journal={it - Information Technology}, publisher={Oldenbourg Verlag}, author={Müller, Wolfgang and Sturm, Jörgen}, year={1998}, pages={32–36} }
LibreCat | DOI
 
[238]
1998 | Conference Paper | LibreCat-ID: 39496
@inproceedings{Dücker_Müller_Rubart_1998, place={Halifax, NS, Canada }, title={VIPspace - A Visually Programmable Shared Workspace}, DOI={10.1109/VL.1998.706150}, booktitle={ Proceedings. 1998 IEEE Symposium on Visual Languages }, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1998} }
LibreCat | DOI
 
[237]
1998 | Conference Paper | LibreCat-ID: 39499
@inproceedings{Geiger_Lehrenfeld_Müller_1998, place={Adelaide, Australia}, title={Authoring Communicating Agents in Virtual Environments}, booktitle={Proceedings of the Annual Conference for the Computer Human Interaction}, author={Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang}, year={1998} }
LibreCat
 
[236]
1998 | Conference Paper | LibreCat-ID: 39493
@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM - An Animated 3D Programming Language}, DOI={10.1109/VL.1998.706167}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger, Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }
LibreCat | DOI
 
[235]
1998 | Conference Paper | LibreCat-ID: 39489
@article{Geiger_Müller_1998, place={Magdeburg, Germany}, series={Simulation und Visualisierung 98}, title={Visuelle Spezifikation, Modellierung und Animation im Systementwurf}, author={Geiger, Christian and Müller, Wolfgang}, year={1998}, collection={Simulation und Visualisierung 98} }
LibreCat
 
[234]
1998 | Book | LibreCat-ID: 23938
@book{Müller_Rammig_1998, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, volume={36}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Müller, Wolfgang and Rammig, Franz-Josef}, year={1998}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
 
[233]
1998 | Book (Editor) | LibreCat-ID: 53587
@book{Müller_Rammig_1998, place={Paderborn, Germany}, title={Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, year={1998} }
LibreCat
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
@inproceedings{Dücker_Geiger_Lehrenfeld_Müller_Tahedl_1997, place={Capri, Italy}, title={A Visual Programming Language for Qualitative Data}, DOI={10.1109/VL.1997.626593}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
@inproceedings{Dücker_Lehrenfeld_Müller_Tahedl_1997, place={Monterey, CA, USA }, title={A Generic System for Interactive Real--Time Animation}, DOI={10.1109/ECBS.1997.581876}, booktitle={ Proceedings International Conference and Workshop on Engineering of Computer-Based Systems}, author={Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
@article{Aisch_Joosten_Müller_Buijs_1996, place={Kaiserslautern}, series={Tagungsband: CAD’96}, title={Interaktiver Produktdatenaustausch mit EDIFACT}, author={Aisch, H. and Joosten, M. and Müller, Wolfgang and Buijs, F.}, year={1996}, collection={Tagungsband: CAD’96} }
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
@inproceedings{Griebel_Lehrenfeld_Müller_Tahedl_Uhr_1996, place={Boulder CO}, title={Integrating a Constraint Solver into a Real-Time Animation Environment}, DOI={10.1109/VL.1996.545262}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Griebel, P. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C. and Uhr, H.}, year={1996} }
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
@inproceedings{Dücker_Lehrenfeld_Müller_1996, place={Budapest, Hungary}, title={Specification and Analysis of Concurrent Systems in a Complete Visual Environment}, booktitle={Proceedings of the 10th European Simulation Multiconference (ESM’96)}, author={Dücker, Marita and Lehrenfeld, Georg and Müller, Wolfgang}, year={1996} }
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996, place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={10.1109/VL.1996.545302}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J. and Tahedl, C. and Weber, A.}, year={1996} }
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={10.1007/978-1-4615-2237-9_5}, booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer, Peter T.}, year={1995}, pages={107–139} }
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
@inproceedings{Lehrenfeld_Müller_Wiechers_1995, place={Greenville, South Carolina}, title={Conformance Tests of Very Large STEP Files}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1995} }
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
@inproceedings{Zhao_Kaufmann_Kern_Müller_1995, title={Pen-based Interfaces for Engineering Environments}, author={Zhao, R. and Kaufmann, H. J. and Kern, T. and Müller, Wolfgang}, year={1995} }
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={10.1109/VL.1995.520803}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
@article{Müller_Lehrenfeld_Wiechers_1995, series={CENELEC Technical Report R117-003:1995}, title={Validation of EXPRESS Models}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1995}, collection={CENELEC Technical Report R117-003:1995} }
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
@inproceedings{Müller_Felser_Buijs_1995, place={Greenville, South Carolina}, title={Guide to EXPRESS-P}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Müller, Wolfgang and Felser, W. and Buijs, F.}, year={1995} }
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={10.1109/ASPDAC.1995.486383}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
@inproceedings{Zhao_Müller_Kaufmann_Kern_Buijs_1995, place={Grenoble}, title={An Editor for the Rapid Prototyping of EXPRESS-G Models}, booktitle={Proceedings of the 5th EXPRESS User’s Group}, author={Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}, year={1995} }
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
@article{Müller_Felser_Wiechers_1995, place={Paderborn, Germany}, series={ISO TC184/SC4/WG5, N230, Cadlab}, title={The Process Modeling Language EXPRESS-P}, author={Müller, Wolfgang and Felser, W. and Wiechers, N.}, year={1995}, collection={ISO TC184/SC4/WG5, N230, Cadlab} }
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
@article{Felser_Müller_1994, place={Paderborn, Germany}, series={CAD94}, title={EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}, author={Felser, W. and Müller, Wolfgang}, year={1994}, collection={CAD94} }
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
@inproceedings{Eikerling_Müller_1994, place={Christchurch, New Zealand}, title={FADE: A Layout Facility for Graph-Based Diagrams}, booktitle={Proceedings of the 17th Annual Computer Science Conference}, author={Eikerling, Josef and Müller, Wolfgang}, year={1994}, pages={331–342} }
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
@inproceedings{Hyhuis_Müller_1994, place={PoDTe, UK}, title={Implementing Simultaneous Design: A Case Study}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}, author={Hyhuis, D. and Müller, Wolfgang}, year={1994} }
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
@article{Müller_Lehrenfeld_Wiechers_1994, place={Aachen}, series={TAT’94}, title={Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1994}, collection={TAT’94} }
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
@inproceedings{Börger_Glässer_Müller_1994, place={Grenoble, France}, title={The Semantics of Behavioral VHDL’93 Descriptions}, booktitle={Proceedings of EURO-DAC’94/EURO-VHDL’94}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, year={1994} }
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
@article{Lehrenfeld_Müller_Wiechers_1994, series={Tagungsband: CAD94}, title={Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994}, collection={Tagungsband: CAD94} }
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
@inproceedings{Lehrenfeld_Müller_Wiechers_1994, place={Poole, UK}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994} }
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
@article{Lehrenfeld_Müller_1994, place={Paderborn, Germany}, series={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6}, title={Computational Model of a Logical Visual Programming Language}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1994}, collection={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6} }
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
@inproceedings{Felser_Müller_1994, place={Minneapolis, MI}, title={EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}, booktitle={Proceedings of the 1994 ASME Computers in Engineering Conference}, author={Felser, Winfried and Müller, Wolfgang}, year={1994}, pages={145–154} }
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
@inproceedings{Müller_Kleinjohann_1993, place={San Diego, USA}, title={Tight Integration and Synchronization of Distributed Graphical Applications}, booktitle={Proceedings of the Seventh Annual Database Symposium}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1993} }
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
@inproceedings{Müller_1993, place={Brisbane, Australia}, title={Approaching the Denotational Semantics of Behavioral VHDL Descriptions}, booktitle={Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications}, author={Müller, Wolfgang}, year={1993} }
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
@inproceedings{Müller_Lehrenfeld_Wiechers_1993, place={Berlin}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 3nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1993} }
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
@inproceedings{Müller_Kleinjohann_1992, place={Dallas TX}, title={The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments}, booktitle={Proceedings of the 2nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1992} }
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
@inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented System Design and Specification}, booktitle={Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang}, year={1991} }
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991} }
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE: Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz Josef and Müller, Wolfgang}, year={1989} }
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed