- This paper has been published in: T. Denvir, editor, Formal Methods Europe (FME'94). Springer, 1994.
- Domain Specific Languages in Software Architecture Matthias Anlauff
- Qualitatssicherung in objektorientierten Client/Server-Architekturen
- Proving Authentication Properties in the Protocol Derivation Assistant
- Hierarchical Microprocessor Design Using XASM M.Anlauff , D. Fischer , P. W. Kutter , J. Teich , R. Weper
- Electronic Notes in Theoretical Computer Science 70 No. 3 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 15 pages
- Tool support for language design and prototyping with Montages
- Enhanced Control Flow Graphs in Montages Matthias Anlau 1, Philipp W. Kutter2, and
- Generating an Action Notation Environment from Montages Descriptions
- Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002
- Software Architecture Based Composition of Components Matthias Anlauff
- Deriving Secure Network Protocols for Enterprise Services Architectures
- The Protocol Derivation Assistant Matthias Anlauff1
