Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
327 Publications
2003 | Conference Paper | LibreCat-ID: 39364
@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang, J. and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
@article{Eikerling_Müller_Wegener_2002, title={Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken}, journal={it+ti}, publisher={Oldenbourg Verlag}, author={Eikerling, H. J. and Müller, Wolfgang and Wegener, J.}, year={2002}, pages={128–136} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
@inproceedings{Schäfer_Dangberg_Müller_2002, place={Paderborn, Germany}, title={RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents}, booktitle={Proceedings of the VHE Workshop}, author={Schäfer, Robbie and Dangberg, Andreas and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39370
@inproceedings{Loeser_Altenbernd_Ditze_Müller_2002, title={Distributed Video-on-Demand Services on Peer to Peer Basis}, booktitle={Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)}, author={Loeser, Chris and Altenbernd, Peter and Ditze, Michael and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35}, author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
@inproceedings{Flake_Müller_2002, place={Dresden, Germany}, title={A UML Profile for Real-Time Constraints with the OCL}, booktitle={Proceedings of the UML 2002 - The Unified Modeling Language}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
@article{Dangelmeier_Darnedde_Flake_Müller_Pape_2002, place={Paderborn, Germany}, series={Tagungsband: 4. Paderborner Frühlingstagung}, title={Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen}, author={Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang and Pape, U.}, year={2002}, collection={Tagungsband: 4. Paderborner Frühlingstagung} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
@inproceedings{Plomp_Schäfer_Müller_2002, place={Montreal, Canada}, title={Comparing Transcoding Tools for Use with a Generic User Interface Format}, booktitle={Proceedings of the Extreme Markup Languages 2002}, author={Plomp, Johan and Schäfer, Robbie and Müller, Wolfgang}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
| DOI
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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