Follow
Dieter Hutter
Title
Cited by
Cited by
Year
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
2072005
Guiding induction proofs
D Hutter
10th International Conference on Automated Deduction: Kaiserslautern, FRG†…, 1990
1131990
The Karlsruhe induction theorem proving system
S Biundo, B Hummel, D Hutter, C Walther
Proceedings of the 8th International Conference on Automated Deduction, 672-674, 1986
861986
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
842006
INKA: The next generation
D Hutter, C Sengler
Automated Deduction—Cade-13: 13th International Conference on Automated†…, 1996
841996
Towards an evolutionary formal software-development using CASL
S Autexier, D Hutter, H Mantel, A Schairer
Recent Trends in Algebraic Development Techniques: 14th International†…, 2000
762000
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
Algebraic Methodology and Software Technology: 9th International Conference†…, 2002
712002
Deduction in the verification support environment (VSE)
D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, ...
FME'96: Industrial Benefit and Advances in Formal Methods: Third†…, 1996
681996
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
CADE, 207-211, 1999
631999
Information flow control to secure dynamic web service composition
D Hutter, M Volkamer
Security in Pervasive Computing: Third International Conference, SPC 2006†…, 2006
542006
Verification support environment (USE)
D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, A Wolpers
High Integrity Systems 1 (6), 523-530, 1996
531996
Coloring terms to control equational reasoning
D Hutter
Journal of Automated Reasoning 18, 399-442, 1997
511997
VSE: Controlling the complexity in formal software developments
D Hutter, H Mantel, G Rock, W Stephan, A Wolpers, M Balser, W Reif, ...
FM-Trends, 351-358, 1998
441998
A Coloured Version of the lambda-calculus
D Hutter, M Kohlhase
Universitšt des Saarlandes, Fachbereich Informatik, 1995
44*1995
Management of change in structured verification
D Hutter
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated†…, 2000
412000
Extending development graphs with hiding
T Mossakowski, S Autexier, D Hutter
Fundamental Approaches to Software Engineering: 4th International Conference†…, 2001
402001
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, 66-77, 2000
372000
Software certification and software certificate management systems
E Denney, B Fischer
Software Certificate Management 2005, 2005
322005
Synthesis of induction orderings for existence proofs
D Hutter
Automated Deduction—CADE-12: 12th International Conference on Automated†…, 1994
321994
Formal software development in the Verification Support Environment (VSE)
D Hutter, B Langenstein, G Rock, JH Siekmann, W Stephan, R Vogt
Journal of Experimental & Theoretical Artificial Intelligence 12 (4), 383-406, 2000
252000
The system can't perform the operation now. Try again later.
Articles 1–20