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
(Abstract)

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
(Abstract)

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

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

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

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
(Abstract)

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
(Abstract)

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
(Abstract)

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
(Abstract)

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

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

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
(Abstract)

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
(Abstract)

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

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
(Abstract)

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