Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2002. Indem Sie den Links folgen, können Sie entweder einen Abstract oder die Postscript-Version des entsprechenden Berichtes aufrufen.

Die Berichte bis Dezember 1994 sind in gedruckter Form vorhanden. Falls Sie Kopien wünschen, dann schreiben Sie bitte an:

Frau Susanne Hauser
Bibliothek der Technischen Fakultät
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany

Der Großteil der Berichte ist als Postscript-Version auf dem ftp-Server des 'Instituts für Informatik' abgelegt. Die Adresse lautet: ftp.informatik.uni-freiburg.de/documents/reports.

Bei Fragen und Problemen schreiben Sie bitte eine Mail an r_ncstrl@informatik.uni-freiburg.de !

Bericht Nr.182, Dezember 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)

Bericht Nr.181, Dezember 2002 (PostScript)

Richard Mayr:

Weak Bisimilarity and Regularity of BPA is EXPTIME-hard

Keywords: Context-free processes, BPA, weak bisimulation, complexity

(Abstract)

Bericht Nr.180, Dezember 2002 (PostScript)

Tilman Mehler, Stefan Edelkamp:

Trail-directed Java Program Verification

Keywords: Modelchecking, Software Verification, Java PathFinder, heuristics

(Abstract)

Bericht Nr.179, Oktober 2002 (PostScript)

Simon Helsen:

An Equational Theory for a Region Calculus - Revised

Keywords: regions, equational theory, bisimulation, operational equivalence

(Abstract)

Bericht Nr.178, Oktober 2002 (PostScript)

Uwe Jendricke, Michael Kreutzer, Alf Zugenmaier:

Mobile Identity Management

Keywords: privacy mobility identity manager pda ubiquitous security

(Abstract)

Bericht Nr.177, Juli 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)

Bericht Nr.176, Juli 2002 (PostScript)

Alberto Lluch Lafuente:

Simplified Distributed LTL Model Checking by Localizing Cycles

Keywords: Distributed, parallel LTL Model Checking, cycle detection, localizing cycles

(Abstract)

Bericht Nr.175, Juni 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)

Bericht Nr.174, Juni 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)

Bericht Nr.173, April 2002 (PostScript)

Simon Helsen, Peter Thiemann:

Polymorphic Specialization for ML

Keywords: regions, binding-time analysis, specialization

(Abstract)

Bericht Nr.172, April 2002 (PostScript)

Simon Helsen:

An Equational Theory for a Region Calculus

Keywords: regions, equational theory, bisimulation, operational equivalence

(Abstract)

Bericht Nr.171, Dezember 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)

Bericht Nr.170, Januar 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)

Bericht Nr.169, Januar 2002 (PostScript)

Joerg Hoffmann:

Extending FF to Numerical State Variables

Keywords: planning

(Abstract)

Bericht Nr.168, Januar 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)

Bericht Nr.166, Januar 2002 (PostScript)

F. "Wei, G." Lausen:

Query Containment for Conjunctive Queries with Safe Negation

Keywords: Containment Checking, Negation

(Abstract)