Matthias Anlauff

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