Dieter Monjau

According to our database1, Dieter Monjau authored at least 33 papers between 1978 and 2005.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Meta Modelling of Embedded Systems using Active Databases.
Proceedings of the Forum on specification and Design Languages, 2005

2004
Einsatz von Mechanismen aktiver Datenbanken beim Entwurf eingebetteter Systeme.
it Inf. Technol., 2004

A Methodology for Embedded System Design supporting Layered Platforms.
Proceedings of the Forum on specification and Design Languages, 2004

Arbeitsplatz GD'71 - KRS 4201 - ESER für Computergraphik und Computergeometrie.
Proceedings of the Informatik in der DDR, 2004

2003
A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

A Universal Simulation Environment for Embedded Systems.
Proceedings of the 22nd IASTED International Conference on Modelling, 2003

Datenbanken zur konsistenten Speicherung von Entwurfsdaten für eingebettete Systeme.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Process Algebraic Specification, Refinement, and Verification of Embedded Systems.
Proceedings of the Forum on specification and Design Languages, 2003

A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.
Proceedings of the Forum on specification and Design Languages, 2003

2002
Semantische Integritätserhaltung in Wissensbasen für den wiederverwendungsorientierten Entwurf (Ensuring Semantic Integrity of Knowledge Bases for the Reuse-Oriented System Draft).
Informationstechnik Tech. Inform., 2002

Analyse dynamischer Eigenschaften eingebetteter Systeme mit GPSS.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

2001
Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen".
Informationstechnik Tech. Inform., 2001

An operational framework for the multi-lingual system simulation based on pi-calculus.
Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

Anwendung von UML zur Beschreibung von eingebetteten Systemen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

2000
Eine flexible Simulationsumgebung für System-On-Chip Design (A Flexible Simulation Environment for System-On-Chip Design).
Informationstechnik Tech. Inform., 2000

Ein Werkzeugprototyp zum wiederverwendungsorientierten Entwurf eingebetteter Systeme, Teil 2 (A Tool Prototyp for the Reuse Oriented Design of Embedded Systems, Part 2).
Informationstechnik Tech. Inform., 2000

Ein Werkzeugprototyp zum wiederverwendungsorientierten Entwurf eingebetteter Systeme, Teil 1 (A Tool Prototype for the Reuse Oriented Design of Embedded Systems, Part 1).
Informationstechnik Tech. Inform., 2000

Reuse-oriented design of embedded systems.
Proceedings of the Fourth International Conference on Knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, 2000

1999
Ein kompositioneller Ansatz zur Synthese von Datenpfaden.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

Knowledge Based Specification and Modeling of Embedded Systems.
Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998
Wissensbasierte Methoden für die Spezifikation und den Entwurf von Systemen.
Informationstechnik Tech. Inform., 1998

An Object-Oriented Model for Specification, Prototyping, Implementation and Reuse.
Proceedings of the 1998 Design, 1998

1997
Automating system construction by domain based approaches.
Proceedings of the 23rd EUROMICRO Conference '97, 1997

1996
Automating System-Level Design: From Specification to Architecture.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

High-Level Entwurf mikroelektronischer Systeme unter Verwendung von Methoden des wissensbasierten Konfigurierens.
Proceedings of the CAD '96: Verteilte und intelligente CAD-Systeme, 1996

1995
Object-oriented high-level modeling of system components for the generation of VHDL code.
Proceedings of the Proceedings EURO-DAC'95, 1995

A Formal Semantics for a Graphical Model Representation in System Design.
Proceedings of the Computer Aided Systems Theory, 1995

Object-Oriented High Level Modeling of Complex Systems.
Proceedings of the Computer Aided Systems Theory, 1995

1993
A New Model-Based Approach to the Co-Design of Heterogeneous Systems.
Proceedings of the Computer Aided Systems Theory, 1993

Integrating SDL and VHDL for System-Level Hardware Design.
Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1984
Grundlagen zur gerätetechnischen Realisierung eines Geometrie-Prozessors.
PhD thesis, 1984

1978
Ein Verfahren zur Synthese kombinatorischer Schaltfunktionen in einer zellularen Struktur.
J. Inf. Process. Cybern., 1978


  Loading...