2016
Tim Schwartz; Michael Feld; Christian Bürckert; Svilen Dimitrov; Joachim Folz; Peter Hevesi; Dieter Hutter; Bernd Kiefer; Hans-Ulrich Krieger; Christoph Lüth; Dennis Mronga; Gerald Pirkl; Thorsten Spieldenner; Malte Wirkus; Ingo Zinnikus; Sirko StraubeHybrid Teams of Humans, Robots and Virtual Agents in a Production Setting. In: The 12th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-16), 12th, September 12-13, London, United Kingdom, 9/2016. [to appear]
hysociatea.pdf
Helmar Hutschenreuter; Dieter Hutter
Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit. In: GI Informatik 2016. GI-Informatiktage (Informatik-2016), Workshop zur Nutzerzentrierten Sicherheit, September 26-30, Klagenfurt, Austria, LNI, GI, 2016. [to appear]
2015
Serge Autexier; Dieter HutterStructure Formation in Large Theories. In: Cezary Kaliszyk (Hrsg.). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July 13-17, Washington, DC, USA, Lecture Notes on Artificial Intelligence (LNAI), Springer, 7/2015.
Berthold Hoffmann; Dieter Hutter; Hui Shi
Special Issue regarding Prof. Dr. Bernd Krieg-Bruckner's 66th birthday. In: Berthold Hoffmann; Dieter Hutter; Hui Shi (Hrsg.). International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, Pages 1-93, Institute of Software, the Chinese Academy of Sciences, 8/2015.
Serge Autexier; Dieter Hutter
SHIP - A Logic-Based Language and Tool to Program Smart Environments. In: Moreno Falaschi (Hrsg.). 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR-2015), July 13-15, Siena, Italy, Pages 313-330, Lecture Notes in Computer Science, (LNCS), Vol. 9527, Springer-Verlag, 11/2015.
2014
T. Bauereiß; D. HutterInformation Flow Control for Workflow Management Systems. In: H. Mantel (Hrsg.). IT - information technology (IT), Vol. 6, pp. 294-299, de Gruyter, 2014
T. Bauereiß; D. Hutter
Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS. In: F. Cuppens; N. Cuppens-Boulahia (Hrsg.). IFIP SEC 2014 International Information Security and Privacy Conference. IFIP International Information Security and Privacy Conference (SEC-2014), June 2-4, Marrakech, Morocco, Pages 250-256, IFIP Advances in Information and Communication Technology, Springer, 2014.
T. Bauereiß; D. Hutter
Possibilistic information flow security of workflow management systems. In: First International Workshop on Graphical Models for Security. International Workshop on Graphical Models for Security (GramSec-2014), located at European Joint Conferences on Theory and Practice of Software, April 5-13, Grenoble, France, EPTCS, Vol. 148, Electronic Proceedings in Theoretical Computer Science, 2014.
C. Lüth; S. Autexier; D. Hutter; M. Soeken; R. Wille; R. Drechsler SPECifIC - A New Design Flow for Cyber-Physical Systems. In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop, April 14, Berlin, Germany, o.A. 2014. [to appear]
T. Bauereiß; D. Hutter; S. Gohmann; A. Kläser
Security Meets LDAP Multi-Master Replication. In: A. Munoz; E. Damiani (Hrsg.). Third ASE International Conference on Cyber Security . International Workshop on Cloud Security (IWOCS-2014), located at Third ASE International Conference on Cyber Security , May 27-31, Stanford, CA, USA, ASE Open Scientific Digital Library, 6/2014.
S. Autexier; D. Hutter
SHIP: Semantic Integration of Heterogenous Processes. BMBF, DFKI Final Reports, 2014. Download
2013
S. Autexier; D. HutterConstructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes. In: Proceedings of the 26th International Workshop on Description Logics, 2013. International Workshop on Description Logics (DL-13), July 23-26, Ulm, Germany, Pages 501-512, CEUR, Vol. 1014, CEUR Workshop Proceedings, http://ceur-ws.org/Vol-1014/, 7/2013.
T. Bauereiß; S. Gohmann; D. Hutter; A. Kläser
Selective LDAP Multi-Master Replication. In: Proceedings Open Identity Summit 2013. Open Identity Summit (OID-2013), September 9-11, Kloster Banz, Germany, Lecture Notes in Informatics (LNI), Springer, 2013. [to appear]
S. Autexier; D. Hutter; C. Stahl
An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. In: J. C. Augusto; R. Wichert (Eds.). Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint Conference on Ambient Intelligence (Aml-2013), December 3-5, Dublin, Ireland, Springer-Verlag, CCIS, 12/2013. [to appear]
S. Autexier; D. Hutter; C. Mandel; C. Stahl
SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab (Demo). In: J. C. Augusto; R. Wichert (Eds.). Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint Conference on Ambient Intelligence (Aml-2013), December 3-5, Dublin, Ireland, Springer-Verlag, CCIS, 12/2013. [to appear]
S. Autexier; D. Hutter; M. Bawadekji; R. Wolters
Supporting Clinical Guidelines Using DL-Temporal Reasoning. In: Proceedings of the 10th International Conference & Expo on Emerging Technologies for a Smarter World. International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT-2013), 10th, October 21-22, Melville, NY, USA, IEEE Xplore Online, 10/2013.
2012
S. Autexier; D. Dietrich; D. Hutter; C. Lüth; C. MaederSmartTies - Management of Safety-Critical Developments. In: T. Margaria; B. Steffen (Eds.). 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. [to appear]
SmartTies.pdf
A. Bundy; D. Hutter; C. B. Jones; J. S. 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.
http://drops.dagstuhl.de/opus/volltexte/2012/3731
S. Autexier; D. Hutter
Structure Formation to Modularize Ontologies. In: T. Schneider; D. Walther (Eds.). 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.
regular_paper_1.pdf
2010
A. Brucker; D. HutterInformation Flow in Disaster Management Systems. In: M. Takizawa; A. M. Tjoa (Eds.). 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. [to appear]
S. Autexier; D. Hutter; T. Mossakowski
Change Management for Heterogeneous Development Graphs. In: S. Siegler; N. Wasser. Essays in Honor of Christoph Walther on the Occasion of his 60th Birthday. Pages 54-80, Lecture Notes in Artificial Intelligence (LNAI), Vol. 6463, Springer Verlag, Berlin Heidelberg, 11/2010.
2009
D. Hutter; R. MonroyOn the Automated Correction of Protocols with Improper Message Encoding. In: L. Vigano; P. Degano (Eds.). 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.
D. 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
J. Lopez-Pimentel; R. Monroy; D. HutterOn the Automated Correction of Security Protocols Susceptible to a Replay Attack. In: J. Biskup (Eds.). 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.
J. Lopez-Pimentel; R. Monroy; D. Hutter
A method for patching interleaving-replay attacks in faulty security protocols. In: R. Bloem (Eds.). 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, USA, Pages 117-130, Vol. 174, No. 4, Electronic Notes in Theoretical Computer Science, 2007.
D. Hutter
Preserving Privacy in the Web by Using Information Flow Control. In: R. Accorsi; M. Kreutzer; A. Schmidt (Eds.). Long-Term and Dynamical Aspects of Information Security. Page o.A. ISBN 978-1600219122, Nova Science Publishers, Inc. 2007.
2006
D. Hutter; H. Mantel; I. Schäfer; A. SchairerSecurity 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.
T. Mossakowski; S. Autexier; D. 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.
D. Hutter; M. 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.
D. Hutter; M. Volkamer; M. Klusch; A. 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.
D. Hutter; M. Klusch; M. 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.
D. Hutter
Possibilistic Information Flow Control in MAKS and Action Refinement. In: G. Müller (Eds.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. Springer-Verlag, LNCS, 2006.
F. Godinez; D. Hutter; R. Monroy
On the Use of Word Networks to Mimicry Attack Detection. In: G. Müller (Eds.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. Springer-Verlag, LNCS, 2006.
D. Hutter
Automating Proofs of Unwinding Conditions. In: S. Autexier; H. Mantel (Eds.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY), Seattle, -, 2006.
J. Lopez-Pimentel; R. Monroy; D. Hutter
A method for patching interleaving-replay attacks in faulty security protocols. In: R. Bloem (Eds.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Electronic Notes in Theoretical Computer Science, 2006.
D. Hutter; M. 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.
D. Hutter
Formal Security Policies for the Web. In: S. Rajendram (Eds.). 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.
T. Mossakowski; S. Autexier; D. 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.
http://www.sciencedirect.com/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S1567832605000810&_version=1&md5=7c18897e9ffad42e0649c6b41203f41e
2005
D. Hutter; M. U. (Eds.)Proceedings of the Second International Conference on Security in Pervasive Computing. Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.
D. Hutter; W. Stephan
Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.
A. Bundy; D. Basin; D. Hutter; A. Ireland
Rippling: Meta-level Guidance for Mathematical Reasoning. Cambridge University Press, 2005.
S. Autexier; D. Hutter
Mind the Gap - Maintaining Formal Developments in MAYA. In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.
D. Hutter; W. 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.
F. Godinez; D. Hutter; R. 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.
F. Godinez; D. Hutter; R. 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.
D. 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.
2004
D. Hutter; G. Müller; W. Stephan; M. UllmannProceedings 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.
T. Mossakowski; P. Hoffman; S. Autexier; D. Hutter
Part IV: CASL Logic. In: B. Krieg-Brückner; P. Mosses (Eds.). The CASL Reference Manual. Page o.A. Springer-Verlag, LNCS 2960, 2004.
T. Mossakowski; S. Autexier; D. Hutter
Extending development graphs with hiding. In: Journal of Logic and Algebraic Programming, Elsevier, 2004.
F. Godinez; D. Hutter; R. Monroy
Attribute Reduction for Effective Intrusion Detection. In: J. Favela; E. Manasalvas (Eds.). Proceedings of Atlantic Web Intelligence Conference, AWIC04. Springer-Verlag, LNCS, 2004.
M. Volkamer; D. Hutter
From Legal Standards to an E-Voting System. In: A. Prosser (Eds.). Proceedings of Electronic Voting in Europe: Technology, Law and Politics. Bregenz, Australia, 2004.
D. Hutter; A. Schairer
Possibilistic Information Flow Control in the Presence of Encrypted Communication. In: P.Ryan; P.Samarati (Eds.). 9th European Symposium on Research in Computer Security, ESORICS 2004. Springer, LNCS, 2004.
D. Hutter
Towards a Generic Management of Change. In: Workshop on Computer-Supported Mathematical Theory Development, IJCAR'04. Cork, Ireland, 2004.
F. Godinez; D. Hutter; R. 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
D. Hutter; H. Mantel; A. SchairerInformationsflußkontrolle als Grundlage für die Scherheit von Multiagentensystemen. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.
http://www.dfki.de/vse/papers/HMS03.pdf
B. Krieg-Brückner; D. Hutter; C. Lueth; E. Melis; A. Pötsch-Heffter; M. Roggenbach; J.-G. Smaus; M. Wirsing
Towards MultiMedia Instruction in Safe and Secure Systems. In: Recent Trends in Algebraic Development Techniques, (WADT-02). Springer-Verlag, LNCS 2755, 2003.
D. Hutter
Deduction as an Engineering Science (invited paper). In: I. Dahn; L. Vigneron (Eds.). Proceedings of First-Order Theorem Proving FTP-2003. Electronic Notes in Theoretical Computer Science, Vol. 86, Issue 1, 2003.
D. Hutter
Maintaining Formal Developments. In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Eds.). Dagstuhl Seminar 03451, Applied Deductive Verification. 2003.
http://www.dagstuhl.de/03451/Proceedings
A. Schairer
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems. In: D. Hutter; G. Müller; W. Stephan; M. Ullmann (Eds.). Proceedings of the First International Conference on Security in Pervasive Computing. International Conference on Security in Pervasive Computing (SPC), LNCS, Vol. 2802, Springer, 2003.
http://www.dfki.de/~schairer/spc-2003-schairer.ps
2002
A. Schairer; D. HutterProof Transformations for Evolutionary Formal Software Development. In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. Springer-Verlag, LNCS, 2002.
http://www.dfki.de/vse/papers/hs02.ps.gz
S. Autexier; D. Hutter; T. Mossakowski; A. Schairer
The Development Graph Manager MAYA. In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. Springer-Verlag, LNCS, 2002.
http://www.dfki.de/vse/papers/ahms02.ps.gz
S. Autexier; D. 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.
http://www.dfki.de/vse/papers/ah02.ps.gz
K. Fischer; D. 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.
RR-02-03.pdf
D. Hutter; D. Basin; C. Lueth; P. Lindsay
Workshop on Evolutionary Formal Software Development. Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.
S. Autexier; D. Hutter
Mind the Gap - Maintaining Formal Developments in MAYA. In:, Springer-Verlag, 2002.
2001
T. Mossakowski; S. Autexier; D. HutterExtending development graphs with hiding. In: A. Konermann (Eds.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Springer, LNCS, 2001.
http://www.brics.dk/Projects/CoFI/Notes/S-12
A. Schairer; S. Autexier; D. 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.
http://www.dfki.de/vse/papers/sah01.ps.gz
D. Hutter; K. Fischer; M. Klusch; W. 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.
http://www.elsevier.com/gej-ng/31/29/23/118/25/show/Products/notes/index.htt
D. Hutter; A. 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.
http://www.dfki.de/vse/papers/hs01.ps.gz
A. Schairer; S. Autexier; D. Hutter
A Pragmatic Approach to Reuse in Tactical Theorem Proving. In: M. P. Bonacina; B. Gramlich (Eds.). Electronic Notes in Theoretical Computer Science. Vol. 58, Elsevier Science Publishers, 2001.
http://www.elsevier.com/gej-ng/31/29/23/90/33/32/58.2.006.pdf
2000
S. Autexier; D. HutterTowards an efficient management of change in an evolutionary formal software development. In: W.Goerig (Eds.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Universität Kiel, 2000.
S. Autexier; D. Hutter; B. Langenstein; H. Mantel; G. Rock; A. Schairer; W. Stephan; R. Vogt; A. 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.
http://www.dfki.de/vse/papers/ahlm98.ps.gz
S. Autexier; D. Hutter; H. Mantel; A. Schairer
Towards an Evolutionary Formal Software-Development Using CASL. In: C. Choppy; D. Bert (Eds.). Recent Trends in Algebraic Development Techniques, (WADT-99). Pages 73-88, Springer, LNCS 1827, 2000.
http://www.dfki.de/vse/papers/ahms00.ps.gz
D. Hutter; M. Kohlhase
Managing Structural Information by Higher-Order Colored Unification. In: Journal of Automated Reasoning, Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.
http://www.dfki.de/vse/papers/hk00.ps.gz
D. Hutter; B. Langenstein; G. Rock; J. Siekmann; W. Stephan; R. Vogt
Formal Software Development in the Verification Support Environment. In: Journal of Experimental and Theoretical Artificial Intelligence, 2000. [to appear]
D. Hutter; H. Mantel; K. P. Jantke; G. Rock; W. Stephan
Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II. In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. 2000.
D. Hutter; G. Rock; J. Siekmann; W. Stephan; R. 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.
D. Hutter
Annotated Reasoning. In: Annals of Mathematics and Artificial Intelligence (AMAI). Special Issue on Strategies in Automated Deduction, Vol. 29, Kluwer Academic Publisher, 2000.
http://www.dfki.de/vse/papers/hutter00a.ps.gz
D. 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.
http://www.dfki.de/vse/papers/hutter00.ps.gz
1999
S. Autexier; D. Hutter; H. Mantel; A. SchairerSystem Description: INKA 5.0 - A Logical Voyager. In: H.Ganzinger (Eds.). Proceedings 16th International Conference on Automated Deduction, CADE-16. Trento, Springer-Verlag, LNAI 1632, 1999.
http://www.dfki.de/vse/papers/ahms99.ps.gz
D. Dams; D. Hutter; N. Sidorova
Using the INKA prover to automate safety proofs in abstract interpretation - A case study. In: F. Bellegarde; O. Kouchnarenko (Eds.). Workshop on Modelling and Verification, C.I.S. Besan�on, 1999.
http://www.dfki.de/vse/papers/dhs00.ps.gz
D. Hutter; A. Bundy
The Design of the CADE-16 Inductive Theorem Prover Contest. In: H. Ganzinger (Eds.). Proceedings 16th International Conference on Automated Deduction, CADE-16. Trento, Springer-Verlag, LNAI 1632, 1999.
http://www.dfki.de/vse/papers/hb99.ps.gz
D. Hutter; H. Mantel; G. Rock; W. Stephan; A. Wolpers; M. Balser; W. Reif; G. Schellhorn; K. Stenzel
VSE: Controlling the Complexity in Formal Software Developments. In: D. Hutter; W. Stephan; P. Traverso; M. Ullmann (Eds.). 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.
http://www.dfki.de/vse/papers/hmrs98.ps.gz
D. Hutter; W. Stephan; P. Traverso; M. Ullmann
Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98. Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.
D. Hutter
Annotated Reasoning. In: B. Gramlich; H. Kirchner; F. Pfenning (Eds.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. 1999.
http://www.dfki.de/vse/papers/hutter99a.ps.gz
D. Hutter
Workshop on Automation of Proofs by Mathematical Induction. Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.
1998
D. HutterDeductive Proof Support for Invariants of State-Transition Systems. In: O. Herzog (Eds.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. Bremen, Germany, Pages 153-164, Springer-Verlag, LNAI 1504, Berlin, 1998.
http://www.dfki.de/vse/papers/hutter98.ps.gz
D. Hutter
Structuring Deduction by Using Abstractions. In: T. Ellman (Eds.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. Asimolar, Pacific Grove, CA, USA, Pages 72-78, 1998.
http://www.dfki.de/vse/papers/hutter98a.ps.gz
D. Hutter
Using Semantic Knowledge by Annotating Formulas. In: D. Basin; D. Gabbay (Eds.). Proceedings 1st Workshop on Labelled Deduction. Freiburg, 1998.
1997
S. Autexier; D. HutterEquational Proof-Planning by Dynamic Abstraction. In: U. Furbach; M. P. Bonacina (Eds.). International Workshop on First-Order Theorem Proving - FTP97. Linz, Australia, Pages 1-6, RISC-Linz Report Series No. 97-50, 1997.
http://www.dfki.de/vse/papers/ah97.ps.gz
S. Autexier; D. Hutter
Parameterized Abstractions used for Proof Planning. DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.
http://www.dfki.de/vse/papers/ah97a.ps.gz
RR-97-04.pdf
D. Hutter; M. Kohlhase
A Colored Version of the lambda-Calculus. In: W. McCune (Eds.). Proceedings 14th International Conference on Automated Deduction, CADE-14. Townsville, Pages 291-305, Springer-Verlag, LNAI 1249, 1997.
http://www.dfki.de/vse/papers/hk97.ps.gz
D. Hutter
Colouring Terms to Control Equational Reasoning. In: Journal of Automated Reasoning, Vol. 18, Pages 399-442, 1997.
http://www.dfki.de/vse/papers/hutter97.ps.gz
D. Hutter
Hierarchical Proof Planning Using Abstractions. In: D. D. II (Eds.). 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.
http://www.dfki.de/vse/papers/hutter97a.ps.gz
D. Hutter
Equalizing Terms by Difference Reduction Techniques. In: H. Kirchner; B. Gramlich (Eds.). Proceedings Workshop on Strategies in Automated Deduction. Townsville, 1997.
http://www.dfki.de/vse/papers/hutter97b.ps.gz
D. Hutter
Equalising Terms by Difference Reduction Techniques. DAI-Research Paper, Vol. No.845, 1997.
http://www.dfki.de/vse/papers/hutter97c.ps.gz
D. Hutter
Using Rippling to Prove the Termination of Algorithms. DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.
RR-97-03.pdf
1996
D. Hutter; B. Langenstein; C. Sengler; J. Siekmann; W. Stephan; A. WolpersDeduction in the Verification Support Environment (VSE). In: J. Woodcock; M. C. Gaudel (Eds.). 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.
http://www.dfki.de/vse/papers/hlss96.ps.gz
D. Hutter; B. Langenstein; C. Sengler; J. Siekmann; W. Stephan; A. Wolpers
Verification Support Environment (VSE). In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
D. Hutter; D. McAllister; C. Walther
Workshop on Automation of Proofs by Mathematical Induction. 13th Conference on Automated Deduction, New Brunswick, USA, 1996.
http://www.dfki.de/vse/papers/hmw96.ps.gz
D. Hutter; C. Sengler
INKA: The Next Generation. In: M. A. McRobbie; J. K. Slaney (Eds.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. July 30 - August 3, New Brunswick, NJ, USA, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.
http://www.dfki.de/vse/papers/hs96.ps.gz
D. Hutter; C. Sengler
The Graphical User Interface of INKA. In: N. A. Merriam (Eds.). Proceedings International Workshop on User Interfaces for Theorem Provers. UITP-96, July 19, York, United Kingdom, Pages 43-50, N. Merriam, 1996.
http://www.dfki.de/vse/papers/hs96a.ps.gz
D. Hutter
Using Rippling for Equational Reasoning. In: S. Hölldobler (Eds.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. Dresden, Germany, Pages 121-134, Springer-Verlag, LNAI 1137, 1996.
http://www.dfki.de/vse/papers/hutter96.ps.gz
1995
D. Hutter; M. KohlhaseA Colored Version of the Lambda-Calculus. Technical Report, Vol. SR-95-08, 1995.
http://www.dfki.de/vse/papers/hk95.ps.gz
D. Hutter; B. Langenstein; C. Sengler; J. Siekmann; W. Stephan; A. Wolpers
Verification Support Environment (VSE). In: W. J. Cullyer; W. A. Halang; B. J. Krämer (Eds.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. February 27 - March 3, Schloß Dagstuhl, Germany, 1995.
D. Hutter; W. Stephan
Deduction in the Verification Support Environment (VSE). In: A. Ireland (Eds.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. Sheffield, Pages 43-44, 1995.
D. Hutter
Using Colored Terms Everywhere. In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Schloß Dagstuhl, 1995.
F. Koop; M. Ullmann; S. Wittmann; D. Hutter; B. Langenstein; C. Sengler; W. Stephan; A. Wolpers; W. Reif
The VSE development method - a way to engineer high-assurance software systems. In: R. Gotzhein; J. Bredereke (Eds.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". June 22-23, Kaiserlautern, Germany, 1995.
1994
D. Hutter; J. CleveA Methodology for Equational Reasoning. In: J. F. N. jr.; R. H. S. jr. (Eds.). Proceedings Hawaii International Conference on System Sciences: Information Systems: DSS/Knowledge-based Systems. Hawaii International Conference on System Sciences (HICSS), 27th, January 4-7, Maui, Hawaii, USA, Vol. III, IEEE Computer Society Press, Los Alamitos, California, 1994.
http://www.dfki.de/vse/papers/ch94.ps.gz
D. Hutter; B. Langenstein; C. Sengler; W. Stephan
Deduction in the Verification Support Environment (VSE). In: B. Buth; R. Berghammer (Eds.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on Systems for Computer-Aided Specification, Development and Verification, July 4-5, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.
D. Hutter
Synthesizing Induction Orderings for Existence Proofs. In: M. Golumbic (Eds.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on Artificial Intelligence and Mathematics, 3rd, Fort Lauderdale, FL, USA, o.A. 1994.
D. Hutter
Synthesizing Induction Orderings for Existence Proofs. In: A. Bundy (Eds.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-1994), 12th, June 26 - July 1, Nancy, France, Pages 29-41, Lecture Notes in Artificial Intelligence (LNAI), Vol. 814, Springer, 1994.
http://www.dfki.de/vse/papers/hutter94b.ps.gz
R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; D. Hutter; C. Sengler; J. Siekmann; W. Stephan; A. Wolpers; W. Reif; E. Canver; F. W. v. Henke
Verification Support Enviroment (VSE). In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.
http://www.dfki.de/vse/papers/vse94.ps.gz
1993
J. Cleve; D. HutterGuiding equational proofs by attribute functions. Interner Bericht, 1993.
M. Ullmann; M. Hauff; P. Loevenich; P. Baur; P. Göhner; P. Kejwal; W. Reif; W. Stephan; D. Hutter; C. Sengler; J. Cleve
VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, Vol. 16, ISBN 978-3-528-05344-4, Springer, 1993.
M. Ullmann; M. Hauff; P. Loevenich; P. Baur; P. Göhner; P. Kejwal; W. Reif; W. Stephan; D. Hutter; C. Sengler; J. Cleve
VSE Verification Support Environment. In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, o.A. 1993.
1992
P. Baur; P. Kejwal; W. Reif; W. Stephan; D. Hutter; C. Sengler; J. CleveThe Verification Support Environment VSE. In: H. H. Frey (Eds.). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Z�rich, Switzerland, Pages 69-74, IFAC Symposia Series, Pergamon Press, 1992.
D. Hutter
Vollstaendige Induktion. In: K.-H. Bläsius; H.-J. Bürckert (Eds.). Deduktionssysteme. Automatisierung des logischen Denkens. Page o.A. Oldenbourg Verlag, 1992.
http://www.dfki.de/vse/papers/hutter92.ps.gz
D. Hutter
Adapting a Resolution Calculus for Inductive Proofs. In: B. Neumann (Eds.). 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.
D. Hutter
Adapting a Resolution Calculus for Inductive Proofs. Interner Bericht, 1992.
1991
D. HutterMustergesteuerte Strategien für das Beweisen von Gleichungen. PhD-Thesis, University of Karlsruhe, 1991.
http://www.dfki.de/vse/papers/hutter91.ps.gz
1990
D. HutterGuiding Induction Proofs. In: M. Stickel (Eds.). 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
D. HutterComplete Induction. In: K.-H. Bläsius; H.-J. Bürckert (Eds.). Deduction Systems in Artificial Intelligence. Page o.A. Ellis Horwood Series in Artificial Intelligence, ISBN 9780745804095, Ellis Horwood, 1989.
1987
D. HutterVollständige Induktion. In: K.-H. Bläsius; H.-J. Bürckert (Eds.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.
1986
S. Biundo; B. Hummel; D. Hutter; C. WaltherThe Karlsruhe Induction Theorem Proving System. In: J. Siekmann (Eds.). 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.
D. Hutter
Using Resolution and Paramodulation for Induction Proofs. In: C.-R. Rollinger; W. Horn (Eds.). 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.
D. Hutter
Verwendung von Induktionshypothesen in Induktionsbeweisen. In: U. Furbach; M. Heisel; W. Reif; W. Stephan (Eds.). 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.