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. 13^th 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.