| 2007 |
|---|
| 55 | EE | Juan Carlos López Pimentel,
Raul Monroy,
Dieter Hutter:
On the Automated Correction of Security Protocols Susceptible to a Replay Attack.
ESORICS 2007: 594-609 |
| 54 | EE | Juan Carlos López Pimentel,
Raul Monroy,
Dieter Hutter:
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols.
Electr. Notes Theor. Comput. Sci. 174(4): 117-130 (2007) |
| 53 | EE | Dieter Hutter,
Heiko Mantel,
Ina Schaefer,
Axel Schairer:
Security of multi-agent systems: A case study on comparison shopping.
J. Applied Logic 5(2): 303-332 (2007) |
| 2006 |
|---|
| 52 | | Dieter Hutter,
Matthias Klusch,
Melanie Volkamer:
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
ECEH 2006: 59-70 |
| 51 | EE | Dieter Hutter:
Possibilistic Information Flow Control in MAKS and Action Refinement.
ETRICS 2006: 268-281 |
| 50 | EE | Fernando Godínez,
Dieter Hutter,
Raul Monroy:
On the Use of Word Networks to Mimicry Attack Detection.
ETRICS 2006: 423-435 |
| 49 | EE | Dieter Hutter,
Melanie Volkamer:
Information Flow Control to Secure Dynamic Web Service Composition.
SPC 2006: 196-210 |
| 48 | EE | Till Mossakowski,
Serge Autexier,
Dieter Hutter:
Development graphs - Proof management for structured specifications.
J. Log. Algebr. Program. 67(1-2): 114-145 (2006) |
| 2005 |
|---|
| 47 | | Dieter Hutter,
Werner Stephan:
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Springer 2005 |
| 46 | | Dieter Hutter,
Markus Ullmann:
Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Springer 2005 |
| 45 | EE | Ewen Denney,
Bernd Fischer,
Dieter Hutter,
Mark Jones:
Software certificate management (SoftCeMent'05).
ASE 2005: 463 |
| 44 | EE | Fernando Godínez,
Dieter Hutter,
Raul Monroy:
Audit File Reduction Using N-Gram Models.
Financial Cryptography 2005: 336-340 |
| 43 | EE | Fernando Godínez,
Dieter Hutter,
Raul Monroy:
On the Role of Information Compaction to Intrusion Detection.
ISSADS 2005: 83-97 |
| 42 | EE | Dieter Hutter,
Werner Stephan:
A Portrait of a Scientist: Logic, AI and Politics.
Mechanizing Mathematical Reasoning 2005: 1-13 |
| 41 | EE | Dieter Hutter,
Serge Autexier:
Formal Software Development in MAYA.
Mechanizing Mathematical Reasoning 2005: 407-432 |
| 2004 |
|---|
| 40 | | Dieter Hutter,
Günter Müller,
Werner Stephan,
Markus Ullmann:
Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Springer 2004 |
| 39 | EE | Fernando Godínez,
Dieter Hutter,
Raul Monroy:
Attribute Reduction for Effective Intrusion Detection.
AWIC 2004: 74-83 |
| 38 | EE | Dieter Hutter,
Axel Schairer:
Possibilistic Information Flow Control in the Presence of Encrypted Communication.
ESORICS 2004: 209-224 |
| 37 | | Melanie Volkamer,
Dieter Hutter:
From Legal Principles to an Internet Voting System.
Electronic Voting in Europe 2004: 111-120 |
| 36 | EE | Fernando Godínez,
Dieter Hutter,
Raul Monroy:
Service Discrimination and Audit File Reduction for Effective Intrusion Detection.
WISA 2004: 99-113 |
| 2003 |
|---|
| 35 | EE | Dieter Hutter,
Werner Stephan,
Markus Ullmann:
Security and Privacy in Pervasive Computing State of the Art and Future Directions.
SPC 2003: 285-289 |
| 34 | EE | Dieter Hutter:
Deduction as an Engineering Science.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 2002 |
|---|
| 33 | EE | Axel Schairer,
Dieter Hutter:
Proof Transformations for Evolutionary Formal Software Development.
AMAST 2002: 441-456 |
| 32 | EE | Serge Autexier,
Dieter Hutter,
Till Mossakowski,
Axel Schairer:
The Development Graph Manager MAYA.
AMAST 2002: 495-501 |
| 31 | EE | Serge Autexier,
Dieter Hutter:
Maintenance of Formal Software Developments by Stratified Verification.
LPAR 2002: 36-52 |
| 30 | EE | Bernd Krieg-Brückner,
Dieter Hutter,
Arne Lindow,
Christoph Lüth,
Achim Mahnke,
Erica Melis,
Philipp Meier,
Arnd Poetzsch-Heffter,
Markus Roggenbach,
George Russell,
Jan-Georg Smaus,
Martin Wirsing:
MultiMedia Instruction in Safe and Secure Systems.
WADT 2002: 82-117 |
| 2001 |
|---|
| 29 | EE | Dieter Hutter,
Axel Schairer:
Towards an Evolutionary Formal Software Development.
ASE 2001: 417-420 |
| 28 | EE | Till Mossakowski,
Serge Autexier,
Dieter Hutter:
Extending Development Graphs with Hiding.
FASE 2001: 269-283 |
| 27 | EE | Axel Schairer,
Serge Autexier,
Dieter Hutter:
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
Electr. Notes Theor. Comput. Sci. 58(2): (2001) |
| 26 | EE | Klaus Fischer,
Dieter Hutter:
Preface.
Electr. Notes Theor. Comput. Sci. 63: (2001) |
| 25 | EE | Klaus Fischer,
Dieter Hutter,
Matthias Klusch,
Werner Stephan:
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.
Electr. Notes Theor. Comput. Sci. 63: (2001) |
| 2000 |
|---|
| 24 | EE | Dieter Hutter:
Management of Change in Structured Verification.
ASE 2000: 23- |
| 23 | | Dieter Hutter,
Georg Rock,
Jörg H. Siekmann,
Werner Stephan,
Roland Vogt:
Formal Software Development in the Verification Support Environment (VSE).
FLAIRS Conference 2000: 367-376 |
| 22 | | Dieter Hutter:
Annotated reasoning.
Ann. Math. Artif. Intell. 29(1-4): 183-222 (2000) |
| 21 | | Dieter Hutter,
Michael Kohlhase:
Managing Structural Information by Higher-Order Colored Unification.
J. Autom. Reasoning 25(2): 123-164 (2000) |
| 20 | | Dieter Hutter,
Bruno Langenstein,
Georg Rock,
Jörg H. Siekmann,
Werner Stephan,
Roland Vogt:
Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000) |
| 19 | EE | Serge Autexier,
Dieter Hutter,
Bruno Langenstein,
Heiko Mantel,
Georg Rock,
Axel Schairer,
Werner Stephan,
Roland Vogt,
Andreas Wolpers:
VSE: formal methods meet industrial needs.
STTT 3(1): 66-77 (2000) |
| 1999 |
|---|
| 18 | | Dieter Hutter,
Werner Stephan,
Paolo Traverso,
Markus Ullmann:
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings
Springer 1999 |
| 17 | EE | Serge Autexier,
Dieter Hutter,
Heiko Mantel,
Axel Schairer:
System Description: inka 5.0 - A Logic Voyager.
CADE 1999: 207-211 |
| 16 | EE | Dieter Hutter,
Alan Bundy:
The Design of the CADE-16 Inductive Theorem Prover Contest.
CADE 1999: 374-377 |
| 15 | | Serge Autexier,
Dieter Hutter,
Heiko Mantel,
Axel Schairer:
Towards an Evolutionary Formal Software-Development Using CASL.
WADT 1999: 73-88 |
| 1998 |
|---|
| 14 | | Dieter Hutter,
Heiko Mantel,
Georg Rock,
Werner Stephan,
Andreas Wolpers,
Michael Balser,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
VSE: Controlling the Complexity in Formal Software Developments.
FM-Trends 1998: 351-358 |
| 13 | | Dieter Hutter:
Deductive Verification of Invariants of State-Transition Systems.
KI 1998: 153-164 |
| 1997 |
|---|
| 12 | | Dieter Hutter,
Michael Kohlhase:
A Colored Version of the Lambda-Calculus.
CADE 1997: 291-305 |
| 11 | | Dieter Hutter:
Coloring Terms to Control Equational Reasoning.
J. Autom. Reasoning 18(3): 399-442 (1997) |
| 1996 |
|---|
| 10 | | Dieter Hutter,
Claus Sengler:
INKA: The Next Generation.
CADE 1996: 288-292 |
| 9 | | Dieter Hutter,
Bruno Langenstein,
Claus Sengler,
Jörg H. Siekmann,
Werner Stephan,
Andreas Wolpers:
Deduction in the Verification Support Environment (VSE).
FME 1996: 268-286 |
| 8 | | Dieter Hutter:
Using Rippling for Equational Reasoning.
KI 1996: 121-133 |
| 1994 |
|---|
| 7 | | Dieter Hutter:
Synthesis of Induction Orderings for Existence Proofs.
CADE 1994: 29-41 |
| 6 | | Jürgen Cleve,
Dieter Hutter:
A Methodology for Equational Reasoning.
HICSS (3) 1994: 569-579 |
| 1993 |
|---|
| 5 | | Markus Ullmann,
H. Hauff,
D. Loevenich,
P. Kejwal,
R. Förster,
P. Baur,
Wolfgang Reif,
Werner Stephan,
Andreas Wolpers,
Jürgen Cleve,
Dieter Hutter,
Claus Sengler,
E. Canver:
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
VIS 1993: 175-190 |
| 1992 |
|---|
| 4 | | Dieter Hutter:
Adapting a Resolution Calculus for Inductive Proofs.
ECAI 1992: 65-69 |
| 1990 |
|---|
| 3 | | Dieter Hutter:
Guiding Induction Proofs.
CADE 1990: 147-161 |
| 1986 |
|---|
| 2 | | Susanne Biundo,
B. Hummel,
Dieter Hutter,
Christoph Walther:
The Karlsruhe Induction Theorem Proving System.
CADE 1986: 672-674 |
| 1 | | Dieter Hutter:
Using Resolution and Paramodulation for Induction Proofs.
GWAI 1986: 265-276 |
