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
2007 | Conference Paper | LibreCat-ID: 38106
Marin, Andres, Wolfgang Müller, Robbie Schäfer, Florina Almenarez, Daniel Diaz, and Max Ziegler. “Middleware for Secure Home Access and Control.” In Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007). White Plains, New York, USA: IEEE, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38100
Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Device Independent User Interfaces for Smart Cards.” In Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007). Singapore, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann. “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.” In Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007. San Jose, USA, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal.” In Proceedings of IWUMUI’2007 at HCI’2007. Lancaster, United Kingdom, 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development for SoC Design.” In Proceedings of CODES/ISSS. Seoul, Korea, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer, Robbie, Wolfgang Müller, and Jinghua Groppe. “Profile Processing and Evolution for Smart Environments.” In Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06). Wuhan, China, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” In Proceedings of the UML-SoC Workshop at DAC 2006. San Francisco, USA, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” In Proc. of FDL’06. Darmstadt, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” In Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). Hasselt, Belgium, 2006. https://doi.org/10.1007/978-3-540-70816-2_4.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In Proceedings of the Design Automation & Test in Europe Conference. Munich, Germany: IEEE, 2006. https://doi.org/10.1109/DATE.2006.243902.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer, Robbie, Max Ziegler, and Wolfgang Müller. “Securing Personal Data in Smart Home Environments.” In Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006). Montreal, Canada, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
Müller, Wolfgang, Alberto Rosti, Sara Bocchio, and Elvinia Riccobene. “UML for ESL Design - Basic Principles, Tools, and Applications.” In Proc. of ICCAD’06. San Jose, USA, 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “Model Based Specification for Platform Independent Hardware Execution.” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 63–88. Kluwer, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC Design?” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 1–15. Kluwer, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, Alexander, and Wolfgang Müller. “Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.” Automotive Software Engineering. Bonn, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, Steffen, Robbie Schäfer, and Wolfgang Müller. “A Dialog Model for Multi Device Interfaces with Different Modalities.” In Proceedings of the HCI International 2005. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.171.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart Customization in Private Home Applications.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.156.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04. Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In Proceedings of DATE’04. Paris, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In Proceedings of AINA2004. Fukuoka, Japan : IEEE, 2004. https://doi.org/10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen, and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” In Proceedings of the Simulation and Visualisation 2004. Magdeburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In Proceedings of ISORC’04. WIen, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen, and R. Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” In Proceedings of the Design 2004. Dubrovnik, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, Chris, Robbie Schäfer, Wolfgang Müller, and Marek Borowski. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” In Proceedings of SCI’04. Orlando, USA, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, Steffen, Wolfgang Müller, and Robbie Schäfer. “Multimodal Dialog Description for Mobile Devices.” In Proceedings of AVI 2004. Gallipoli, Italy, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” In Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39352
Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” In Proceedings of the UML 2004. Lisbon, Portugal, 2004. https://doi.org/10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In SystemC - Methodologies and Applications, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. https://doi.org/10.1007/0-306-48735-7_4.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM) 2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” In Proceedings of CE 2003. Madeira, Portugal, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling. “Peer-to-Peer for Virtual Home Environments.” In Proceedings of HICCS-36. Hawaii, USA, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner. “Tool Integration and Management in Heterogeneous Computer Networks.” In Proceedings of DATE’03. Munich, Germany, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” In Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing. Acapulco, Mexico, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In Proceedings of SERP’03. Las Vegas, NV, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” In Proceedings of CCE’03. Poznan Poland, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In Proceedings of SEKE 2003. San Francisco, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” In Proceedings of CCE’03. Poznan Poland, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Proceedings of FDL’03. Frankfurt, Germany, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In Proceedings of the Workshop OCL 2.0 at UML 2003. San Francisco, USA, 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. https://doi.org/10.1007/3-540-45669-4_8.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, 2002, 128–36.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” In Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39370
Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed Video-on-Demand Services on Peer to Peer Basis.” In Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In Proceedings of the HICSS-35. Hawaii, USA, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In Proceedings of the UML 2002 - The Unified Modeling Language. Dresden, Germany: Springer-Verlag, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In Proceedings of the ISSS02. Nagoya, Japan, 2002. https://doi.org/10.1145/581199.581234 .
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In Proceedings of the Extreme Markup Languages 2002. Montreal, Canada, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39402
Flake, Stephan, and Wolfgang Müller. “Temporale Erweiterungen Der OCL - Überblick Und Aussichten.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen Anwendungen.” Halle(Saale), Germany, 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska, D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In Proceedings of the 34th Annual Hawaii International Conference on System Sciences. Maui, HI, USA , 2001. https://doi.org/10.1109/HICSS.2001.926319.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts for Agent-Based Systems.” In Proceedings of SCASE 01. Enschede, Netherlands, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39406
Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In Proceedings of the IEEE Symposium on Visual Languages. Seattle, Washington, USA, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In Proceedings of IECON 2000. Nagoya, Japan, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In Proceedings of UKPEW 2000. Durham, UK, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In Proceedings of AVI 2000. Palermo, Italy, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation.” Simulation Und Visualisierung. Magdeburg, Germany, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” In Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Maui, HI, USA , 1999. https://doi.org/10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In Proceedings of HICSS-32. Maui, Hawaii, 1999. https://doi.org/10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Stephan Flake, C. Geiger, Wolfgang Müller, Volker Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, and S. Zelder. “Wissenbasierte Konzepte Und Visuelle Interaktive Systeme.” Intelligente Virtuelle Umgebungen. Bonn, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Environments for Direct Manipulation of Database Content.” In Proceedings of the IEEE Symposium on Visual Languages. Tokyo, Japan, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” In Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. New York, NY, USA : IEEE, 1999. https://doi.org/10.1109/NAFIPS.1999.781697.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” In Proceedings IEEE International Conference on Multimedia Computing and Systems. Florence, Italy, 1999. https://doi.org/10.1109/MMCS.1999.778592.
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
Müller, Wolfgang, and Jörgen Sturm. “Visuelle Spezifikations- Und Modellierungstechniken.” It - Information Technology, 1998, 32–36. https://doi.org/10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Wolfgang Müller, and Jessica Rubart. “VIPspace - A Visually Programmable Shared Workspace.” In Proceedings. 1998 IEEE Symposium on Visual Languages . Halifax, NS, Canada , 1998. https://doi.org/10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, Christian, Georg Lehrenfeld, and Wolfgang Müller. “Authoring Communicating Agents in Virtual Environments.” In Proceedings of the Annual Conference for the Computer Human Interaction. Adelaide, Australia, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated 3D Programming Language.” In Proceedings of the IEEE Symposium on Visual Languages. Halifax, Canada, 1998. https://doi.org/10.1109/VL.1998.706167.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, Christian, and Wolfgang Müller. “Visuelle Spezifikation, Modellierung Und Animation Im Systementwurf.” Simulation Und Visualisierung 98. Magdeburg, Germany, 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Visual Programming Language for Qualitative Data.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626601.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.” In Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. Monterey, CA, USA , 1997. https://doi.org/10.1109/ECBS.1997.581876.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., M. Joosten, Wolfgang Müller, and F. Buijs. “Interaktiver Produktdatenaustausch Mit EDIFACT.” Tagungsband: CAD’96. Kaiserslautern, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Georg Lehrenfeld, Wolfgang Müller, C. Tahedl, and H. Uhr. “Integrating a Constraint Solver into a Real-Time Animation Environment.” In Proceedings of the 1996 IEEE Symposium on Visual Languages. Boulder CO, 1996. https://doi.org/10.1109/VL.1996.545262.
LibreCat
| DOI