|
|
2012
- Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments.
In: Tiziana Margaria; Bernhard Steffen (Hrsg.). Proceedings 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), 5th, October 15-18, Amirandes, Heraclion, Crete, Greece, Lecture Notes in Computer Science (LNCS), Springer, 10/2012.
- Alan Bundy; Dieter Hutter; Cliff B. Jones; J Strother Moore
AI meets Formal Software Development (Dagstuhl Seminar 12271).
In: Dagstuhl Reports, Vol. 2, No. 7, Pages 1-29, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 7/2012.
- Serge Autexier; Dieter Hutter
Structure Formation to Modularize Ontologies.
In: Thomas Schneider; Dirk Walther (Hrsg.). Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-2012), 6th, located at 7th International Conference on Formal Ontology in Information Systems, July 24-27, Graz, Austria, CEUR, Vol. 875, ISBN ISSN 1613-0073, CEUR Workshop Proceedings, 2012.
2010
- Achim Brucker; Dieter Hutter
Information Flow in Disaster Management Systems.
In: M. Takizawa; A M. Tjoa (Hrsg.). Proceedings of the 5th International Conference on Availability, Reliability and Security 2010. International Conference on Availability, Reliability and Security (ARES-2010), February 15-18, Krakau, Poland, IEEE Computer Society, 1/2010.
2009
- Dieter Hutter; Raul Monroy
On the Automated Correction of Protocols with Improper Message Encoding.
In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), located at Affiliated with ETAPS 2009, March 28-29, York, United Kingdom, Lectures Notes in Computer Science (LNCS), Springer Verlag, 2009.
- Dieter Hutter
Semantic Management of Heterogeneous Documents.
In: Proceedings of the Mexican International Conference on Artificial Intelligence. Mexican International Conference on Artificial Intelligence (MICAI-2009), November 9 - October 13, Guanajuato, Mexico, Lecture Notes on Artificial Intelligence (LNAI), Vol. 5845, Springer, 2009.
2007
- Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter
On the Automated Correction of Security Protocols Susceptible to a Replay Attack.
In: J. Biskup (Hrsg.). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security (ESORICS-07), September 24 - August 26, Dresden, Germany, Lectures Notes in Computer Science (LNCS), Springer-Verlag, 2007.
- Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols.
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006), located at Associated with CAV 2006, August 21, Seattle, WA, United States, Pages 117-130, Vol. 174, No. 4, Electronic Notes in Theoretical Computer Science, 2007.
- Dieter Hutter
Preserving Privacy in the Web by Using Information Flow Control.
In: Rafael Accorsi; Michael Kreutzer; Andreas Schmidt (Hrsg.). Long-Term and Dynamical Aspects of Information Security. Page o.A. ISBN 978-1600219122, Nova Science Publishers, Inc. 2007.
2006
- Dieter Hutter; Heiko Mantel; Ina Schäfer; Axel Schairer
Security of Multi-Agent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic. Special Issue on Logic Based Agent Verification, Vol. Article in press, doi:10.1016/j.jal.2005.12.015, 2006.
- Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications.
In: Journal of Logic and Algebraic Programming, Vol. 67, No. 1--2, Pages 114-145, o.A. 2006.
- Dieter Hutter; 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, Springer-Verlag, LNCS 3934, 2006.
- Dieter Hutter; Melanie Volkamer; Matthias Klusch; 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. International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE-2006), Privacy Considerations for Deployed Multi-Agent Systems, located at AAMAS 2006, May 9, Hakodate, Japan, AAMAS 2006, 2006.
- Dieter Hutter; Matthias Klusch; Melanie Volkamer
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
In: Proccedings of the 1st European Conference on eHealth (ECEH06). Fribourg, Lecture Notes in Informatics, Gesellschaft für Informatik, 2006.
- Dieter Hutter
Possibilistic Information Flow Control in MAKS and Action Refinement.
In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. Springer-Verlag, LNCS, 2006.
- Fernando Godínez; Dieter Hutter; Raul Monroy
On the Use of Word Networks to Mimicry Attack Detection.
In: Günter Müller (Hrsg.). 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; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY), Seattle, -, 2006.
- Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols.
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Electronic Notes in Theoretical Computer Science, 2006.
- Dieter Hutter; Melanie Volkamer
Information Flow Control for Distributed Usage Control.
In: Proceedings of the 4th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods. Leeds, AXMEDIS conference proceedings, 2006.
- Dieter Hutter
Formal Security Policies for the Web.
In: S. Rajendram (Hrsg.). Proceedings of the 1st International Conference on Information Security and Computer Forensic. 1st International Conference on Information Security and Computer Forensic (ISCF-2006), Chennai, India, Pages 259-268, Allied Publisher Pvt. Ltd. 12/2006.
- Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications.
In: Journal of Logic and Algebraic Programming, Vol. 67, No. 1-2, Pages 114-145, o.A. 2006.
2005
- Heiko Mantel; Axel Schairer
Exploiting Generic Aspects of Security Models in Formal Developments.
In: Dieter Hutter; Werner Stephan (Hrsg.). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Page o.A. Springer, 2005.
- Dieter Hutter; Markus Ullmann (Eds.)
Proceedings of the Second International Conference on Security in Pervasive Computing.
Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.
- Dieter Hutter; Werner Stephan
Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann.
Springer-Verlag, LNCS 2605, 2005.
- Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland
Rippling: Meta-level Guidance for Mathematical Reasoning.
Cambridge University Press, 2005.
- Serge Autexier; Dieter Hutter
Mind the Gap - Maintaining Formal Developments in MAYA.
In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.
- Dieter Hutter; Werner Stephan
A Portrait of a Scientist: Logics, AI and Politics.
In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.
- Fernando Godínez; Dieter Hutter; 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; 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. Pages 83-97, Lecture Notes in Computer Science, LNCS 3563, 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, 2005.
- Erica Melis
Why Proof Planning for Maths Education and How?.
In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.
2004
- Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.)
Proceedings of the First International Conference on Security in Pervasive Computing.
SPC-2003, March 12-14, Boppard, Germany, Lecture Notes in Computer Science (LNCS), Vol. 2802/2004, ISBN 978-3-540-20887-7, Springer, Berlin, Heidelberg, 2004.
- Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter
Part IV: CASL Logic.
In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. Page o.A. Springer-Verlag, LNCS 2960, 2004.
- Till Mossakowski; Serge Autexier; Dieter Hutter
Extending development graphs with hiding.
In: Journal of Logic and Algebraic Programming, Elsevier, 2004.
- Fernando Godinez; Dieter Hutter; Raul Monroy
Attribute Reduction for Effective Intrusion Detection.
In: J. Favela; E. Manasalvas (Hrsg.). Proceedings of Atlantic Web Intelligence Conference, AWIC04. Springer-Verlag, LNCS, 2004.
- Melanie Volkamer; Dieter Hutter
From Legal Standards to an E-Voting System.
In: A. Prosser (Hrsg.). Proceedings of Electronic Voting in Europe: Technology, Law and Politics. Bregenz, Australia, 2004.
- Dieter Hutter; Axel Schairer
Possibilistic Information Flow Control in the Presence of Encrypted Communication.
In: P.Ryan; P.Samarati (Hrsg.). 9th European Symposium on Research in Computer Security, ESORICS 2004. Springer, LNCS, 2004.
- Dieter Hutter
Towards a Generic Management of Change.
In: Workshop on Computer-Supported Mathematical Theory Development, IJCAR'04. Cork, Ireland, 2004.
- Fernando Godínez; Dieter Hutter; Raul Monroy
Service Discrimination and Audit File Reduction for Effective Intrusion Detection.
In: Proceedings of the 2004 Workshop on Information Security Applications, WISA`04. Pages 101-115, Lecture Notes in Computer Science, No. 3325, Springer-Verlag, 2004.
2003
- Dieter Hutter; Heiko Mantel; Axel Schairer
Informationsflußkontrolle als Grundlage für die Scherheit von Multiagentensystemen.
In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.
- Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing
Towards MultiMedia Instruction in Safe and Secure Systems.
In: Recent Trends in Algebraic Development Techniques, (WADT-02). Springer-Verlag, LNCS 2755, 2003.
- Dieter Hutter
Deduction as an Engineering Science (invited paper).
In: Ingo Dahn; Laurent Vigneron (Hrsg.). 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; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. 2003.
- Axel Schairer
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.
In: Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.). Proceedings of the First International Conference on Security in Pervasive Computing. International Conference on Security in Pervasive Computing (SPC), LNCS, Vol. 2802, Springer, 2003.
2002
- Axel Schairer; 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.
- Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer
The Development Graph Manager MAYA.
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. Springer-Verlag, LNCS, 2002.
- Serge Autexier; 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.
- Klaus Fischer; Dieter Hutter
Proceedings of the 2. International Workshop on Security of Mobile Multiagent Systems.
DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI Research Reports (RR), Vol. 02-03, Bologna, Italy, 2002.
- Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay
Workshop on Evolutionary Formal Software Development.
Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.
- Serge Autexier; Dieter Hutter
Mind the Gap - Maintaining Formal Developments in MAYA.
In: , Springer-Verlag, 2002.
2001
- Till Mossakowski; Serge Autexier; Dieter Hutter
Extending development graphs with hiding.
In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Springer, LNCS, 2001.
- Axel Schairer; Serge Autexier; 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, 2001.
- Dieter Hutter; Klaus Fischer; Matthias Klusch; 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, 2001.
- Dieter Hutter; Axel Schairer
Towards an Evolutionary Formal Software Development.
In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. San Diego, IEEE Computer Society, 2001.
- Axel Schairer; Serge Autexier; Dieter Hutter
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
In: Maria Paola Bonacina; Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science. Vol. 58, Elsevier Science Publishers, 2001.
2000
- Serge Autexier; Dieter Hutter
Towards an efficient management of change in an evolutionary formal software development.
In: W.Goerig (Hrsg.). 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; Andreas Wolpers
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, Special Issue on Mechanized Theorem Proving for Technology (STTT), Vol. 3, No. 1, Pages 66-77, Springer Verlag, Berlin, Heidelberg, 2000.
- Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
Towards an Evolutionary Formal Software-Development Using CASL.
In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). Pages 73-88, Springer, LNCS 1827, 2000.
- Dieter Hutter; Michael Kohlhase
Managing Structural Information by Higher-Order Colored Unification.
In: Journal of Automated Reasoning, Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.
- Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
Formal Software Development in the Verification Support Environment.
In: Journal of Experimental and Theoretical Artificial Intelligence, 2000.
- Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; 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; 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.
- Dieter Hutter
Annotated Reasoning.
In: Annals of Mathematics and Artificial Intelligence (AMAI). Special Issue on Strategies in Automated Deduction, Vol. 29, Kluwer Academic Publisher, 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.
1999
- Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
System Description: INKA 5.0 - A Logical Voyager.
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. Trento, Springer-Verlag, LNAI 1632, 1999.
- Dennis Dams; Dieter Hutter; Natalia Sidorova
Using the INKA prover to automate safety proofs in abstract interpretation - A case study.
In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Besançon, 1999.
- Dieter Hutter; Alan Bundy
The Design of the CADE-16 Inductive Theorem Prover Contest.
In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. Trento, Springer-Verlag, LNAI 1632, 1999.
- 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.
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98), Boppard, Germany, Pages 351-358, Lecture Notes in Computer Science (LNCS), Vol. 1641, ISBN 978-3-540-66462-8, Springer-Verlag, Berlin, Heidelberg, 1999.
- Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98.
Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.
- Dieter Hutter
Annotated Reasoning.
In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). 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.
1998
- Dieter Hutter
Deductive Proof Support for Invariants of State-Transition Systems.
In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. Bremen, Germany, Pages 153-164, Springer-Verlag, LNAI 1504, Berlin, 1998.
- Dieter Hutter
Structuring Deduction by Using Abstractions.
In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. Asimolar, Pacific Grove, CA, United States, Pages 72-78, 1998.
- Dieter Hutter
Using Semantic Knowledge by Annotating Formulas.
In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Freiburg, 1998.
1997
- Serge Autexier; Dieter Hutter
Equational Proof-Planning by Dynamic Abstraction.
In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. Linz, Australia, Pages 1-6, RISC-Linz Report Series No. 97-50, 1997.
- Serge Autexier; Dieter Hutter
Parameterized Abstractions used for Proof Planning.
DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.
- Dieter Hutter; Michael Kohlhase
A Colored Version of the lambda-Calculus.
In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. Townsville, Pages 291-305, Springer-Verlag, LNAI 1249, 1997.
- Dieter Hutter
Colouring Terms to Control Equational Reasoning.
In: Journal of Automated Reasoning, Vol. 18, Pages 399-442, 1997.
- Dieter Hutter
Hierarchical Proof Planning Using Abstractions.
In: D. Dankel II (Hrsg.). Proceedings 10th Annual Florida AI Research Symposium, FLAIRS'97, Track: Using AI methods to control automated deduction. Daytona Beach, Pages 181-185, M. Fishman, 1997.
- Dieter Hutter
Equalizing Terms by Difference Reduction Techniques.
In: H. Kirchner; B. Gramlich (Hrsg.). Proceedings Workshop on Strategies in Automated Deduction. Townsville, 1997.
- Dieter Hutter
Equalising Terms by Difference Reduction Techniques.
DAI-Research Paper, Vol. No.845, 1997.
- Dieter Hutter
Using Rippling to Prove the Termination of Algorithms.
DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.
1996
- Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
Deduction in the Verification Support Environment (VSE).
In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods. FME-96, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.
- Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
Verification Support Environment (VSE).
In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
- Dieter Hutter; David McAllister; Christoph Walther
Workshop on Automation of Proofs by Mathematical Induction.
13th Conference on Automated Deduction, New Brunswick, USA, 1996.
- Dieter Hutter; Claus Sengler
INKA: The Next Generation.
In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. July 30 - August 3, New Brunswick, NJ, United States, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.
- Dieter Hutter; Claus Sengler
The Graphical User Interface of INKA.
In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. UITP-96, July 19, York, United Kingdom, Pages 43-50, N. Merriam, 1996.
- Dieter Hutter
Using Rippling for Equational Reasoning.
In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. Dresden, Germany, Pages 121-134, Springer-Verlag, LNAI 1137, 1996.
1995
- Dieter Hutter; Michael Kohlhase
A Colored Version of the Lambda-Calculus.
Technical Report, Vol. SR-95-08, 1995.
- Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
Verification Support Environment (VSE).
In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. February 27 - March 3, Schloß Dagstuhl, Germany, 1995.
- Dieter Hutter; Werner Stephan
Deduction in the Verification Support Environment (VSE).
In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. Sheffield, Pages 43-44, 1995.
- Dieter Hutter
Using Colored Terms Everywhere.
In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Schloß Dagstuhl, 1995.
- Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif
The VSE development method - a way to engineer high-assurance software systems.
In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". June 22-23, Kaiserlautern, Germany, 1995.
1994
- Dieter Hutter; Jürgen Cleve
A Methodology for Equational Reasoning.
In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences 27, Volume III: Information Systems: DSS/Knowledge-based Systems. Los Alamitos, IEEE Computer Society Press, 1994.
- Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan
Deduction in the Verification Support Environment (VSE).
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Christian-Albrechts-Universität, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.
- Dieter Hutter
Synthesizing Induction Orderings for Existence Proofs.
In: M.C. Golumbic (Hrsg.). Proceedings Third International Symposium on Artificial Intelligence and Mathematics. Ft. Lauderdale, 1994.
- Dieter Hutter
Synthesizing Induction Orderings for Existence Proofs.
In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. Nancy, France, Pages 29-41, Springer-Verlag, LNAI 814, 1994.
- R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke
Verification Support Enviroment (VSE).
In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. KES-Verlag, 1994.
1993
1992
- Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
The Verification Support Environment VSE.
In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, Switzerland, Pages 69-74, IFAC Symposia Series, Pergamon Press, 1992.
- Dieter Hutter
Vollständige Induktion.
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Page o.A. Oldenbourg Verlag, 1992.
- Dieter Hutter
Adapting a Resolution Calculus for Inductive Proofs.
In: Bernd Neumann (Hrsg.). Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-92), August 3-7, Wien, Austria, Pages 65-69, ISBN 0-471-93608-1, John Wiley & Sons, Inc. New York, 1992.
- Dieter Hutter
Adapting a Resolution Calculus for Inductive Proofs.
Interner Bericht, 1992.
1991
1990
- Dieter Hutter
Guiding Induction Proofs.
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer-Verlag, 1990.
1989
1987
1986
- Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther
The Karlsruhe Induction Theorem Proving System.
In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08), July 27 - August 1, Oxford, United Kingdom, Pages 672-674, Lecture Notes In Computer Science (LNCS), Vol. 230, ISBN 978-3-540-16780-8, Springer Verlag, London, 1986.
- Dieter Hutter
Using Resolution and Paramodulation for Induction Proofs.
In: C.-R. Rollinger; W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 265-276, Springer Verlag, IFB 124, 1986.
- Dieter Hutter
Verwendung von Induktionshypothesen in Induktionsbeweisen.
In: U. Furbach; M. Heisel; W. Reif; W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, Construction and Synthesis of Programs, Karlsruhe, Interner Bericht, Vol. 10/89, Universität Karlsruhe, 1986.
|
|
