Mathias Sporer
According to our database1,
Mathias Sporer
authored at least 14 papers
between 1999 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
Konsistenzerhaltende Techniken für generierbare Wissensbasen zum Entwurf eingebetteter Systeme.
PhD thesis, 2007
2006
Ein Metamodell für eingebettete Systeme.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006
2005
Proceedings of the Forum on specification and Design Languages, 2005
2004
it Inf. Technol., 2004
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
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
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
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