Follow
Dieter Hutter
Title
Cited by
Cited by
Year
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
2172005
Guiding induction proofs
D Hutter
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
1171990
The Karlsruhe induction theorem proving system
S Biundo, B Hummel, D Hutter, C Walther
8th International Conference on Automated Deduction: Oxford, England, July …, 1986
911986
INKA: The next generation
D Hutter, C Sengler
International Conference on Automated Deduction, 288-292, 1996
871996
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
862006
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
812000
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
International Conference on Algebraic Methodology and Software Technology …, 2002
712002
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
CADE, 207-211, 1999
641999
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
631996
Information flow control to secure dynamic web service composition
D Hutter, M Volkamer
International Conference on Security in Pervasive Computing, 196-210, 2006
532006
Verification support environment (USE)
D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, A Wolpers
High Integrity Systems 1 (6), 523-530, 1996
511996
Coloring terms to control equational reasoning
D Hutter
Journal of Automated Reasoning 18, 399-442, 1997
501997
A Coloured Version of the lambda-calculus
D Hutter, M Kohlhase
Universität des Saarlandes, Fachbereich Informatik, 1995
45*1995
Extending development graphs with hiding
T Mossakowski, S Autexier, D Hutter
International Conference on Fundamental Approaches to Software Engineering …, 2001
432001
Management of change in structured verification
D Hutter
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
422000
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
421998
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
382000
Software certification and software certificate management systems
E Denney, B Fischer
Software Certificate Management 2005, 2005
332005
Synthesis of induction orderings for existence proofs
D Hutter
Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994
301994
Multimedia instruction in safe and secure systems
B Krieg-Brückner, D Hutter, A Lindow, C Lüth, A Mahnke, E Melis, P Meier, ...
Recent Trends in Algebraic Development Techniques: 16th International …, 2003
272003
The system can't perform the operation now. Try again later.
Articles 1–20