Dieter Monjau
According to our database1,
Dieter Monjau
authored at least 33 papers
between 1978 and 2005.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
Proceedings of the Forum on specification and Design Languages, 2005
2004
it Inf. Technol., 2004
Proceedings of the Forum on specification and Design Languages, 2004
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
Proceedings of the Forum on specification and Design Languages, 2003
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
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
Proceedings of the 25th EUROMICRO '99 Conference, 1999
1998
Informationstechnik Tech. Inform., 1998
Proceedings of the 1998 Design, 1998
1997
Proceedings of the 23rd EUROMICRO Conference '97, 1997
1996
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
Proceedings of the Computer Aided Systems Theory, 1995
Proceedings of the Computer Aided Systems Theory, 1995
1993
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
PhD thesis, 1984
1978
Ein Verfahren zur Synthese kombinatorischer Schaltfunktionen in einer zellularen Struktur.
J. Inf. Process. Cybern., 1978