Tämänhetkistä Toimintaa
Minä opiskelen tietojenkäsittelytiedettä Berliinin Teknisessä Yliopistossa, painopisteinä teoreettinen tietojenkäsittelytiede ja ohjelmistojärjestelmät.
Tällä hetkellä minä kirjoitan maisterin kirjoitusta (Diplomarbeit)
teemasta "Applications of a Generic Component Framework to a UML Case
Study in Production Automation". Yhteenveto
Olen töissä tutkimusprojektissa IOSIP,
ryhmässä Theoretical Computer Science, Formal Specification, sähköinsinööritieteen ja tietojenkäsittelytieteen tiedekunnassa.
Julkaisuja
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus
Klein, Martti
Piirainen
A Component Framework Based on High-Level Replacement
Systems
In: P. Bottoni, M. Minas (eds.): Proc. International
Workshop on Graph Transformation and Visual Modeling
Techniques
Electronic
Notes in Theoretical Computer Science 72 No. 3
(2002) (PDF 
) © Elsevier Science
Markus Klein, Mesut Özhan, Martti Piirainen
Agent-Based Material Flow
In: R. Heckel, T. Mens, M. Wermelinger (eds.): Proc.
Workshop on Software Evolution Through Transformations
Electronic
Notes in Theoretical Computer Science 72 No. 4
(2002) (Extended abstract, Postscript ) © Elsevier Science
Presented at the Special Session on Domain-Specific
Case Studies for Visual Modelling Techniques at ICGT'02.
Hartmut
Ehrig,
Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Transformation-Based Component Framework for a Generic Integrated
Modeling Technique
Technical Report 2002/02, TU Berlin, 2002
(Postscript )
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti
Piirainen
A Generic Component Framework for System Modeling
In: R.-D. Kutsche, H. Weber (Eds.): Proc. Fundamental Approaches to
Software Engineering (FASE) at ETAPS 2002.
Springer
LNCS 2306, p. 33 ff.
(PDF ) © Springer Verlag
Martti Piirainen, Markus Klein
Component and Evolution Concept for Software Specification
In: Hartmut Ehrig (ed.): From Algebraic Module Specifications to
Component Concepts and Integrated Modeling Techniques.
Technical Report 2001/21, TU Berlin, 2001
(Postscript )
Muuta
Täältä löytyy papereita opiskelun ajalta:
Datenschutz im Internet - Rechtliche Grundlagen vs. Realität im WWW
Kirjoitettu seminaarissa Mensch - Umwelt - Technik, kevätlukukausi 2002.
(Postscript 
)
Abstrakte Interpretation
Kirjoitettu luennossa Analysemethoden in der Softwaretechnik, kevätlukukausi 2002.
(Postscript )
Eulers Beiträge zur Musiktheorie
Kirjoitettu seminaarissa Harmonielehre zwischen Spekulation und Experiment, kevätlukukausi 2002.
(Postscript )
Vergleich der Kontrapunktsätze von Fux und Mazzola am Beispiel von Prophetiae Sibyllarum (O. di Lasso)
Kirjoitettu seminaarissa Einführung in die Mathematische Musiktheorie, talvilukukausi 2001/02.
(Postscript )
Foundations of Galois Connections
Kirjoitettu seminaarissa Softwaretechnik, talvilukukausi 2001/02.
(Postscript )