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.

Article

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

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

Autexier, Serge and Hutter, Dieter and Langenstein, Bruno and Mantel, Heiko and Rock, Georg and Schairer, Axel and Stephan, Werner and Vogt, Roland and Wolpers, Andreas (2000):
VSE: Formal Methods Meet Industrial Needs.
3, In: International Journal on Software Tools for Technology Transfer, (1), Springer, pp. 66-77, ISSN 1433-2779, [Online-Edition: https://link.springer.com/article/10.1007/s100099900022],
[Article]

Book Section

Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel Bert, Didier and Choppy, C. and Mosses, P. (eds.) (1999):
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: Lecture Notes in Computer Science, In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99, Berlin ; Heidelberg, Springer, pp. 73-88, [Book Section]

Conference or Workshop Item

Hutter, Dieter and Volkamer, Melanie Clark, John and Paige, Richard and Polack, Fiona and Brooke, Phillip (eds.) (2006):
Information Flow Control to Secure Dynamic Web Service Composition.
In: Security in Pervasive Computing, York, UK, pp. 196-210, [Conference or Workshop Item]

Hutter, Dieter and Klusch, Matthias and Volkamer, Melanie Stormer, Henrik and Meier, Andreas and Schumacher, Michael (eds.) (2006):
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
91, In: Proceedings of the ECEH'06, Freiburg (Schweiz), pp. 59-70, [Conference or Workshop Item]

Darvas, Adam and Hähnle, Reiner and Sands, Dave Hutter, Dieter and Ullmann, Markus (eds.) (2005):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: LNCS, 3450, In: Proc. 2nd International Conference on Security in Pervasive Computing, Springer-Verlag, pp. 193--209, [Conference or Workshop Item]

Darvas, Adam and Hähnle, Reiner and Sands, David Hutter, Dieter and Ullmann, Markus (eds.) (2005):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: Lecture Notes in Computer Science, 3450, Springer, In: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings, pp. 193-209, DOI: 10.1007/978-3-540-32004-3₂₀,
[Online-Edition: https://doi.org/10.1007/978-3-540-32004-3_20],
[Conference or Workshop Item]

Volkamer, Melanie and Hutter, Dieter Prosser, Alexander and Krimmer, Robert (eds.) (2004):
From Legal Principles to an Internet Voting System.
In: Springer LNI, 47, In: Electronic Voting in Europe - Technology, Law, Politics and Society, pp. 111-120, [Conference or Workshop Item]

Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel (1999):
System Description: INKA 5.0 -- A Logic Voyager.
In: LNAI 1632, In: 16th International Conference on Automated Deduction, CADE--16, Trento, Italy, Springer, pp. pp.~207-211, [Conference or Workshop Item]

Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel Bert, D. and Choppy, C. and Mosses, P. (eds.) (1999):
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: LNCS, 1827, In: 14th International Workshop on Algebraic Development Techniques, WADT'99, Springer, pp. 73--88, [Conference or Workshop Item]

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641, In: International Workshop on Applied Formal Methods -- FM-Trends, Boppard, Germany, Springer, pp. pp.~351-358, [Conference or Workshop Item]

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641, In: International Workshop on Applied Formal Methods -- FM-Trends, Springer, pp. pp.~351--358, [Conference or Workshop Item]

This list was generated on Sat Dec 7 01:03:58 2019 CET.