Dieter Hutter
TitelCiteras avÅr
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
1822005
Guiding induction proofs
D Hutter
International Conference on Automated Deduction, 147-161, 1990
1111990
INKA: The next generation
D Hutter, C Sengler
International Conference on Automated Deduction, 288-292, 1996
821996
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
722002
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
711999
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
661996
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
International Conference on Automated Deduction, 207-211, 1999
601999
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
491997
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
432000
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
382001
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
A Coloured Version of the lambda-calculus
D Hutter, M Kohlhase
Universität des Saarlandes, Fachbereich Informatik, 1995
291995
Software certification and software certificate management systems
E Denney, B Fischer
282005
Synthesis of induction orderings for existence proofs
D Hutter
International Conference on Automated Deduction, 29-41, 1994
281994
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
242000
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20