| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Conference paper
Serge Autexier, Dieter Hutter.
Structure Formation to Modularize Ontologies.
|
Proceedings of the 6th International Workshop on Modular Ontologies, Graz, Austria, July 24, 2012 2012 |
 (0)
|
2012 |
|
|
Conference paper
Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder.
SmartTies - Management of Safety-Critical Developments.
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I 2012 |
(0)
|
2012 |
|
|
Conference paper
Alan Bundy, Dieter Hutter, Cliff B. Jones, J. Strother Moore.
AI meets Formal Software Development (Dagstuhl Seminar 12271).
|
Dagstuhl Reports 2012, Volume 2 |
(0)
|
2012 |
|
|
Conference paper
Serge Autexier, Dieter Hutter, Till Mossakowski.
Change Management for Heterogeneous Development Graphs.
|
Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday 2010 |
(0)
|
2010 |
|
|
Conference paper
Achim D. Brucker, Dieter Hutter.
Information Flow in Disaster Management Systems.
|
ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland 2010 |
(0)
|
2010 |
|
|
Conference paper
Dieter Hutter, Raul Monroy.
On the Automated Correction of Protocols with Improper Message Encoding.
|
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers 2009 |
(0)
|
2009 |
|
|
Conference paper
Dieter Hutter.
Semantic Management of Heterogeneous Documents.
|
MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings 2009 |
(0)
|
2009 |
|
|
Conference paper
Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter.
On the Automated Correction of Security Protocols Susceptible to a Replay Attack.
|
Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Conference paper
Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter.
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols.
|
Electr. Notes Theor. Comput. Sci. 2007, Volume 174 |
(0)
|
2007 |
|
|
Conference paper
Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer.
Security of multi-agent systems: A case study on comparison shopping.
|
J. Applied Logic 2007, Volume 5 |
(0)
|
2007 |
|
|
Conference paper
Fernando Godínez, Dieter Hutter, Raul Monroy.
On the Use of Word Networks to Mimicry Attack Detection.
|
Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings 2006 |
(0)
|
2006 |
|
|
Conference paper
Dieter Hutter.
Possibilistic Information Flow Control in MAKS and Action Refinement.
|
Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings 2006 |
(0)
|
2006 |
|
|
Conference paper
Dieter Hutter, Melanie Volkamer.
Information Flow Control to Secure Dynamic Web Service Composition.
|
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings 2006 |
(0)
|
2006 |
|
|
Conference paper
Dieter Hutter, Matthias Klusch, Melanie Volkamer.
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
|
European Conference on eHealth 2006, Proceedings of the ECEH'06, Fribourg, Switzerland, October 12-13, 2006 2006 |
(0)
|
2006 |
|
|
Conference paper
Till Mossakowski, Serge Autexier, Dieter Hutter.
Development graphs - Proof management for structured specifications.
|
J. Log. Algebr. Program. 2006, Volume 67 |
(0)
|
2006 |
|
|
Conference paper
Dieter Hutter, Serge Autexier.
Formal Software Development in MAYA.
|
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005 |
(0)
|
2005 |
|
|
Conference paper
Dieter Hutter, Werner Stephan.
A Portrait of a Scientist: Logic, AI and Politics.
|
Mechanizing Mathematical Reasoning 2005 |
(0)
|
2005 |
|
|
Conference paper
Fernando Godínez, Dieter Hutter, Raul Monroy.
Audit File Reduction Using N-Gram Models.
|
Financial Cryptography and Data Security, 9th International Conference, FC 2005, Roseau, The Commonwealth of Dominica, February 28 - March 3, 2005, Revised Papers 2005 |
(0)
|
2005 |
|
|
Conference paper
Fernando Godínez, Dieter Hutter, Raul Monroy.
On the Role of Information Compaction to Intrusion Detection.
|
Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers 2005 |
(0)
|
2005 |
|
|
Conference paper
Ewen Denney, Bernd Fischer 0002, Dieter Hutter, Mark Jones.
Software certificate management (SoftCeMent'05).
|
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA 2005 |
(0)
|
2005 |
|
|
Conference paper
Fernando Godínez, Dieter Hutter, Raul Monroy.
Attribute Reduction for Effective Intrusion Detection.
|
Advances in Web Intelligence, Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004. Proceedings 2004 |
(0)
|
2004 |
|
|
Conference paper
Dieter Hutter, Axel Schairer.
Possibilistic Information Flow Control in the Presence of Encrypted Communication.
|
Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings 2004 |
(0)
|
2004 |
|
|
Conference paper
Melanie Volkamer, Dieter Hutter.
From Legal Principles to an Internet Voting System.
|
Electronic Voting in Europe - Technology, Law, Politics and Society, Workshop of the ESF TED Programme together with GI and OCG, July, 7th-9th, 2004, in Schloß Hofen / Bregenz, Lake of Constance, Austria, Proceedings 2004 |
(0)
|
2004 |
|
|
Conference paper
Fernando Godínez, Dieter Hutter, Raul Monroy.
Service Discrimination and Audit File Reduction for Effective Intrusion Detection.
|
Information Security Applications, 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers 2004 |
(0)
|
2004 |
|
|
Journal article
Dieter Hutter, Heiko Mantel, Axel Schairer.
Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.
|
Praxis der Informationsverarbeitung und Kommunikation 2003, Volume 26 |
(0)
|
2003 |
|
|
Conference paper
Dieter Hutter, Werner Stephan, Markus Ullmann.
Security and Privacy in Pervasive Computing State of the Art and Future Directions.
|
Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers 2004 |
(0)
|
2003 |
|
|
Conference paper
Dieter Hutter.
Deduction as an Engineering Science.
|
Electr. Notes Theor. Comput. Sci. 2003, Volume 86 |
(0)
|
2003 |
|
|
Conference paper
Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer.
The Development Graph Manager MAYA.
|
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 |
(0)
|
2002 |
|
|
Conference paper
Axel Schairer, Dieter Hutter.
Proof Transformations for Evolutionary Formal Software Development.
|
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 |
(0)
|
2002 |
|
|
Conference paper
Serge Autexier, Dieter Hutter.
Maintenance of Formal Software Developments by Stratified Verification.
|
Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings 2002 |
(0)
|
2002 |
|
|
Conference paper
Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing.
MultiMedia Instruction in Safe and Secure Systems.
|
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers 2003 |
(0)
|
2002 |
|
|
Conference paper
Till Mossakowski, Serge Autexier, Dieter Hutter.
Extending Development Graphs with Hiding.
|
Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001 |
(0)
|
2001 |
|
|
Conference paper
Dieter Hutter, Axel Schairer.
Towards an Evolutionary Formal Software Development.
|
16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA 2001 |
(0)
|
2001 |
|
|
Conference paper
Klaus Fischer, Dieter Hutter.
Preface.
|
Electr. Notes Theor. Comput. Sci. 2001, Volume 63 |
(0)
|
2001 |
|
|
Conference paper
Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan.
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.
|
Electr. Notes Theor. Comput. Sci. 2001, Volume 63 |
(0)
|
2001 |
|
|
Conference paper
Axel Schairer, Serge Autexier, Dieter Hutter.
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
|
Electr. Notes Theor. Comput. Sci. 2001, Volume 58 |
(0)
|
2001 |
|
|
Conference paper
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt.
Formal Software Development in the Verification Support Environment (VSE).
|
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA 2000 |
(0)
|
2000 |
|
|
Conference paper
Dieter Hutter.
Management of Change in Structured Verification.
|
ASE 2000 |
(0)
|
2000 |
|
|
Conference paper
Dieter Hutter.
Annotated reasoning.
|
Ann. Math. Artif. Intell. 2000, Volume 29 |
(0)
|
2000 |
|
|
Conference paper
Dieter Hutter, Michael Kohlhase.
Managing Structural Information by Higher-Order Colored Unification.
|
J. Autom. Reasoning 2000, Volume 25 |
(0)
|
2000 |
|
|
Conference paper
Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt.
Formal software development in the Verification Support Environment (VSE).
|
J. Exp. Theor. Artif. Intell. 2000, Volume 12 |
(0)
|
2000 |
|
|
Conference paper
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers.
VSE: formal methods meet industrial needs.
|
STTT 2000, Volume 3 |
(0)
|
2000 |
|
|
Conference paper
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer.
System Description: inka 5.0 - A Logic Voyager.
|
Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999 |
(0)
|
1999 |
|
|
Conference paper
Dieter Hutter, Alan Bundy.
The Design of the CADE-16 Inductive Theorem Prover Contest.
|
Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999 |
(0)
|
1999 |
|
|
Conference paper
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer.
Towards an Evolutionary Formal Software-Development Using CASL.
|
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers 2000 |
(0)
|
1999 |
|
|
Conference paper
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel.
VSE: Controlling the Complexity in Formal Software Developments.
|
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings 1999 |
(0)
|
1998 |
|
|
Conference paper
Dieter Hutter.
Deductive Verification of Invariants of State-Transition Systems.
|
KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings 1998 |
(0)
|
1998 |
|
|
Conference paper
Dieter Hutter, Michael Kohlhase.
A Colored Version of the Lambda-Calculus.
|
Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings 1997 |
(0)
|
1997 |
|
|
Conference paper
Dieter Hutter.
Coloring Terms to Control Equational Reasoning.
|
J. Autom. Reasoning 1997, Volume 18 |
(0)
|
1997 |
|
|
Conference paper
Dieter Hutter, Claus Sengler.
INKA: The Next Generation.
|
Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings 1996 |
(0)
|
1996 |
|
|
Conference paper
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers.
Deduction in the Verification Support Environment (VSE).
|
FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings 1996 |
(0)
|
1996 |
|
|
Conference paper
Dieter Hutter.
Using Rippling for Equational Reasoning.
|
KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings 1996 |
(0)
|
1996 |
|
|
Conference paper
Dieter Hutter.
Synthesis of Induction Orderings for Existence Proofs.
|
Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings 1994 |
(0)
|
1994 |
|
|
Conference paper
Jürgen Cleve, Dieter Hutter.
A Methodology for Equational Reasoning.
|
HICSS (3) 1994 |
(0)
|
1994 |
|
|
Conference paper
Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver.
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
|
VIS 1993 |
(0)
|
1993 |
|
|
Conference paper
Dieter Hutter.
Adapting a Resolution Calculus for Inductive Proofs.
|
ECAI 1992 |
(0)
|
1992 |
|
|
Conference paper
Dieter Hutter.
Guiding Induction Proofs.
|
10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings 1990 |
(0)
|
1990 |
|
|
Conference paper
Susanne Biundo-Stephan, B. Hummel, Dieter Hutter, Christoph Walther.
The Karlsruhe Induction Theorem Proving System.
|
8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings 1986 |
(0)
|
1986 |
|
|
Conference paper
Dieter Hutter.
Using Resolution and Paramodulation for Induction Proofs.
|
GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings 1986 |
(0)
|
1986 |
95/3918