dblp.uni-trier.dewww.uni-trier.de

Dieter Hutter Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
56EEDieter Hutter, Raul Monroy: On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS 2009: 138-154
2007
55EEJuan Carlos López Pimentel, Raul Monroy, Dieter Hutter: On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS 2007: 594-609
54EEJuan 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)
53EEDieter 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
51EEDieter Hutter: Possibilistic Information Flow Control in MAKS and Action Refinement. ETRICS 2006: 268-281
50EEFernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435
49EEDieter Hutter, Melanie Volkamer: Information Flow Control to Secure Dynamic Web Service Composition. SPC 2006: 196-210
48EETill 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
45EEEwen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463
44EEFernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340
43EEFernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97
42EEDieter Hutter, Werner Stephan: A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning 2005: 1-13
41EEDieter 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
39EEFernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83
38EEDieter 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
36EEFernando Godínez, Dieter Hutter, Raul Monroy: Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA 2004: 99-113
2003
35EEDieter Hutter, Werner Stephan, Markus Ullmann: Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC 2003: 285-289
34EEDieter Hutter: Deduction as an Engineering Science. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
2002
33EEAxel Schairer, Dieter Hutter: Proof Transformations for Evolutionary Formal Software Development. AMAST 2002: 441-456
32EESerge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501
31EESerge Autexier, Dieter Hutter: Maintenance of Formal Software Developments by Stratified Verification. LPAR 2002: 36-52
30EEBernd 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
29EEDieter Hutter, Axel Schairer: Towards an Evolutionary Formal Software Development. ASE 2001: 417-420
28EETill Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283
27EEAxel Schairer, Serge Autexier, Dieter Hutter: A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electr. Notes Theor. Comput. Sci. 58(2): (2001)
26EEKlaus Fischer, Dieter Hutter: Preface. Electr. Notes Theor. Comput. Sci. 63: (2001)
25EEKlaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan: Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. Electr. Notes Theor. Comput. Sci. 63: (2001)
2000
24EEDieter 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)
19EESerge 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
17EESerge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211
16EEDieter 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
14EEDieter 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
12EEDieter 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
10EEDieter Hutter, Claus Sengler: INKA: The Next Generation. CADE 1996: 288-292
9EEDieter 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
7EEDieter 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
3EEDieter Hutter: Guiding Induction Proofs. CADE 1990: 147-161
1986
2EESusanne 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

Coauthor Index

1Serge Autexier [15] [17] [19] [27] [28] [31] [32] [41] [48]
2Michael Balser [14]
3P. Baur [5]
4Susanne Biundo [2]
5Alan Bundy [16]
6E. Canver [5]
7Jürgen Cleve [5] [6]
8Ewen Denney [45]
9Bernd Fischer [45]
10Klaus Fischer [25] [26]
11R. Förster [5]
12Fernando Godínez [36] [39] [43] [44] [50]
13H. Hauff [5]
14B. Hummel [2]
15Mark Jones [45]
16P. Kejwal [5]
17Matthias Klusch [25] [52]
18Michael Kohlhase [12] [21]
19Bernd Krieg-Brückner [30]
20Bruno Langenstein [9] [19] [20]
21Arne Lindow [30]
22D. Loevenich [5]
23Christoph Lüth [30]
24Achim Mahnke [30]
25Heiko Mantel [14] [15] [17] [19] [53]
26Philipp Meier [30]
27Erica Melis [30]
28Raul Monroy [36] [39] [43] [44] [50] [54] [55] [56]
29Till Mossakowski [28] [32] [48]
30Günter Müller [40]
31Juan Carlos López Pimentel [54] [55]
32Arnd Poetzsch-Heffter [30]
33Wolfgang Reif [5] [14]
34Georg Rock [14] [19] [20] [23]
35Markus Roggenbach [30]
36George Russell [30]
37Ina Schaefer [53]
38Axel Schairer [15] [17] [19] [27] [29] [32] [33] [38] [53]
39Gerhard Schellhorn [14]
40Claus Sengler [5] [9] [10]
41Jörg H. Siekmann [9] [20] [23]
42Jan-Georg Smaus [30]
43Kurt Stenzel [14]
44Werner Stephan [5] [9] [14] [18] [19] [20] [23] [25] [35] [40] [42] [47]
45Paolo Traverso [18]
46Markus Ullmann [5] [18] [35] [40] [46]
47Roland Vogt [19] [20] [23]
48Melanie Volkamer [37] [49] [52]
49Christoph Walther [2]
50Martin Wirsing [30]
51Andreas Wolpers [5] [9] [14] [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)