Dieter Hutter

CoRR, 2013

Selective LDAP Multi-Master Replication.

[BibT_eX]

[DOI]

Proceedings of the Open Identity Summit 2013, September 9th, 2013

Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christoph Stahl

Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo).

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

2012

AI meets Formal Software Development (Dagstuhl Seminar 12271).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

Structure Formation to Modularize Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

SmartTies - Management of Safety-Critical Developments.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010

Change Management for Heterogeneous Development Graphs.

[BibT_eX]

[DOI]

Till Mossakowski

Proceedings of the Verification, Induction, Termination Analysis, 2010

Information Flow in Disaster Management Systems.

[BibT_eX]

[DOI]

Achim D. Brucker

Proceedings of the ARES 2010, 2010

2009

Semantic Management of Heterogeneous Documents.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

On the Automated Correction of Protocols with Improper Message Encoding.

[BibT_eX]

[DOI]

Juan Carlos López Pimentel

Proceedings of the Foundations and Applications of Security Analysis, 2009

2007

Security of multi-agent systems: A case study on comparison shopping.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

On the Automated Correction of Security Protocols Susceptible to a Replay Attack.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2007

2006

Development graphs - Proof management for structured specifications.

[BibT_eX]

[DOI]

Till Mossakowski

Juan Carlos López Pimentel

J. Log. Algebraic Methods Program., 2006

A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Verification and Debugging, 2006

Information Flow Control to Secure Dynamic Web Service Composition.

[BibT_eX]

[DOI]

Melanie Volkamer

Proceedings of the Security in Pervasive Computing, Third International Conference, 2006

Possibilistic Information Flow Control in MAKS and Action Refinement.

[BibT_eX]

[DOI]

Proceedings of the Emerging Trends in Information and Communication Security, 2006

On the Use of Word Networks to Mimicry Attack Detection.

[BibT_eX]

[DOI]

Proceedings of the Emerging Trends in Information and Communication Security, 2006

Information Flow Analysis Based Security Checking of Health Service Composition Plans.

[BibT_eX]

[DOI]

Matthias Klusch

Melanie Volkamer

Proceedings of the European Conference on eHealth 2006, 2006

2005

Software certificate management (SoftCeMent'05).

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

On the Role of Information Compaction to Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Audit File Reduction Using N-Gram Models.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2005

A Portrait of a Scientist: Logic, AI and Politics.

[BibT_eX]

[DOI]

Werner Stephan

Proceedings of the Mechanizing Mathematical Reasoning, 2005

Formal Software Development in MAYA.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

Rippling - meta-level guidance for mathematical reasoning.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Information Security Applications, 5th International Workshop, 2004

From Legal Principles to an Internet Voting System.

[BibT_eX]

[DOI]

Melanie Volkamer

Proceedings of the Electronic Voting in Europe, 2004

Possibilistic Information Flow Control in the Presence of Encrypted Communication.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2004

Attribute Reduction for Effective Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web Intelligence, 2004

2003

Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.

[BibT_eX]

[DOI]

Heiko Mantel

Prax. Inf.verarb. Kommun., 2003

Deduction as an Engineering Science.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

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

[BibT_eX]

[DOI]

Werner Stephan

Markus Ullmann

Proceedings of the Security in Pervasive Computing, 2003

2002

MultiMedia Instruction in Safe and Secure Systems.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Maintenance of Formal Software Developments by Stratified Verification.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

Proof Transformations for Evolutionary Formal Software Development.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

The Development Graph Manager MAYA.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Pragmatic Approach to Reuse in Tactical Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Security of Mobile Multiagent Systems, 2001

Preface.

[BibT_eX]

[DOI]

Klaus Fischer

Proceedings of the First International Workshop on Security of Mobile Multiagent Systems, 2001

Towards an Evolutionary Formal Software Development.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Extending Development Graphs with Hiding.

[BibT_eX]

[DOI]

Till Mossakowski

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

VSE: formal methods meet industrial needs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2000

Formal software development in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2000

Managing Structural Information by Higher-Order Colored Unification.

[BibT_eX]

[DOI]

Michael Kohlhase

J. Autom. Reason., 2000

Annotated reasoning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

Management of Change in Structured Verification.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Formal Software Development in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999

Towards an Evolutionary Formal Software-Development Using CASL.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

The Design of the CADE-16 Inductive Theorem Prover Contest.

[BibT_eX]

[DOI]

Alan Bundy

Proceedings of the Automated Deduction, 1999

System Description: inka 5.0 - A Logic Voyager.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1999

1998

Deductive Verification of Invariants of State-Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

VSE: Controlling the Complexity in Formal Software Developments.

[BibT_eX]

[DOI]

Proceedings of the Applied Formal Methods, 1998

1997

Coloring Terms to Control Equational Reasoning.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

A Colored Version of the Lambda-Calculus.

[BibT_eX]

[DOI]

Michael Kohlhase

Proceedings of the Automated Deduction, 1997

1996

Using Rippling for Equational Reasoning.

[BibT_eX]

[DOI]

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Deduction in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

INKA: The Next Generation.

[BibT_eX]

[DOI]

Claus Sengler

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.

[BibT_eX]

Jürgen Cleve

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Synthesis of Induction Orderings for Existence Proofs.

[BibT_eX]

[DOI]