Dieter Hutter

According to our database1, Dieter Hutter authored at least 75 papers between 1986 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Model Checker for the Verification of Browser Based Protocols.
Computación y Sistemas, 2017

2016
Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting.
Proceedings of the 12th International Conference on Intelligent Environments, 2016

Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

2015
Preface.
Int. J. Software and Informatics, 2015

Structure Formation in Large Theories.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

SHIP - A Logic-Based Language and Tool to Program Smart Environments.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014
Information flow control for workflow management systems.
it - Information Technology, 2014

Possibilistic Information Flow Control for Workflow Management Systems.
Proceedings of the Proceedings First International Workshop on Graphical Models for Security, 2014

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.
Proceedings of the ICT Systems Security and Privacy Protection, 2014

Security (Hyper-)properties in Workflow Systems: From Specification to Verification.
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014

2013
Selective LDAP Multi-Master Replication.
Proceedings of the Open Identity Summit 2013, September 9th, 2013

Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments.
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo).
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

2012
AI meets Formal Software Development (Dagstuhl Seminar 12271).
Dagstuhl Reports, 2012

Structure Formation to Modularize Ontologies.
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

SmartTies - Management of Safety-Critical Developments.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010
Change Management for Heterogeneous Development Graphs.
Proceedings of the Verification, Induction, Termination Analysis, 2010

Information Flow in Disaster Management Systems.
Proceedings of the ARES 2010, 2010

2009
Semantic Management of Heterogeneous Documents.
Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

On the Automated Correction of Protocols with Improper Message Encoding.
Proceedings of the Foundations and Applications of Security Analysis, 2009

2007
Security of multi-agent systems: A case study on comparison shopping.
J. Applied Logic, 2007

A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols.
Electr. Notes Theor. Comput. Sci., 2007

On the Automated Correction of Security Protocols Susceptible to a Replay Attack.
Proceedings of the Computer Security, 2007

2006
Development graphs - Proof management for structured specifications.
J. Log. Algebr. Program., 2006

Information Flow Control to Secure Dynamic Web Service Composition.
Proceedings of the Security in Pervasive Computing, Third International Conference, 2006

Possibilistic Information Flow Control in MAKS and Action Refinement.
Proceedings of the Emerging Trends in Information and Communication Security, 2006

On the Use of Word Networks to Mimicry Attack Detection.
Proceedings of the Emerging Trends in Information and Communication Security, 2006

Information Flow Analysis Based Security Checking of Health Service Composition Plans.
Proceedings of the European Conference on eHealth 2006, 2006

2005
Software certificate management (SoftCeMent'05).
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

On the Role of Information Compaction to Intrusion Detection.
Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Audit File Reduction Using N-Gram Models.
Proceedings of the Financial Cryptography and Data Security, 2005

A Portrait of a Scientist: Logic, AI and Politics.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Formal Software Development in MAYA.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Rippling - meta-level guidance for mathematical reasoning.
Cambridge tracts in theoretical computer science 56, Cambridge University Press, ISBN: 978-0-521-83449-0, 2005

2004
Service Discrimination and Audit File Reduction for Effective Intrusion Detection.
Proceedings of the Information Security Applications, 5th International Workshop, 2004

From Legal Principles to an Internet Voting System.
Proceedings of the Electronic Voting in Europe, 2004

Possibilistic Information Flow Control in the Presence of Encrypted Communication.
Proceedings of the Computer Security, 2004

Attribute Reduction for Effective Intrusion Detection.
Proceedings of the Advances in Web Intelligence, 2004

2003
Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.
Praxis der Informationsverarbeitung und Kommunikation, 2003

Deduction as an Engineering Science.
Electr. Notes Theor. Comput. Sci., 2003

Security and Privacy in Pervasive Computing State of the Art and Future Directions.
Proceedings of the Security in Pervasive Computing, 2003

2002
MultiMedia Instruction in Safe and Secure Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Maintenance of Formal Software Developments by Stratified Verification.
Proceedings of the Logic for Programming, 2002

Proof Transformations for Evolutionary Formal Software Development.
Proceedings of the Algebraic Methodology and Software Technology, 2002

The Development Graph Manager MAYA.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
Electr. Notes Theor. Comput. Sci., 2001

Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.
Electr. Notes Theor. Comput. Sci., 2001

Preface.
Electr. Notes Theor. Comput. Sci., 2001

Towards an Evolutionary Formal Software Development.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Extending Development Graphs with Hiding.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
VSE: formal methods meet industrial needs.
STTT, 2000

Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell., 2000

Managing Structural Information by Higher-Order Colored Unification.
J. Autom. Reasoning, 2000

Annotated reasoning.
Ann. Math. Artif. Intell., 2000

Management of Change in Structured Verification.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Formal Software Development in the Verification Support Environment (VSE).
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999
Towards an Evolutionary Formal Software-Development Using CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

The Design of the CADE-16 Inductive Theorem Prover Contest.
Proceedings of the Automated Deduction, 1999

System Description: inka 5.0 - A Logic Voyager.
Proceedings of the Automated Deduction, 1999

1998
Deductive Verification of Invariants of State-Transition Systems.
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

VSE: Controlling the Complexity in Formal Software Developments.
Proceedings of the Applied Formal Methods, 1998

1997
Coloring Terms to Control Equational Reasoning.
J. Autom. Reasoning, 1997

A Colored Version of the Lambda-Calculus.
Proceedings of the Automated Deduction, 1997

1996
Using Rippling for Equational Reasoning.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Deduction in the Verification Support Environment (VSE).
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

INKA: The Next Generation.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1994
A Methodology for Equational Reasoning.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Synthesis of Induction Orderings for Existence Proofs.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
Proceedings of the Verläßliche Informationssysteme, 1993

1992
Adapting a Resolution Calculus for Inductive Proofs.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
Mustergesteuerte Strategien für das Beweisen von Gleichungen.
PhD thesis, 1991

1990
Guiding Induction Proofs.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1986
Using Resolution and Paramodulation for Induction Proofs.
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

The Karlsruhe Induction Theorem Proving System.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986


  Loading...