Institut für Informatik

Technical Reports from 2002

Here follows a list of all Technical Reports from 2002. By following the respective links, you can have a look at a report´s abstract or the postscript version. Generally, the abstracts are written in English, since most of the reports are in this language.

Report No.182, December 2002 (PostScript)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff:
A CVS-Server Security Architecture - Concepts and Formal Analysis
Keywords: security, formal methods, software architecture, Concurrent Versions System (CVS), Z, refinement

Report No.181, December 2002 (PostScript)
Richard Mayr:
Weak Bisimilarity and Regularity of BPA is EXPTIME-hard
Keywords: Context-free processes, BPA, weak bisimulation, complexity

Report No.180, December 2002 (PostScript)
Tilman Mehler, Stefan Edelkamp:
Trail-directed Java Program Verification
Keywords: Modelchecking, Software Verification, Java PathFinder, heuristics

Report No.179, October 2002 (PostScript)
Simon Helsen:
An Equational Theory for a Region Calculus - Revised
Keywords: regions, equational theory, bisimulation, operational equivalence

Report No.178, October 2002 (PostScript)
Uwe Jendricke, Michael Kreutzer, Alf Zugenmaier:
Mobile Identity Management
Keywords: privacy mobility identity manager pda ubiquitous security

Report No.177, July 2002 (PostScript)
Felix Klaedtke, Harald Ruess:
Parikh Automata and Monadic Second-Order Logics with Linear Cardinality Constraints
Keywords: WS1S and WS2S, extensions of finite word and tree automata,commutative image, semi-linear sets, Presburger arithmetic

Report No.176, July 2002 (PostScript)
Alberto Lluch Lafuente:
Simplified Distributed LTL Model Checking by Localizing Cycles
Keywords: Distributed, parallel LTL Model Checking, cycle detection, localizing cycles

Report No.175, June 2002 (PostScript)
Kristian Kersting, Tapani Raiko, Stefan Kramer, Luc De Raedt:
Towards Discovering Structural Signatures of Protein Folds based on Logical Hidden Markov Models
Keywords: Hidden Markov Models, Probabilistic Modeling, First-Order Logic, Structural Signatures, SCOP

Report No.174, June 2002 (PostScript)
Kristian Kersting, Luc De Raedt:
Basic Principles of Learning Bayesian Logic Programs
Keywords: Bayesian networks, first order logic, learning from interpretations, parameter estimation, structural learning, gradient, EM

Report No.173, April 2002 (PostScript)
Simon Helsen, Peter Thiemann:
Polymorphic Specialization for ML
Keywords: regions, binding-time analysis, specialization

Report No.172, April 2002 (PostScript)
Simon Helsen:
An Equational Theory for a Region Calculus
Keywords: regions, equational theory, bisimulation, operational equivalence

Report No.171, December 2002 (PostScript)
Burkhart Wolff, Oliver Berthold, Sebastian Clauss, Hannes Federrath, Stefan Koepsell, Andreas Pfitzmann:
Towards a Formal Analysis of a Mix Network
Keywords: Securty, Protocol Analysis, Formal Methods, Anonymity, Networking

Report No.170, January 2002 (PostScript)
Ulf Schuenemann:
Abstract Data and System Design: from Bits to Component Objects
Keywords: data abstraction, representation, modularity, object abstraction, aggregation, composition, composite object, component object, black box reuse,object abstraction, composite object, component object, black box reuse, representation exposure, alias control

Report No.169, January 2002 (PostScript)
Joerg Hoffmann:
Extending FF to Numerical State Variables
Keywords: planning

Report No.168, January 2002 (PostScript)
Achim D. Brucker, Burkhart Wolff:
A Note on Design Decisions of a Formalization of the OCL
Keywords: UML, OCL, formal semantics, HOL, Isabelle

Report No.166, January 2002 (PostScript)
F. "Wei, G." Lausen:
Query Containment for Conjunctive Queries with Safe Negation
Keywords: Containment Checking, Negation