Publikationen von Dieter Hutter

2017

2016

2015

2014

2013

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

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

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