Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007)
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
Artikel, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007)
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
Artikel, Bibliographie

Mantel, Heiko ; Schairer, Axel (2005)
Exploiting Generic Aspects of Security Models in Formal Developments.
In: Mechanizing Mathematical Reasoning
Buchkapitel, Bibliographie

Mantel, Heiko ; Schairer, Axel (2005)
Exploiting Generic Aspects of Security Models in Formal Developments.
In: Mechanizing Mathematical Reasoning
Buchkapitel, Bibliographie

Mantel, Heiko ; Schairer, Axel ; Kabatnik, Matthias ; Kreutzer, Michael ; Zugenmaier, Alf (2001)
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks.
Report, Bibliographie

Mantel, Heiko ; Schairer, Axel ; Kabatnik, Matthias ; Kreutzer, Michael ; Zugenmaier, Alf (2001)
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks.
Report, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas (2000)
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, 3 (1)
Artikel, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel (1999)
System Description: INKA 5.0 -- A Logic Voyager.
Konferenzveröffentlichung, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Hrsg.: Bert, D. ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
Konferenzveröffentlichung, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Hrsg.: Bert, Didier ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL: ABSTRACT.
In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99
Buchkapitel, Bibliographie