Dieter Hutter
TitleCited byYear
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
1812005
Guiding induction proofs
D Hutter
International Conference on Automated Deduction, 147-161, 1990
1101990
INKA: The next generation
D Hutter, C Sengler
International Conference on Automated Deduction, 288-292, 1996
831996
Development graphs—proof management for structured specifications
T Mossakowski, S Autexier, D Hutter
The Journal of Logic and Algebraic Programming 67 (1-2), 114-145, 2006
812006
The Karlsruhe induction theorem proving system
S Biundo, B Hummel, D Hutter, C Walther
International Conference on Automated Deduction, 672-674, 1986
801986
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
International Conference on Algebraic Methodology and Software Technology†…, 2002
732002
Towards an evolutionary formal software-development using CASL
S Autexier, D Hutter, H Mantel, A Schairer
International Workshop on Algebraic Development Techniques, 73-88, 1999
721999
Deduction in the verification support environment (VSE)
D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, ...
International Symposium of Formal Methods Europe, 268-286, 1996
651996
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
International Conference on Automated Deduction, 207-211, 1999
611999
Verification support environment (USE)
D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, A Wolpers
High Integrity Systems 1 (6), 523-530, 1996
521996
Coloring terms to control equational reasoning
D Hutter
Journal of Automated Reasoning 18 (3), 399-442, 1997
501997
Information flow control to secure dynamic web service composition
D Hutter, M Volkamer
International Conference on Security in Pervasive Computing, 196-210, 2006
482006
Management of change in structured verification
D Hutter
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated†…, 2000
442000
VSE: Controlling the complexity in formal software developments
D Hutter, H Mantel, G Rock, W Stephan, A Wolpers, M Balser, W Reif, ...
International Workshop on Current Trends in Applied Formal Methods, 351-358, 1998
431998
Extending development graphs with hiding
T Mossakowski, S Autexier, D Hutter
International Conference on Fundamental Approaches to Software Engineering†…, 2001
412001
VSE: Formal methods meet industrial needs
S Autexier, D Hutter, B Langenstein, H Mantel, G Rock, A Schairer, ...
International Journal on Software Tools for Technology Transfer 3 (1), 66-77, 2000
352000
Synthesis of induction orderings for existence proofs
D Hutter
International Conference on Automated Deduction, 29-41, 1994
301994
A Coloured Version of the lambda-calculus
D Hutter, M Kohlhase
Universitšt des Saarlandes, Fachbereich Informatik, 1995
291995
Mechanizing Mathematical Reasoning
W Stephan, D Hutter
LNCS, 2005
23*2005
Mechanizing Mathematical Reasoning
D Hutter, W Stephan
Lecture Notes in Computer Science 2605, 2005
23*2005
The system can't perform the operation now. Try again later.
Articles 1–20