Matthias Anlauff

According to our database, Matthias Anlauff authored at least 12 papers between 1993 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Deriving Secure Network Protocols for Enterprise Services Architectures.

Matthias Anlauff, Dusko Pavlovic, Asuman Suenbuel

Proceedings of IEEE International Conference on Communications, 2006

2004

Deploying Localization Services in Wireless Sensor Networks.

Matthias Anlauff, Asuman Sünbül

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

2002

Towards component based systems: refining connectors.

Matthias Anlauff, Asuman Sünbül

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

2001

Generating an action notation environment from Montages descriptions.

Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele

Int. J. Softw. Tools Technol. Transf., 2001

2000

Using Domain-Specific Languages for the Realization of Component Composition.

Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül

Proceedings of the Fundamental Approaches to Software Engineering, 2000

XASM - An Extensible, Component-Based ASM Language.

Matthias Anlauff

Proceedings of the Abstract State Machines, 2000

1999

Enhanced Control Flow Graphs in Montages.

Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio

Proceedings of the Perspectives of System Informatics, 1999

Tool Support for Language Design and Prototyping with Montages.

Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio

Proceedings of the Compiler Construction, 8th International Conference, 1999

1998

Montages/Gem-Mex: A Meta Visual Programming Generator.

Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

1995

Rechnerunterstützung formaler Beweissprachen.

Matthias Anlauff

PhD thesis, 1995

1994

An experimental support system for formal mathematical reasoning.

Matthias Anlauff, Stefan Jähnichen, Martin Simons

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract).

Matthias Anlauff, Martin Beyer, Thomas Santen

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993