TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 13.

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

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

Hutter, Dieter ; Volkamer, Melanie
Clark, John ; Paige, Richard ; Polack, Fiona ; Brooke, Phillip (eds.) :

Information Flow Control to Secure Dynamic Web Service Composition.
Security in Pervasive Computing
[Konferenz- oder Workshop-Beitrag], (2006)

Hutter, Dieter ; Klusch, Matthias ; Volkamer, Melanie
Stormer, Henrik ; Meier, Andreas ; Schumacher, Michael (eds.) :

Information Flow Analysis Based Security Checking of Health Service Composition Plans.
Proceedings of the ECEH'06
[Konferenz- oder Workshop-Beitrag], (2006)

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hutter, Dieter ; Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
In: LNCS , 3450 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2005)

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hutter, Dieter ; Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
[Online-Edition: https://doi.org/10.1007/978-3-540-32004-3_20]
In: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings. In: Lecture Notes in Computer Science , 3450 . Springer
[Konferenz- oder Workshop-Beitrag], (2005)

Volkamer, Melanie ; Hutter, Dieter
Prosser, Alexander ; Krimmer, Robert (eds.) :

From Legal Principles to an Internet Voting System.
In: Springer LNI , 47 .
[Konferenz- oder Workshop-Beitrag], (2004)

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas
B.~Steffen, ; W.~R.~Cleaveland, ; M.~Dwyer, ; P.~Pomberger, ; T.~Margaria, (eds.) :

VSE: Formal Methods Meet Industrial Needs.
In: Special Issue on Mechanized Theorem Proving for Technology Transfer of the STTT-Springer International Journal on Software Tools for Technology Transfer, 3 (1) pp. 66-77.
[Artikel], (2000)

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel :
System Description: INKA 5.0 -- A Logic Voyager.
In: LNAI 1632 . Springer , Trento, Italy
[Konferenz- oder Workshop-Beitrag], (1999)

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Bert, D. ; Choppy, C. ; Mosses, P. (eds.) :

Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: LNCS , 1827 . Springer
[Konferenz- oder Workshop-Beitrag], (1999)

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
D.~Bert, ; C.~Choppy, ; P.~Mosses, (eds.) :

Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: LNCS , 1827 . Springer
[Konferenz- oder Workshop-Beitrag], (1999)

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt :
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641 . Springer , Boppard, Germany
[Konferenz- oder Workshop-Beitrag], (1998)

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt :
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641 . Springer
[Konferenz- oder Workshop-Beitrag], (1998)

Diese Liste wurde am Tue Jun 19 02:32:03 2018 CEST generiert.