TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 13.

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007)
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
Article, 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
Article, Bibliographie

Hutter, Dieter ; Volkamer, Melanie
eds.: Clark, John ; Paige, Richard ; Polack, Fiona ; Brooke, Phillip (2006)
Information Flow Control to Secure Dynamic Web Service Composition.
York, UK
Conference or Workshop Item, Bibliographie

Hutter, Dieter ; Klusch, Matthias ; Volkamer, Melanie
eds.: Stormer, Henrik ; Meier, Andreas ; Schumacher, Michael (2006)
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
Freiburg (Schweiz)
Conference or Workshop Item, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
eds.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Conference or Workshop Item, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, David
eds.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings.
doi: 10.1007/978-3-540-32004-3_20
Conference or Workshop Item, Bibliographie

Volkamer, Melanie ; Hutter, Dieter
eds.: Prosser, Alexander ; Krimmer, Robert (2004)
From Legal Principles to an Internet Voting System.
Conference or Workshop Item, 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)
Article, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel (1999)
System Description: INKA 5.0 -- A Logic Voyager.
Conference or Workshop Item, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
eds.: Bert, D. ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
Conference or Workshop Item, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
eds.: 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
Book Section, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Conference or Workshop Item, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Mar 5 00:29:24 2024 CET.