@inproceedings{39427,
  author       = {{Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}},
  booktitle    = {{Proceedings of ISI 2001}},
  title        = {{{Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}}},
  year         = {{2001}},
}

@inproceedings{39432,
  abstract     = {{This article presents SAL, a general purpose scripting language for the rapid development of distributed software agents seamlessly embedded in a visual environment. Integrated facilities for dynamic visualization provide sample but powerful means for debugging and domain-oriented animation. SAL agents are arranged on a set of 2D worksheets which can be distributed over different machines. An agent's program is defined by the means of a table specifying a set of state transition rules with a condition and a sequence of actions each. Beyond basic computation and communication, actions can dynamically modify the agent's depiction, its program, and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability in various domains like electronic systems design and process management.}},
  author       = {{Müller, Wolfgang and Meyer, A. and Zabel, Henning}},
  booktitle    = {{Proceedings of the 34th Annual Hawaii International Conference on System Sciences}},
  isbn         = {{0-7695-0981-9}},
  keywords     = {{software prototyping, distributed programming, authoring languages, software agents, program visualisation, parallel languages}},
  title        = {{{A Language for the Rapid Prototyping of Mobile Evolving Agents}}},
  doi          = {{10.1109/HICSS.2001.926319}},
  year         = {{2001}},
}

@inproceedings{39431,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}},
  booktitle    = {{Proceedings of SCASE 01}},
  title        = {{{Security Concepts for Agent-Based Systems}}},
  year         = {{2001}},
}

@inproceedings{39406,
  abstract     = {{Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei der Spe-
zifikation von Modelleigenschaften im Kontext gegebener UML Diagramme zu un-
terst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften, die das dynamische
Verhalten betreffen, mit der derzeitigen Version von OCL auszudr ̈ucken.
Wir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur Spezifikation von zu-
standsbasierten, zeitbehafteten Eigenschaften. Obwohl OCL und unsere Erweiterung
in erster Linie im Rahmen der UML entwickelt worden sind, ist es auch m ̈oglich,
mit dieser Sprache Eigenschaften f ̈ur andere objektbasierte Formalismen zu beschrei-
ben. Wir veranschaulichen dies anhand einer Anwendung bei der Modellpr ̈ufungsspe-
zifikation in Verbindung mit MFERT, einer praxisrelevanten Notation, die im Projekt
GRASP zur Modellierung von Produktionsabl ̈aufen eingesetzt wird.}},
  author       = {{Flake, Stephan and Müller, Wolfgang}},
  title        = {{{Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}}},
  year         = {{2001}},
}

@inproceedings{39425,
  abstract     = {{This paper introduces the VIVID (Visual Interactive VIew Development) framework for generation and customization of advanced visual interactive environments for resource manipulation in databases. The framework covers the definition of symbols, their mapping to database objects, specification of spatial relationships among them, layout assignment as well as the definition of drag&drop-based user interactions.}},
  author       = {{Dangberg, Andreas and Müller, Wolfgang}},
  booktitle    = {{Proceedings of ISI 2001}},
  title        = {{{Generation of Interactive Visual Interfaces for Resource Management}}},
  year         = {{2001}},
}

@misc{53588,
  author       = {{Dangberg, Andreas and Müller, Wolfgang}},
  title        = {{{Verfahren zur Steuerung der Anordnung von graphischen Elementen}}},
  year         = {{2000}},
}

@inproceedings{39434,
  abstract     = {{In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein
Fertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir
uns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer
und zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die
graphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in
Industrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in
zeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur
Modellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung
wird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer
temporalen Logik oder einer davon abstrahierten Form spezifiziert werden.}},
  author       = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}},
  title        = {{{Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}}},
  year         = {{2000}},
}

@inproceedings{39444,
  abstract     = {{Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge im Szenario eines holonischen Transportsystems vor. }},
  author       = {{Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}},
  title        = {{{Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}}},
  year         = {{2000}},
}

@inproceedings{39461,
  abstract     = {{Model checking has received wide acceptance as a valuable technique in the field of electronic
design automation and is currently of growing interest in general systems design. Though its
concepts and applications are well understood it often turns out that engineers have severe
problems with the specification process and the underlying notation, i.e., formulation and
understanding of specifications through means of temporal logic formulae. In this article, we
present an approach for a natural language–oriented representation of temporal logic formulae
by introducing patterns of structured English sentences for Clocked CTL (CCTL) specification.
After outlining the basic patterns of the sentences we give their semantics by a translation to
CCTL. A final example demonstrates their application.}},
  author       = {{Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}},
  title        = {{{Structured English for Model Checking Specification}}},
  year         = {{2000}},
}

@inproceedings{39435,
  abstract     = {{This article presents SAL (Synchronous Agent Language), a general-purpose grid{based 2D programming language for parallel system specication, implementation, and visualization. SAL agents have a depiction and a behavior. The behavior is dened by the means of state transition rules. The depiction is given by the drawing area on its surface. Actions in rules can execute drawing operations for dynamically changing the depiction during runtime. For a broader range of applications, SAL incorporates mobile code, code modication during runtime, and tool integration facilities.}},
  author       = {{Müller, Wolfgang and Meyer, Arne and Zabel, Henning}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages}},
  title        = {{{A Visual Framework for the Scripting of Parallel Agents}}},
  year         = {{2000}},
}

@inproceedings{39439,
  author       = {{Bhatt, P. C. P. and Müller, Wolfgang}},
  booktitle    = {{Proceedings of IECON 2000}},
  title        = {{{A Methodology for the Protocol-Centered Design of Agent-Based Systems}}},
  year         = {{2000}},
}

@inproceedings{39442,
  author       = {{Bhatt, P. C. P. and Müller, Wolfgang}},
  booktitle    = {{Proceedings of UKPEW 2000}},
  title        = {{{Morphic Nets: Model Based Design Diagrams}}},
  year         = {{2000}},
}

@inproceedings{39464,
  author       = {{Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}},
  booktitle    = {{Proceedings of AVI 2000}},
  title        = {{{An Advanced Visual Capture for Model Checking Specifications}}},
  year         = {{2000}},
}

@inproceedings{39481,
  author       = {{Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}},
  title        = {{{Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation}}},
  year         = {{1999}},
}

@inproceedings{39488,
  abstract     = {{CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and Lotus Notes have been successfully introduced to support the cooperation of geographically distributed work groups. Unfortunately, some of these software systems are not flexible enough to be customized easily to the requirements of an individual user. Most of the environments can only be configured by experts through complex programming. In this article we introduce VIP space, a shared workspace space in the sense of exchanging and processing shared objects between members of distributed work groups. VIP space can be easily adapted to the user's individual views and needs by means of a visual programming language. In VIP space, objects of the shared workspace are moved by drag and drop between task fields. Task fields are programmed by visual "if-then" rules applying a combination of icon- and form-based techniques. When a document represented by an icon is dropped on a task field its rules are checked and actions of the selected rules are excited. VIP space is finally demonstrated in an Internet course application.}},
  author       = {{Dücker, M. and Müller, Wolfgang and Rubart, Jessica}},
  booktitle    = {{ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}},
  isbn         = {{0-7695-0001-3}},
  keywords     = {{Application software, Electronic mail, Computer networks, Collaborative work, Teleconferencing, Asynchronous communication, Software systems, Internet, Computer applications, Discussion forums}},
  location     = {{Maui, HI, USA }},
  title        = {{{Innovative Concepts for Configurating Shared Workspaces through Visual Programming}}},
  doi          = {{10.1109/HICSS.1999.773046}},
  year         = {{1999}},
}

@inproceedings{39487,
  abstract     = {{This article introduces and discusses different innovative means for visual specification and animation of complex concurrent systems. It introduces the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. The article outlines the transformation of purely visual PJ programs into textual imperative programming languages. The second part of the article investigates animated 3D-presentations and introduces a novel approach to an animated 3D programming language for interactive customer-oriented illustrations.}},
  author       = {{Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}},
  booktitle    = {{Proceedings of HICSS-32}},
  isbn         = {{0-7695-0001-3}},
  keywords     = {{Animation, Computer languages, Object oriented modeling, Collaboration, Process design, Graphical user interfaces, Jacobian matrices, Standardization, Feedback, Software prototyping}},
  location     = {{Maui, Hawaii}},
  title        = {{{Visual Specification, Modeling, and Illustrations of Complex Systems}}},
  doi          = {{10.1109/HICSS.1999.772621}},
  year         = {{1999}},
}

@inproceedings{39468,
  abstract     = {{Dieser Beitrag stellt eine Auswahl aktueller Arbeiten des C-LAB Instituts in Paderborn vor, die sich im wesentlichen in
der Schnittmenge der Anwendung wissensbasierter Techniken im Systementwurf und dem Design interaktiver visueller Sy-
steme ansiedeln. Der allgemeinen Ausrichtung des C-LABs folgend, haben die meisten Projekte einen stark anwendungsbe-
zogenen Charakter. Der Beitrag gibt einen kurzen Überblick der wichtigsten aktuellen Arbeiten in diesem Bereich („Breite
vor Tiefe“) und skizziert die zukünftigen F&E-Aktivitäten, die sich auf die Anwendung wissensbasierter Konzepte beim
Entwurf interaktiver visueller Systeme konzentrieren.}},
  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.}},
  location     = {{Bonn}},
  title        = {{{Wissenbasierte Konzepte und visuelle interaktive Systeme}}},
  year         = {{1999}},
}

@inproceedings{39471,
  author       = {{Dangberg, Andreas and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages}},
  title        = {{{Generation of Interactive Visual Environments for Direct Manipulation of Database Content}}},
  year         = {{1999}},
}

@inproceedings{39474,
  abstract     = {{Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (belief desire intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategies which basically correspond to extended guarded Horn clauses with priorities. The presented concepts are introduced by an example from computer integrated manufacturing (CIM). The example gives the specification of a fuzzy controller for a manufacturing station in the context of a holonic manufacturing system (HMS).}},
  author       = {{Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}},
  booktitle    = {{Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society}},
  isbn         = {{0-7803-5211-4}},
  keywords     = {{Manufacturing systems, Fuzzy control, Multiagent systems, Control systems, Concurrent computing, Specification languages, Communication standards, Standards development, Communication system control, Computer integrated manufacturing}},
  location     = {{New York, NY, USA }},
  publisher    = {{IEEE}},
  title        = {{{Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}}},
  doi          = {{10.1109/NAFIPS.1999.781697}},
  year         = {{1999}},
}

@inproceedings{39477,
  abstract     = {{Though several approaches in sound processing are denoted as 3D audio very few of them generate high quality 3D audio information which allows listeners to exactly locate sound sources in three dimensional space. We present an approach to enhance sound by high quality 3D audio information through acoustic ray tracing where 3D audio is offline processed with digital filters of a head-related transfer function. The basic approach computes a fixed sound source for fixed listener. This approach is extended to generate 3D audio for moving listeners in interactive environments.}},
  author       = {{Müller, Wolfgang and Ullmann, F.}},
  booktitle    = {{ Proceedings IEEE International Conference on Multimedia Computing and Systems}},
  isbn         = {{0-7695-0253-9}},
  keywords     = {{Ray tracing, Loudspeakers, Motion pictures, Acoustic reflection, Ear, Digital filters, Parallel processing, Humans, Physics, Crosstalk}},
  title        = {{{Scalable System for 3D Audio Raytracing}}},
  doi          = {{10.1109/MMCS.1999.778592}},
  year         = {{1999}},
}