Dieter Hutter

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 10

Top Venues

CoRR

ESSoS Doctoral Symposium

GraMSec

it Inf. Technol.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
How Deduction Systems Can Help You To Verify Stability Properties. CoRR (2024)
Tobias Brandt, Dieter Hutter, Christian Maeder, Rainer Müller
Towards a Secure and Reliable IT-Ecosystem in Seaports. CoRR (2021)
Rhea C. Rinaldo, Dieter Hutter
Integrated Analysis of Safety and Security Hazards in Automotive Systems. CyberICPS/SECPRE/ADIoT@ESORICS (2020)
Victor Ferman, Dieter Hutter, Raúl Monroy
A Model Checker for the Verification of Browser Based Protocols. Computación y Sistemas 21 (1) (2017)
Tim Schwartz, Michael Feld, Christian Bürckert, Svilen Dimitrov, Joachim Folz, Dieter Hutter, Peter Hevesi, Bernd Kiefer, Hans-Ulrich Krieger, Christoph Lüth, Dennis Mronga, Gerald Pirkl, Thomas Röfer, Torsten Spieldenner, Malte Wirkus, Ingo Zinnikus, Sirko Straube
Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting. Intelligent Environments (2016)
Helmar Hutschenreuter, Dieter Hutter
Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit. GI-Jahrestagung (2016)
Serge Autexier, Dieter Hutter
SHIP - A Logic-Based Language and Tool to Program Smart Environments. LOPSTR (2015)
Serge Autexier, Dieter Hutter
Structure Formation in Large Theories. CoRR (2015)
Serge Autexier, Dieter Hutter
Structure Formation in Large Theories. CICM (2015)
Berthold Hoffmann, Dieter Hutter, Hui Shi
Preface. Int. J. Softw. Informatics 9 (2) (2015)
Thomas Bauereiss, Dieter Hutter
Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS. SEC (2014)
Thomas Bauereiß, Dieter Hutter
Possibilistic Information Flow Control for Workflow Management Systems. GraMSec (2014)
Thomas Bauereiss, Dieter Hutter
Security (Hyper-)properties in Workflow Systems: From Specification to Verification. ESSoS Doctoral Symposium (2014)
Thomas Bauereiß, Dieter Hutter
Information flow control for workflow management systems. it Inf. Technol. 56 (6) (2014)
Serge Autexier, Dieter Hutter, Christoph Stahl
An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. AmI (2013)
Thomas Bauereiss, Stefan Gohmann, Dieter Hutter, Alexander Kläser
Selective LDAP Multi-Master Replication. Open Identity Summit (2013)
Dieter Hutter, Raúl Monroy
Strand-Based Approach to Patch Security Protocols. CoRR (2013)
Serge Autexier, Dieter Hutter, Christian Mandel, Christoph Stahl
SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo). AmI (2013)
Serge Autexier, Dieter Hutter
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. Description Logics (2013)
Serge Autexier, Dieter Hutter
Structure Formation to Modularize Ontologies. WoMO (2012)
Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
SmartTies - Management of Safety-Critical Developments. ISoLA (1) (2012)
Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore
AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2 (7) (2012)
Serge Autexier, Dieter Hutter, Till Mossakowski
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis (2010)
Achim D. Brucker, Dieter Hutter
Information Flow in Disaster Management Systems. ARES (2010)
Dieter Hutter, Raúl Monroy
On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS (2009)
Dieter Hutter
Semantic Management of Heterogeneous Documents. MICAI (2009)
Juan Carlos López Pimentel, Raúl Monroy, Dieter Hutter
On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS (2007)
Juan Carlos López Pimentel, Raúl Monroy, Dieter Hutter
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
Security of multi-agent systems: A case study on comparison shopping. J. Appl. Log. 5 (2) (2007)
Till Mossakowski, Serge Autexier, Dieter Hutter
Development graphs - Proof management for structured specifications. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Fernando Godínez, Dieter Hutter, Raúl Monroy
On the Use of Word Networks to Mimicry Attack Detection. ETRICS (2006)
Dieter Hutter
Possibilistic Information Flow Control in MAKS and Action Refinement. ETRICS (2006)
Dieter Hutter, Matthias Klusch, Melanie Volkamer
Information Flow Analysis Based Security Checking of Health Service Composition Plans. ECEH (2006)
Dieter Hutter, Melanie Volkamer
Information Flow Control to Secure Dynamic Web Service Composition. SPC (2006)
Fernando Godínez, Dieter Hutter, Raúl Monroy
Audit File Reduction Using N-Gram Models. Financial Cryptography (2005)
Fernando Godínez, Dieter Hutter, Raúl Monroy
On the Role of Information Compaction to Intrusion Detection. ISSADS (2005)
Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones
Software certificate management (SoftCeMent'05). ASE (2005)
Dieter Hutter, Werner Stephan
A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning (2005)
Dieter Hutter, Serge Autexier
Formal Software Development in MAYA. Mechanizing Mathematical Reasoning (2005)
Melanie Volkamer, Dieter Hutter
From Legal Principles to an Internet Voting System. Electronic Voting in Europe (2004)
Fernando Godínez, Dieter Hutter, Raúl Monroy
Attribute Reduction for Effective Intrusion Detection. AWIC (2004)
Fernando Godínez, Dieter Hutter, Raúl Monroy
Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA (2004)
Dieter Hutter, Axel Schairer
Possibilistic Information Flow Control in the Presence of Encrypted Communication. ESORICS (2004)
Dieter Hutter, Werner Stephan, Markus Ullmann
Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC (2003)
Dieter Hutter
Deduction as an Engineering Science. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Dieter Hutter, Heiko Mantel, Axel Schairer
Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. Prax. Inf.verarb. Kommun. 26 (1) (2003)
Serge Autexier, Dieter Hutter
Maintenance of Formal Software Developments by Stratified Verification. LPAR (2002)
Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
The Development Graph Manager MAYA. AMAST (2002)
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. WADT (2002)
Axel Schairer, Dieter Hutter
Proof Transformations for Evolutionary Formal Software Development. AMAST (2002)
Axel Schairer, Serge Autexier, Dieter Hutter
A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. Electron. Notes Theor. Comput. Sci. 63 (2001)
Till Mossakowski, Serge Autexier, Dieter Hutter
Extending Development Graphs with Hiding. FASE (2001)
Dieter Hutter, Axel Schairer
Towards an Evolutionary Formal Software Development. ASE (2001)
Klaus Fischer, Dieter Hutter
Preface. Electron. Notes Theor. Comput. Sci. 63 (2001)
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Dieter Hutter
Management of Change in Structured Verification. ASE (2000)
Dieter Hutter, Michael Kohlhase
Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reason. 25 (2) (2000)
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference (2000)
Dieter Hutter
Annotated reasoning. Ann. Math. Artif. Intell. 29 (1-4) (2000)
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. 12 (4) (2000)
Dieter Hutter, Alan Bundy
The Design of the CADE-16 Inductive Theorem Prover Contest. CADE (1999)
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Towards an Evolutionary Formal Software-Development Using CASL. WADT (1999)
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
System Description: inka 5.0 - A Logic Voyager. CADE (1999)
Dieter Hutter
Deductive Verification of Invariants of State-Transition Systems. KI (1998)
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. FM-Trends (1998)
Dieter Hutter, Michael Kohlhase
A Colored Version of the Lambda-Calculus. CADE (1997)
Dieter Hutter
Coloring Terms to Control Equational Reasoning. J. Autom. Reason. 18 (3) (1997)
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
Deduction in the Verification Support Environment (VSE). FME (1996)
Dieter Hutter, Claus Sengler
INKA: The Next Generation. CADE (1996)
Dieter Hutter
Using Rippling for Equational Reasoning. KI (1996)
Jürgen Cleve, Dieter Hutter
A Methodology for Equational Reasoning. HICSS (3) (1994)
Dieter Hutter
Synthesis of Induction Orderings for Existence Proofs. CADE (1994)
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)
Dieter Hutter
Adapting a Resolution Calculus for Inductive Proofs. ECAI (1992)
Dieter Hutter
Guiding Induction Proofs. CADE (1990)
Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther
The Karlsruhe Induction Theorem Proving System. CADE (1986)
Dieter Hutter
Using Resolution and Paramodulation for Induction Proofs. GWAI (1986)

Dieter Hutter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dieter Hutter