@inproceedings{39411, abstract = {{Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system.}}, author = {{Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}}, booktitle = {{Proceedings of IEEE KMN 2001}}, isbn = {{0-7695-1269-0}}, keywords = {{Virtual prototyping, Animation, Collaboration, System analysis and design, Feedback, Application software, Power system modeling, Handicapped aids, Process design, Contracts}}, title = {{{Customer-Oriented Systems Design through Virtual Prototyps}}}, doi = {{10.1109/ENABL.2001.953425}}, year = {{2001}}, } @inproceedings{39407, abstract = {{This article presents challenges, visions, and solutions for a true Pan- European collaborative engineering infrastructure that is a target of the IST project E-COLLEG. The consortium aims at the definition of a transparent infrastructure that will enable engineers from various domains to collaborate during the design of complex heterogeneous systems. In this context, we introduce an advanced collaborative infrastructure (ACI). ACI covers dynamic Tool Registration and Management Services (TRMS) for distance-spanning, tool integration and administration, as well as open interfaces for XML-based data exchange. TRMS will constitute a backbone for E-COLLEG-related pan-European collaborative research and engineering studies by fostering a combination of most recent Plug- and-Play techniques employing agent-based communication based on XML- oriented integration technologies. This new enabling technology for collaborative engineering is validated in two application scenarios.}}, author = {{Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X.}}, title = {{{Advanced Infrastructure for PAN-European Collaborative Engineering}}}, year = {{2001}}, } @inproceedings{39421, abstract = {{We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL.}}, author = {{Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}}, booktitle = {{Proceedings of the Design, Automation, and Test in Europe (DATE’01)}}, isbn = {{0-7695-0993-2}}, keywords = {{Yarn, Formal verification, Kernel, Hardware design languages, Electronic design automation and methodology, Algebra, Computational modeling, Logic functions, Computer languages, Clocks}}, publisher = {{IEEE}}, title = {{{The Simulation Semantics of SystemC}}}, doi = {{10.1109/DATE.2001.915002}}, year = {{2001}}, } @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}}, } @phdthesis{19620, author = {{Rieping, Ingo}}, isbn = {{3-931466-80-9}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Communication in Parallel Systems-Models, Algorithms and Implementations}}}, volume = {{81}}, year = {{2000}}, } @phdthesis{19621, author = {{Westermann, Matthias}}, isbn = {{3-931466-89-2}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints}}}, volume = {{90}}, year = {{2000}}, } @techreport{19733, author = {{Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus}}, title = {{{PUB-Library, Release 7.0, User Guide and Function Reference}}}, year = {{2000}}, } @inproceedings{19849, author = {{Bednara, M. and Beyer, O. and Teich, J. and Wanka, Rolf}}, booktitle = {{Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)}}, isbn = {{0769507166}}, pages = {{299--308}}, title = {{{Tradeoff analysis and architecture design of a hybrid hardware/software sorter}}}, doi = {{10.1109/asap.2000.862400}}, year = {{2000}}, } @misc{2433, author = {{Plessl, Christian and Maurer, Simon}}, keywords = {{co-design, speech processing}}, publisher = {{Computer Engineering and Networks Lab, ETH Zurich, Switzerland}}, title = {{{Hardware/Software Codesign in Speech Compression Applications}}}, year = {{2000}}, } @article{3247, author = {{Fischer, Clemens and Wehrheim, Heike}}, journal = {{Bulletin of the {EATCS}}}, pages = {{92----101}}, title = {{{Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}}}, year = {{2000}}, } @article{3248, author = {{Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{3}}, pages = {{147----164}}, title = {{{Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}}}, doi = {{10.1007/s001650070026}}, year = {{2000}}, } @inproceedings{3249, author = {{Fischer, Clemens and Wehrheim, Heike}}, booktitle = {{Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}}, editor = {{Rus, Teodor}}, pages = {{469----483}}, title = {{{Behavioural Subtyping Relations for Object-Oriented Formalisms}}}, doi = {{10.1007/3-540-45499-3_33}}, year = {{2000}}, } @inproceedings{3250, author = {{Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}}, editor = {{S. E. Maibaum, T.}}, pages = {{334----348}}, title = {{{Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}}}, doi = {{10.1007/3-540-46428-X_23}}, year = {{2000}}, } @inproceedings{3251, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}}, editor = {{F. Smith, Scott and L. Talcott, Carolyn}}, pages = {{213----231}}, title = {{{Behavioural Subtyping and Property Preservation}}}, doi = {{10.1007/978-0-387-35520-7_11}}, year = {{2000}}, } @inbook{3023, author = {{Blömer, Johannes}}, booktitle = {{Automata, Languages and Programming}}, isbn = {{9783540677154}}, issn = {{0302-9743}}, pages = {{248--259}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}}}, doi = {{10.1007/3-540-45022-x_22}}, year = {{2000}}, } @article{2143, author = {{Adler, Micah and Scheideler, Christian}}, journal = {{Theory Comput. Syst.}}, number = {{5/6}}, pages = {{337----391}}, title = {{{Efficient Communication Strategies for Ad Hoc Wireless Networks}}}, doi = {{10.1007/s002240010006}}, volume = {{33}}, year = {{2000}}, }