Matthias Anlauff

Publication Activity (10 Years)

Years Active: 1993-2006
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Matthias Anlauff, Dusko Pavlovic, Asuman Suenbuel
Deriving Secure Network Protocols for Enterprise Services Architectures. ICC (2006)
Matthias Anlauff, Asuman Sünbül
Deploying Localization Services in Wireless Sensor Networks. ICDCS Workshops (2004)
Matthias Anlauff, Asuman Sünbül
Towards component based systems: refining connectors. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele
Generating an action notation environment from Montages descriptions. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)
Matthias Anlauff
XASM - An Extensible, Component-Based ASM Language. Abstract State Machines (2000)
Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül
Using Domain-Specific Languages for the Realization of Component Composition. FASE (2000)
Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
Tool Support for Language Design and Prototyping with Montages. CC (1999)
Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
Enhanced Control Flow Graphs in Montages. Ershov Memorial Conference (1999)
Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
Montages/Gem-Mex: A Meta Visual Programming Generator. VL (1998)
Matthias Anlauff, Stefan Jähnichen, Martin Simons
An experimental support system for formal mathematical reasoning. FME (1994)
Matthias Anlauff, Martin Beyer, Thomas Santen
Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung (1993)

Matthias Anlauff.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Matthias Anlauff