Search results for
author `Hutter'
- S. Autexier, D. Hutter, and
T. Mossakowski.
MAYA: Maintaining structured developments.
In M. Kohlhase, editor, OMDOC -- An open markup format for mathematical
documents (Version 1.2). Springer, LNAI 4180, 2006.
- Fernando Godínez,
Dieter Hutter, and Raul Monroy.
On the use of word networks to mimicry attack detection.
In Günter Müller, editor, Proceedings of the International Conference
on Emerging Trends in Information and Communication Security,
ETRICS-2006. Springer-Verlag, LNCS, 2006.
- Dieter Hutter.
Automating proofs of unwinding conditions.
In Serge Autexier and Heiko Mantel, editors, Workshop Proceedings
VERIFY06 at FLoC2006, Seattle, USA, 2006.
- Dieter Hutter.
Formal security policies for the semantic web.
In S. Rajendran, editor, Proceedings of the 1. International Conference
on Information Security and Computer Forensics, 2006.
invited talk.
- Dieter Hutter.
Possibilistic information
flow control in maks and action refinement.
In Günter Müller, editor, Proceedings of the International Conference
on Emerging Trends in Information and Communication Security,
ETRICS-2006. Springer-Verlag, LNCS, 2006.
- Dieter Hutter and Melanie
Volkamer.
Information flow control to
secure dynamic web service composition.
In Proceedings of the 3rd International Conference on Security in
Pervasive Computing, SPC-2006, York, UK, 2006. Springer-Verlag, LNCS
3934.
- Dieter Hutter, Matthias
Klusch, and Melanie Volkamer.
Information flow analysis based security checking of health service composition
plans.
In Proccedings of the 1st European Conference on eHealth (ECEH06),
Fribourg, Switzerland, 2006. Lecture Notes in Informatics, Gesellschaft für
Informatik.
- Dieter Hutter, Heiko Mantel,
Ina Schäfer, and Axel Schairer.
Security of multi-agent systems: A case study on comparison shopping.
Journal of Applied Logic. Special Issue on Logic Based Agent
Verification, Article in press, doi:10.1016/j.jal.2005.12.015,
2006.
- Dieter Hutter, Melanie
Volkamer, Matthias Klusch, and Andreas Gerber.
Provably secure execution of composed semantic web services.
In Proccedings of the 1st International Workshop on Privacy and Security
in Agent-based Collaborative Environments (PSACE 2006), Hakodate,
Japan, 2006. AAMAS 2006.
- T. Mossakowski,
S. Autexier, and D. Hutter.
Development graphs -- proof
management for structured specifications.
Journal of Logic and Algebraic Programming, 67(1-2):114-145,
2006.
- Serge Autexier and Dieter
Hutter.
Mind the gap - maintaining
formal developments in maya.
Springer-Verlag, LNCS 2605, 2005.
- Alan Bundy, David Basin,
Dieter Hutter, and Andrew Ireland.
Rippling: Meta-level Guidance for Mathematical Reasoning.
Cambridge University Press, 2005.
- Ewen Denny, Bernd Fischer,
Mark Jones, and Dieter Hutter (Eds.).
Proceedings of the 2005 automated software engineering workshop on software
certificate management (softcement05).
Long Beach, USA, November 2005.
- Fernando Godínez,
Dieter Hutter, and Raul Monroy.
Audit file reduction using n-gram models.
In Proceedings of the Financial Cryptography and Data Security,
Lecture Notes in Computer Science. Springer-Verlag, LNCS 3570, 2005.
- Fernando Godínez,
Dieter Hutter, and Raul Monroy.
On the role of information compaction to intrusion detection.
In Proceedings of the Fifth IEEE International Symposium and School on
Advanced Distributed Systems, ISSADS 2005, Lecture Notes in Computer
Science, LNCS 3563, pages 83-97. Springer-Verlag, 2005.
- Dieter Hutter.
Software certification
management: How can formal methods help?.
In Proceedings of the 2005 Automated Software Engineering Workshop on
Software Certificate Management (SoftCeMent05), Long Beach, USA,
2005.
- Dieter Hutter and
Markus Ullmann (Eds.).
Proceedings of the Second International Conference on Security in
Pervasive Computing.
Springer-Verlag, LNCS, Boppard, Germany, 2005.
- Dieter Hutter and
Werner Stephan (Eds.).
Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications,
Festschrift in honour of Jörg H. Siekmann.
LNAI 2605. Springer-Verlag, 2005.
- Fernando Godinez, Dieter
Hutter, and Raul Monroy.
Attribute reduction for effective intrusion detection.
In J. Favela and E. Manasalvas, editors, Proceedings of Atlantic Web
Intelligence Conference, AWIC04. Springer-Verlag, LNCS, 2004.
- Fernando Godínez,
Dieter Hutter, and Raul Monroy.
Service discrimination and audit file reduction for effective intrusion
detection.
In Proceedings of the 2004 Workshop on Information Security Applications,
WISA`04, number 3325 in Lecture Notes in Computer Science, pages
101-115. Springer-Verlag, 2004.
- Dieter Hutter.
Towards a generic
management of change.
In Workshop on Computer-Supported Mathematical Theory Development,
IJCAR'04, Cork, Ireland, 2004.
- Dieter Hutter and Axel
Schairer.
Possibilistic information flow control in the presence of encrypted
communication.
In P. Ryan and P. Samarati, editors, 9th European Symposium on Research
in Computer Security, ESORICS 2004. Springer, LNCS, 2004.
- Dieter Hutter and Werner
Stephan.
A portrait of a scientist: Logics, ai and politics.
pages 1-14. Springer-Verlag, LNCS 2605, 2004.
- T. Mossakowski,
P. Hoffman, S. Autexier, and D. Hutter.
Part iv: Casl logic.
In B. Krieg-Brückner and P. Mosses, editors, The CASL Reference
Manual. Springer-Verlag, LNCS 2960, 2004.
- Melanie Volkamer and
Dieter Hutter.
From legal standards to an e-voting system.
In A. Prosser, editor, Proceedings of Electronic Voting in Europe:
Technology, Law and Politics, Bregenz, Austria, 2004.
- Dieter Hutter.
Deduction as an engineering science (invited paper).
In Ingo Dahn and Laurent Vigneron, editors, Proceedings of First-Order
Theorem Proving FTP-2003. Electronic Notes in Theoretical Computer
Science, Vol. 86, Issue 1, 2003.
- Dieter Hutter.
Maintaining formal
developments.
In D. Basin, H. Ganzinger, J. Harrison, and A. Pnueli, editors, Dagstuhl
Seminar 03451, Applied Deductive Verification, 2003.
- Dieter Hutter, Heiko Mantel,
and Axel Schairer.
Informationsflußkontrolle
als Grundlage für die Scherheit von Multiagentensystemen.
PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft
Sicherheit, 2003.
- Dieter Hutter, Günter
Müller, Werner Stephan, and Markus Ullmann (Eds.).
Proceedings of the First International Conference on Pervasive
Computing.
LNCS. Springer-Verlag, LNCS 2802, Boppard, Germany, 2003.
- Bernd
Krieg-Brückner, Dieter Hutter, Christoph Lüth, Erica Melis, Arnd
Pötsch-Heffter, Markus Roggenbach, Jan-Georg Smaus, and Martin Wirsing.
Towards multimedia instruction in safe and secure systems.
In Recent Trends in Algebraic Development Techniques, (WADT-02).
Springer-Verlag, LNCS 2755, 2003.
- Serge Autexier and
Dieter Hutter.
Maintenance of formal
software developments by stratified verification.
In Proceedings 9th International Conference on Logic for Programming
Artificial Intelligence and Reasoning. Springer-Verlag, LNAI, 2002.
- Serge Autexier and
Dieter Hutter.
Mind the gap - maintaining formal developments in maya.
Springer-Verlag, 2002.
- Serge Autexier, Dieter
Hutter, Till Mossakowski, and Axel Schairer.
The development graph
manager MAYA.
In Proceedings 9th International Conference on Algebraic Methodology And
Software Technology, AMAST2002. Springer-Verlag, LNCS, 2002.
- Klaus Fischer and Dieter
Hutter.
2. international workshop on security of mobile multiagent systems.
Workshop-proceedings, First International Joint Conference on Autonomous Agents
and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, Bologna, Italy,
2002.
- Dieter Hutter, David Basin,
Christoph Lüth, and Peter Lindsay.
Workshop on evolutionary formal software development.
Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report,
Copenhagen, Denmark, 2002.
- Axel Schairer and Dieter
Hutter.
Proof transformations for
evolutionary formal software development.
In Proceedings 9th International Conference on Algebraic Methodology And
Software Technology, AMAST2002. Springer-Verlag, LNCS, 2002.
- Dieter Hutter and Axel
Schairer.
Towards an evolutionary
formal software development.
In Proceedings 16th IEEE International Conference on Automated Software
Engineering, ASE-2001, San Diego, USA, 2001. IEEE Computer Society.
- Dieter Hutter, Klaus Fischer,
Mathias Klusch, and Werner Stephan.
Towards secure mobile multiagent based electronic marketplace
systems.
In Proceedings Workshop on Security in Mobile Multiagent Systems,
SEMAS-2001, Autonomous Agents 2001, Montreal, Canada, 2001.
- Till Mossakowski, Serge
Autexier, and Dieter Hutter.
Extending development
graphs with hiding.
In A. Konermann, editor, Proceedings of Fundamental Approaches to
Software Engineering (FASE2001). Springer, LNCS, 2001.
also appeared as COFI-Note S12.
- Axel Schairer,
Serge Autexier, and Dieter Hutter.
A
pragmatic approach to reuse in tactical theorem proving.
In Maria Paola Bonacina and Bernhard Gramlich, editors, Electronic Notes
in Theoretical Computer Science, volume 58. Elsevier Science
Publishers, 2001.
- Axel Schairer, Serge
Autexier, and Dieter Hutter.
A pragmatic approach to
reuse in tactical theorem proving.
In Proceedings of the 4th International Workshop on Strategies in
Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on
Automated Reasoning, IJCAR-2001, Siena, Italy, 2001.
- Serge Autexier and Dieter
Hutter.
Towards an efficient management of change in an evolutionary formal software
development.
In W. Goerig, editor, Proceedings Workshop on Engineering of Software
Verification, Validation, and Certification. Universitaet Kiel,
2000.
- Serge Autexier, Dieter
Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner
Stephan, Roland Vogt, and Andreas Wolpers.
VSE: Formal methods meet
industrial needs.
International Journal on Software Tools for Technology Transfer, Special
Issue on Mechanized Theorem Proving for Technology, 3(1), 2000.
- Serge Autexier, Dieter
Hutter, Heiko Mantel, and Axel Schairer.
Towards an evolutionary
formal software-development using CASL.
In C. Choppy and D. Bert, editors, Recent Trends in Algebraic Development
Techniques, (WADT-99), pages 73-88. Springer, LNCS 1827, 2000.
- Dieter Hutter.
Annotated
reasoning.
Annals of Mathematics and Artificial Intelligence (AMAI). Special Issue
on Strategies in Automated Deduction, 29, 2000.
- Dieter Hutter.
Management of change in
verification systems.
In Proceedings 15th IEEE International Conference on Automated Software
Engineering, ASE-2000, pages 23-34. IEEE Computer Society, 2000.
- Dieter Hutter and Michael
Kohlhase.
Managing structural
information by higher-order colored unification.
Journal of Automated Reasoning, 25(2):123-164, 2000.
- Dieter Hutter, Bruno
Langenstein, Georg Rock, Jörg Siekmann, Werner Stephan, and Roland Vogt.
Formal software development in the verification support environment.
Journal of Experimental and Theoretical Artificial Intelligence,
2000.
accepted, forthcoming.
- Dieter Hutter, Heiko
Mantel, Klaus-Peter Jantke, Georg Rock, and Werner Stephan.
Automated reasoning for system verification: A tutorial introduction into
VSE-II.
In Proceedings Ilmenau International Scientific Colloquium, Special
Track: Validation and Verification, 2000.
- Dieter Hutter, Georg Rock,
Jörg Siekmann, Werner Stephan, and Roland Vogt.
Formal software development in the Verification Support Environment
(VSE).
In Proceedings 13th International Florida Artificial Intelligence
Research Symposium (FLAIRS-2000), pages 367-376. AAAI-Press, 2000.
- Serge Autexier, Dieter
Hutter, Heiko Mantel, and Axel Schairer.
System description: INKA
5.0 - a logical voyager.
In H. Ganzinger, editor, Proceedings 16th International Conference on
Automated Deduction, CADE-16, Trento, Italy, 1999. Springer-Verlag,
LNAI 1632.
- Dennis Dams, Dieter Hutter, and
Natalia Sidorova.
Using the INKA prover to
automate safety proofs in abstract interpretation - a case study.
In Françoise Bellegarde and Olga Kouchnarenko, editors, Workshop on
Modelling and Verification, C.I.S., Besançon, France, 1999.
- Dieter Hutter.
Annotated
reasoning.
In B. Gramlich, H. Kirchner, and F. Pfenning, editors, Proceedings
CADE-16 Workshop on Strategies in Automated Deduction, 1999.
- Dieter Hutter.
Workshop on automation of proofs by mathematical induction.
Workshop-proceedings, 16th International Conference on Automated Deduction,
Trento, Italy, 1999.
- Dieter Hutter and Alan
Bundy.
The design of the cade-16
inductive theorem prover contest.
In H. Ganzinger, editor, Proceedings 16th International Conference on
Automated Deduction, CADE-16, Trento, Italy, 1999. Springer-Verlag,
LNAI 1632.
- Dieter Hutter, Heiko Mantel,
Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif,
Gerhard Schellhorn, and Kurt Stenzel.
VSE: Controlling the
complexity in formal software developments.
In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors,
Proceedings Current Trends in Applied Formal Methods, FM-Trends
98, Boppard, Germany, 1999. Springer-Verlag, LNCS 1641.
- Dieter Hutter, Werner
Stephan, Paolo Traverso, and Markus Ullmann.
Proceedings of Current Trends in Applied Formal Methods,
FM-Trends 98.
Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.
- Dieter Hutter.
Deductive proof support
for invariants of state-transition systems.
In O. Herzog, editor, Proceedings 22th German Annual Conference on
Artificial Intelligence KI-98, pages 153-164, Bremen, Germany, 1998.
Springer-Verlag, LNAI 1504.
- Dieter Hutter.
Structuring deduction
by using abstractions.
In T. Ellman, editor, Proceedings International Symposium on Abstraction,
Reformulation, and Approximation, SARA-98, pages 72-78, Asimolar,
Pacific Grove, USA, 1998.
- Dieter Hutter.
Using semantic knowledge by annotating formulas.
In D. Basin and D. Gabbay, editors, Proceedings 1st Workshop on Labelled
Deduction, Freiburg, Germany, 1998.
- Serge Autexier and
Dieter Hutter.
Equational proof-planning by
dynamic abstraction.
In U. Furbach M.P. Bonacina, editor, International Workshop on
First-Order Theorem Proving - FTP97, pages 1-6, Linz, Austria, 1997.
RISC-Linz Report Series No. 97-50.
- Serge Autexier and
Dieter Hutter.
Parameterized abstractions
used for proof planning.
Research Report RR 97-04, DFKI GmbH, Saarbrücken, Germany, 1997.
- Dieter Hutter.
Colouring terms to
control equational reasoning.
Journal of Automated Reasoning, 18:399-442, 1997.
Kluwer-Publishers.
- Dieter Hutter.
Equalising terms by
difference reduction techniques.
DAI-Research Paper No.845, University of Edinburgh, 1997.
- Dieter Hutter.
Equalizing terms by
difference reduction techniques.
In H. Kirchner and B. Gramlich, editors, Proceedings Workshop on
Strategies in Automated Deduction, Townsville, Australia, 1997. 14th
International Conference on Automated Deduction, CADE-14.
- Dieter Hutter.
Hierarchical proof
planning using abstractions.
In D. Dankel II, editor, Proceedings 10th Annual Florida AI Research
Symposium, FLAIRS'97, Track: Using AI methods to control automated
deduction, pages 181-185, Daytona Beach, USA, 1997. M. Fishman.
- Dieter Hutter.
Using rippling to prove
the termination of algorithms.
Research Report RR 97-03, DFKI GmbH, Saarbrücken, Germany, 1997.
- Dieter Hutter and Michael
Kohlhase.
A colored version of the
lambda -calculus.
In W. McCune, editor, Proceedings 14th International Conference on
Automated Deduction, CADE-14, pages 291-305, Townsville, Australia,
1997. Springer-Verlag, LNAI 1249.
- Dieter Hutter.
Using rippling for
equational reasoning.
In S. Hölldobler, editor, Proceedings 20th German Annual Conference on
Artificial Intelligence KI-96, pages 121-134, Dresden, Germany, 1996.
Springer-Verlag, LNAI 1137.
- Dieter Hutter and Claus
Sengler.
The graphical user
interface of INKA.
In N. Merriam, editor, Proceedings International Workshop on User
Interfaces for Theorem Provers UITP-96, pages 43-50, York, UK, 1996.
N. Merriam.
- Dieter Hutter and Claus
Sengler.
INKA - the next
generation.
In Mc Robbie and J. Slaney, editors, Proceedings 13th International
Conference on Automated Deduction, CADE-13, pages 288-292, New
Brunswick, USA, 1996. Springer-Verlag, LNAI 1104.
- Dieter Hutter, Bruno
Langenstein, Claus Sengler, Jörg Siekmann, Werner Stephan, and Andreas
Wolpers.
Deduction in the
Verification Support Environment (VSE).
In J. Woodcock M.C. Gaudel, editor, Proceedings Formal Method
Europe-96, Oxford, UK, 1996. Springer-Verlag, LNCS 1051.
- Dieter Hutter, Bruno
Langenstein, Claus Sengler, Jörg Siekmann, Werner Stephan, and Andreas
Wolpers.
Verification Support Environment (VSE).
Journal of High Integrity Systems, 1(6):523-530, 1996.
- Dieter Hutter, David
McAllister, and Christoph Walther.
Workshop on automation of
proofs by mathematical induction.
13th Conference on Automated Deduction, New Brunswick, USA, 1996.
- Dieter Hutter.
Using colored terms everywhere.
In Dagstuhl-Seminar Report, 122, IBFI GmbH, Schloß Dagstuhl,
Germany, 1995.
- Dieter Hutter and Michael
Kohlhase.
A colored version of the
lambda-calculus.
Technical Report SR-95-08, Universität des Saarlandes, 1995.
- Dieter Hutter and Werner
Stephan.
Deduction in the Verification Support Environment (VSE).
In A. Ireland, editor, Proceedings AISB-Workshop Automated Reasoning:
Bridging the gap between theory and practice, pages 43-44, Sheffield,
UK, 1995.
- Dieter Hutter, Bruno
Langenstein, Claus Sengler, Jörg Siekmann, Werner Stephan, and Andreas
Wolpers:.
Verification Support Environment (VSE).
In Dagstuhl-Seminar Report, 107, Schloß Dagstuhl, Germany,
1995. IBFI GmbH.
- Markus Ullmann, Koop, Stefan
Wittmann, Dieter Hutter, Claus Sengler, Werner Stephan, Andreas Wolpers, and
Wolfgang Reif.
The VSE development method - a way to engineer high-assurance software
systems.
In R. Gotzhein and J. Bredereke, editors, Proceedings 5.
GI/ITG-Fachgespraech Formale Beschreibungstechniken fuer verteilte
Systeme, Kaiserlautern, Germany, 1995. GI-Tagung IFG.
- Dieter Hutter.
Synthesizing induction
orderings for existence proofs.
In Alan Bundy, editor, Proceedings of the 12th International Conference
on Automated Deduction, pages 29-41, Nancy, France, 1994.
Springer-Verlag, LNAI 814.
- Dieter Hutter.
Synthesizing induction orderings for existence proofs.
In M.C. Golumbic, editor, Proceedings Third International Symposium on
Artificial Intelligence and Mathematics, Ft. Lauderdale, USA, 1994.
- Dieter Hutter and Jürgen
Cleve.
A methodology for equational
reasoning.
In Jay F. Nunamaker jr. and Ralph H. Sprague jr., editors, Proceedings
Hawaii International Conference on System Sciences 27, Volume III:
Information Systems: DSS/Knowledge-based Systems, Los Alamitos,
California, 1994. IEEE Computer Society Press.
- Dieter Hutter, Bruno
Langenstein, Claus Sengler, Werner Stephan, and Andreas Wolpers.
Deduction in the Verification Support Environment (VSE).
In B. Buth and R. Berghammer, editors, Proceedings Workshop on Systems
for Computer-Aided Specification, Development and Verification.
Universität Kiel, Bericht Nr. 9416, 1994.
- Jürgen Cleve and Dieter
Hutter.
Guiding equational proofs by attribute functions.
Interner Bericht, Universität des Saarlandes, 1993.
- Markus Ullmann, M. Hauff,
Peter Loevenich, Peter Baur, Peter Göhner, Peter Kejwal, Wolfgang Reif,
Werner Stephan, Dieter Hutter, Claus Sengler, and Jürgen Cleve.
VSE Verification Support Enviroment.
In Proceedings Online 93, Hamburg, Germany, 1993.
- Markus Ullmann, M. Hauff,
Peter Loevenich, Peter Baur, Peter Göhner, Peter Kejwal, Wolfgang Reif,
Werner Stephan, Dieter Hutter, Claus Sengler, and Jürgen Cleve.
VSE Verification Support Enviroment, Ein Werkzeug zur Entwicklung
vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an
gültige Sicherheitskriterien.
In Proceedings 3. GI-Fachtagung Verläßliche Informationssysteme
VIS, München, Germany, 1993.
- Peter Baur, Peter Kejwal,
Wolfgang Reif, Werner Stephan, Dieter Hutter, Claus Sengler, and Jürgen
Cleve.
The Verification Support enviroment VSE.
In H.H Frey, editor, Proceedings Safety of Computer Control Systems,
SAFECOMP 92, pages 69-74. IFAC International Federation of Automatic
Control, Pergamon Press, 1992.
- Dieter Hutter.
Adapting a resolution calculus for inductive proofs.
In B. Neumann, editor, Proceedings 10th European Conference on Artificial
Intelligence, Wien, Österreich, 1992. Wiley & Sons.
- Dieter Hutter.
Adapting a resolution calculus for inductive proofs.
Interner Bericht, Universität des Saarlandes, 1992.
- Dieter Hutter.
Vollständige
induktion.
Oldenbourgh Verlag, 1992.
2nd completely revised edition 1992.
- Dieter Hutter.
Mustergesteuerte
Strategien für das Beweisen von Gleichungen.
PhD thesis, University of Karlsruhe, 1991.
- Dieter Hutter.
Guiding induction proofs.
In M. Stickel, editor, Proceedings 10th International Conference on
Automated Deduction, CADE-10, Kaiserslautern, Germany, 1990.
Springer-Verlag, LNAI 449.
- Dieter Hutter.
Complete induction.
Ellis Horwood, 1989.
- Dieter Hutter.
Vollständige Induktion.
In K.H. Bläsius and H.-J. Bürckert, editors,
Deduktionssysteme, pages 153-172. Oldenbourgh Verlag, 1987.
- Susanne Biundo, Birgit
Hummel, Dieter Hutter, and Christoph Walther.
The Karlsruhe induction theorem proving system.
In Jörg H. Siekmann, editor, 8th International Conference on Automated
Deduction, CADE-8, pages 673-675, Oxford, UK, 1986. Springer Verlag,
LNCS 230.
- Dieter Hutter.
Using resolution and paramodulation for induction proofs.
In C.-R. Rollinger and W. Horn, editors, Proceedings 10th German Workshop
on Artifical Intelligence, pages 265-276, Ottenstein, Österreich,
1986. Springer Verlag, IFB 124.
- Dieter Hutter.
Verwendung von Induktionshypothesen in Induktionsbeweisen.
In U. Furbach, M. Heisel, W. Reif, and W. Stephan, editors, Workshop,
Verification, Construction and Synthesis of Programs, Karlsruhe,
Germany, 1986. Interner Bericht 10/89, Universität Karlsruhe.