Dieter Hutter

Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder: SmartTies - Management of Safety-Critical Developments. ISoLA (1) 2012: 238-252

Serge Autexier, Dieter Hutter: Structure Formation to Modularize Ontologies. WoMO 2012

Alan Bundy, Dieter Hutter, Cliff B. Jones, J. Strother Moore: AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2(7): 1-29 (2012)

Achim D. Brucker, Dieter Hutter: Information Flow in Disaster Management Systems. ARES 2010: 156-163

Serge Autexier, Dieter Hutter, Till Mossakowski: Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80

Dieter Hutter, Raul Monroy: On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS 2009: 138-154

Dieter Hutter: Semantic Management of Heterogeneous Documents. MICAI 2009: 1-14

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)

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)

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

Till Mossakowski, Serge Autexier, Dieter Hutter: Development graphs - Proof management for structured specifications. J. Log. Algebr. Program. 67(1-2): 114-145 (2006)

Dieter Hutter, Matthias Klusch, Melanie Volkamer: Information Flow Analysis Based Security Checking of Health Service Composition Plans. ECEH 2006: 59-70

Dieter Hutter: Possibilistic Information Flow Control in MAKS and Action Refinement. ETRICS 2006: 268-281

Fernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435

Dieter Hutter, Melanie Volkamer: Information Flow Control to Secure Dynamic Web Service Composition. SPC 2006: 196-210

Dieter Hutter, Werner Stephan: A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning 2005: 1-13

Dieter Hutter, Serge Autexier: Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432

Fernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340

Fernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97

Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463

Dieter Hutter, Werner Stephan (Eds.): Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 2605, Springer 2005, isbn 3-540-25051-4

Dieter Hutter, Markus Ullmann (Eds.): Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings. Lecture Notes in Computer Science 3450, Springer 2005, isbn 3-540-25521-4

Fernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83

Dieter Hutter, Axel Schairer: Possibilistic Information Flow Control in the Presence of Encrypted Communication. ESORICS 2004: 209-224

Melanie Volkamer, Dieter Hutter: From Legal Principles to an Internet Voting System. Electronic Voting in Europe 2004: 111-120

Fernando Godínez, Dieter Hutter, Raul Monroy: Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA 2004: 99-113

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (Eds.): Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers. Lecture Notes in Computer Science 2802, Springer 2004, isbn 3-540-20887-9

Dieter Hutter: Deduction as an Engineering Science. Electr. Notes Theor. Comput. Sci. 86(1): 1-8 (2003)

Dieter Hutter, Heiko Mantel, Axel Schairer: Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. Praxis der Informationsverarbeitung und Kommunikation 26(1): 39-47 (2003)

Dieter Hutter, Werner Stephan, Markus Ullmann: Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC 2003: 285-289

Axel Schairer, Dieter Hutter: Proof Transformations for Evolutionary Formal Software Development. AMAST 2002: 441-456

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501

Serge Autexier, Dieter Hutter: Maintenance of Formal Software Developments by Stratified Verification. LPAR 2002: 36-52

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

Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan: Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. Electr. Notes Theor. Comput. Sci. 63: 59-76 (2001)

Klaus Fischer, Dieter Hutter: Preface. Electr. Notes Theor. Comput. Sci. 63: 181-182 (2001)

Axel Schairer, Serge Autexier, Dieter Hutter: A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electr. Notes Theor. Comput. Sci. 58(2): 203-216 (2001)

Till Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283

Dieter Hutter, Axel Schairer: Towards an Evolutionary Formal Software Development. ASE 2001: 417-420

Dieter Hutter: Annotated reasoning. Ann. Math. Artif. Intell. 29(1-4): 183-222 (2000)

Dieter Hutter, Michael Kohlhase: Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reasoning 25(2): 123-164 (2000)

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)

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)

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

Dieter Hutter: Management of Change in Structured Verification. ASE 2000: 23-

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211

Dieter Hutter, Alan Bundy: The Design of the CADE-16 Inductive Theorem Prover Contest. CADE 1999: 374-377

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (Eds.): Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Lecture Notes in Computer Science 1641, Springer 1999, isbn 3-540-66462-9

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

Dieter Hutter: Deductive Verification of Invariants of State-Transition Systems. KI 1998: 153-164

Dieter Hutter: Coloring Terms to Control Equational Reasoning. J. Autom. Reasoning 18(3): 399-442 (1997)

Dieter Hutter, Michael Kohlhase: A Colored Version of the Lambda-Calculus. CADE 1997: 291-305

Dieter Hutter, Claus Sengler: INKA: The Next Generation. CADE 1996: 288-292

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

Dieter Hutter: Using Rippling for Equational Reasoning. KI 1996: 121-133

Dieter Hutter: Synthesis of Induction Orderings for Existence Proofs. CADE 1994: 29-41

Jürgen Cleve, Dieter Hutter: A Methodology for Equational Reasoning. HICSS (3) 1994: 569-579

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

Dieter Hutter: Adapting a Resolution Calculus for Inductive Proofs. ECAI 1992: 65-69

Dieter Hutter: Mustergesteuerte Strategien für das Beweisen von Gleichungen. Universität Karlsruhe 1991, pp. 1-129

Dieter Hutter: Guiding Induction Proofs. CADE 1990: 147-161

Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther: The Karlsruhe Induction Theorem Proving System. CADE 1986: 672-674

Dieter Hutter: Using Resolution and Paramodulation for Induction Proofs. GWAI 1986: 265-276