Freie
Universität Berlin, Department of Mathematics and Computer Science
Institute of
Computer Science
Systems Software Lab
Publications
2006 2005
2004 2003 2002
2001 2000 1999
1998 1997 1996
1995 1994 1993
1992
2006
- Klaus-Peter
Löhr, Max Haustein
The JAC
System: Minimizing the Differences between Concurrent and
Sequential Java Code.
Journal
of Object Technology,
vol. 5, no. 7, September-October 2006
- Manuel Koch,
Francesco Parisi-Presicce, Karl Pauls
Access Control Specification in UML.
In H. Mouratidis, P. Giorgini (eds): Integrating Security
and Software Engineering: Advances and Future Vision. IDEA Group
Inc. 2006
- Steffen
Kolarczyk, Manuel Koch, Klaus-Peter Löhr, Karl Pauls
SecTOOL
- Supporting Requirements Engineering for Access Control.
Proc.
Conf. on Emerging Trends in Information and Communication Security
(ETRICS),
Freiburg, June 2006. Springer LNCS 3995
- Max Haustein,
Klaus-Peter Löhr
JAC
- Declarative Java Concurrency.
Concurrency
and Computation: Practice and Experience 18.5,
pp. 519-546, April 2006
(Published online 20 October 2005)
2005
- Karsten Otto
Semantic Virtual Environments
Proc. 14th Int. World Wide Web
Conference (WWW2005), Chiba/Japan, May 2005
- Karsten Otto
The
Semantics of Multi-user Virtual Environments
Proc. WorkShop towards
Semantic Virtual Environments (SVE'05), Villars/Switzerland, March
2005
- Volker Claus, Klaus-Peter Löhr, Markus
Schneider, Sigrid Schubert (Hrsg.):
Symposium Fachdidaktik des Informatik-Grundstudiums, 35.
Jahrestagung der Gesellschaft für
Informatik e.V., Bonn 2005, LNI 68, Springer 2005
- Nils Erben, Klaus-Peter Löhr
SAB
- The Software Architecture Browser
Proc. 3. IEEE Int. Workshop
on
Visualizing Software for Understanding and Analysis, Budapest,
September 2005
- Klaus-Peter Löhr
(Un)Sicherheit
am Rechner und im Netz.
fundiert - Das
Wissenschaftsmagazin
der Freien Universität Berlin 01/2005, Berlin 2005
- Klaus-Peter Löhr, Horst Lichter (Hrsg.)
Software
Engineering im Unterricht der Hochschulen (Tagungsband SEUH
2005).
dpunkt.verlag 2005
- Manuel Koch, Karl Pauls
An
Access Control Language for Dynamic Systems - Model-driven
Development and Verification,
in Proc. 12th SDL Forum (SDL05), 2005.
- M. Reicherts, K. Pauls, C. Maggiori, V. Salamin
The Learning Affect Grid (LAG): A computer-based monitoring system for
the multi-component ambulatory assessment of emotion processing,
affective states and well-being,
in Proc. 10th Spanish Conference on Biometrics, 2005. (to appear)
- M. Reicherts, K. Pauls, C. Maggiori, V.Salamin
Psychometric characteristics of a computer-based monitoring system for
emotion
processing and affective states,
in Proc. 10th Spanish Conference on Biometrics, 2005. (to appear)
- M. Reicherts, K. Pauls, C. Maggiori, V.
Salamin, I. Law
Software implications and usability of a computer-based monitoring
system for emotion processing and affective states,
in Proc. 10th Spanish Conference on Biometrics, 2005. (to appear)
- Gerald Friedland, Karl Pauls
Towards
a Demand Driven, Autonomous Processing and Streaming
Architecture,
in Proc. 12th IEEE International Conference on the Engineering of
Computer Based Systems (ECBS 2005) - 2nd Engineering of Autonomic
Systems workshop (EASe 2005), 2005. (to appear)
- M. Koch, K. Pauls
Model-driven
development of access control aspects ,
in Proc. Sicherheit 2005, 2. Jahrestagung Fachbereich Sicherheit der
Gesellschaft für Informatik, 2005.
2004
- Manuel Koch, Karl Pauls
An MDA approach to Access Control Specifications,
in Proc. LASER Summer School on Software Engineering - Poster Session,
ETH Zürich, 2004.
- P. Bottoni, M. Koch, F. Parisi-Presicce, G.
Taentzer
Termination of High-Level Replacement Units with Application to Model
Transformations,
in Proc. Workshop on Visual Languages and Formal Methods, 2004.
- T. Fink, M. Koch, K. Pauls
An
MDA Approach to Access Control Specifications Using MOF and
Profiles,
in Proc. 1st International Workshop on Views On Designing Complex
Architectures (VODCA), 2004.
- M. Koch, L.V. Mancini, F. Parisi-Presicce
Administrative
Scope in the Graph-based Framework ,
in Proc. 9th Symposium on Access Control Models and Technologies
(SACMAT), 2004.
- Karl Pauls, Richard S. Hall
Eureka
- A Resource Discovery Service for Component
Deployment,
Proceedings of the 2nd International Working Conference on Component
Deployment (CD 2004), May 2004.
2003
- Klaus-Peter Löhr, André
Vratislavsky
JAN
- Java animation for program understanding
Proc. HCC2003, IEEE Symposium
on Human-Centric Computing Languages and Environments, Auckland,
October 2003
- T. Fink, M. Koch, C. Oancea
Specification and Enforcement of Access Control in Heterogeneous
Distributed Applications
International
Conference on Web Services - Europe 2003 (ICWS-Europe'03) ,
Erfurt, September 2003
- T. Fink, K. Otto, J. Schröter
An Architecture-Based Configuration System for Distributed Information
and Control Systems
Euromicro
2003, Antalya, September 2003
- T. Fink, K. Otto
An
extensible architecture-based framework for coordination languages
ACM Symposium
on Applied Computing (SAC 2003), Melbourne/Florida, March 2003
- M. Koch, F. Parisi-Presicce
Visual
Specification of Policies and their Verification
Proc. of Fundamental Approaches to Software Engineering (FASE2003),
Warschau, April 2003
- G. Brose, M. Koch, K.-P. Löhr
Entwicklung
und Verwaltung von Zugriffsschutz in verteilten Objektsystemen - eine
Krankenhausfallstudie
Praxis der Informationsverarbeitung und Kommunikation (PIK) 1/03,
März 2003, 26-31
- Klaus-Peter Löhr
Automatic
Mediation between Incompatible Component Interaction Styles
Proc.
HICSS-36, 36. Annual Hawaii Int. Conf. on System Sciences, Kona,
January 2003
- Klaus-Peter Löhr
Theorien der Informatik.
In C. v. Braunmühl (Hrsg.): Etablierte Wissenschaft und
feministische Theorie im Dialog. Berliner Wissenschaftsverlag, Berlin,
2003
2002
- Günter Steyer, Klaus-Peter Löhr,
Thomas Tolxdorff (Hrsg.)
Tagungsband
TELEMED 2002, 7. Fortbildungsveranstaltung und Arbeitstagung Telemedizin
Berlin, November 2002.
- J. Bernarding, R. Kober, M. Koch
Handhabbare
Zugriffsschutzverwaltung in verteilten Krankenhaussystemen mit Raccoon
in Tagungsband TELEMED 2002, Berlin, November 2002
- M. Koch, L. V. Mancini, F. Parisi-Presicce
Decidablity
of Safety in Graph-Based Models for Access Control,
in Proc. of 7th European Symposium on Research in Computer Security
(Esorics 2002), (D. Gollmann, G. Karjoth, M. Waidner eds.) LNCS 2502,
Springer-Verlag, pp. 229-243,2002
- M. Koch, F. Parisi-Presicce
Describing
Policies with Graph Constraints and Rules
in Proc. of 1st International Conference on Graph Transformation, LNCS
2505, Springer-Verlag, 2002
- M. Koch, F. Parisi-Presicce
Access
Control Policy Specification in UML
in Proc. of Critical Systems Development with UML, satellite workshop
of UML 2002, TUM-I0208, pages 63-78, 2002
- M. Koch, L. V. Mancini, F. Parisi-Presicce
A framework
for Role-Based Access Control
ACM Trans. Information and System Security (TISSEC), 5(3):332-365,
August, 2002
- G. Brose
Manageable Access Control for CORBA
Journal of Computer Security, Vol 4, 2002, pp. 301-337
June 2002
- M. Koch, L. V. Mancini, F. Parisi-Presicce
Conflict
Detection and Resolution in Access Control Specifications
in Proc. FoSSaCS 2002 (M.Nielsen, U.Engberg, eds.) LNCS 2303,
Springer-Verlag, pp. 223-237, 2002
- Gerald Brose, Manuel Koch, Klaus-Peter
Löhr
Integrating
Access Control Design into the Software Development Process
Proc. IDPT 2002, 6. Int. Conf. on Integrated Design and Process
Technology, Pasadena, June 2002.
- M. Koch, L. V. Mancini, F. Parisi-Presicce
Graph Transformations for the Specification of Access Control Policies
Electronic Notes of Theoretical Computer Science (ENTCS) vol 51, 2002
- M. Koch,
A graph-based approach to the compositional specification of
distributed systems
Electronic Notes of Theoretical Computer Science (ENTCS) vol 51, 2002
- Henri E. Bal, Klaus-Peter Löhr,
Alexander Reinefeld (eds.)
Proceedings
of the 2. IEEE/ACM International Symposium on Cluster Computing and the
Grid
Berlin, May 2002.
- P. Bottoni, M. Koch, F. Parisi-Presicce, G.
Taentzer
Working on OCL with Graph Transformation
in Applied Graph Transformation (AGT'02), H.-J. Kreowski and P.Knirsch
(eds.), satelitte event of ETAPS'02
Grenoble 2002.
- Klaus-Peter Löhr
Towards
Automatic Mediation between Heterogeneous Software Components
Proc. SC2002, Workshop on Software Composition, Grenoble, April 2002.
Electronic
Notes in Theoretical Computer Science 65(4), 2002
2001
- Gerald Brose
Raccoon
- An Architecture for Managing Access Control in CORBA
in Procs. DAIS 2001, Krakow, Poland
September 2001.
- Torsten Fink, Stephan Kindermann
Combining
Batch and Streaming Paradigms for Metacomputing
in Procs. HPCN 2001, Amsterdam, Netherlands,
pp. 693-700, LNCS 2110, June 2001.
- Gerald Brose, Herbert Kiefer, Nicolas Noffke
A
CORBA Domain Management Service
in Procs. KiVS 2001, Hamburg, Germany,
February 2001.
- Gerald Brose, Andreas Vogel, Keith Duddy
Java
Programming with CORBA, 3rd ed.
John Wiley and Sons, New York, January 2001.
ISBN 0471376817.
2000
- Ernst Denert, Klaus-Peter Löhr:
Towards
a Software Museum: Challenges and Opportunities.
In U. Hashagen, R. Keil-Slawik, A. Norberg (eds.): History of
Computing: Software Issues. Proc. ICHC 2000, Int. Conf. on the History
of Computing. Springer 2002
- Richard S. Hall:
The
Event Desktop: Supporting Event-enabled Clients on the Web
Procs. Net.ObjectDays 2000, Erfurt, Germany,
pp. 112-123, Oct. 2000.
- Gerald Brose:
A
Typed Access Control Model for CORBA
in: F. Cuppens, Y. Deswarte, D. Gollmann, M. Weidner (eds.),
Procs. ESORICS 2000, Toulouse, France,
pp. 88-105, Springer LNCS 1895, 2000. © Springer-Verlag.
- Torsten Fink
Integrating MPI Components into Metacomputing Applications
EuroPVM/MPI
2000, Balatonfüred, Hungary, September 10-13, 2000 (BibTeX,
ps.gz)
pp. 208-215, LNCS 1908
- Stephan Kindermann, Torsten Fink
An Architectural Meta-Application Model for Coarse Grained
Metacomputing
EuroPar 2000,
Munich, Germany, 28th August - 1st September 2000 (BibTeX,
Abstract+PDF),
pp. 1223-1230, LNCS 1900.
- André Spiegel:
Automatic Distribution in Pangaea
Procs. Workshop on Communications-Based Systems (CBS 2000)
Berlin, Germany, April 2000 (ps.gz)
- Torsten Fink, Stephan Kindermann
First Steps in Metacomputing with Amica
8th Euromicro Workshop on Parallel and Distributed Processing
Rhodos, Greece, January 19-21 2000 (BibTex,
ps.gz)
pp. 197-204, IEEE CS.
1999
- Boris Bokowski, Jan Vitek:
Confined Types.
Proc. OOPSLA 1999
Denver, Colorado, USA, November 1-5, 1999 (get it
from the Confined Types page)
- Torsten Fink, Thomas Zimmermann, Eberhard
Zehendner
Amica: Einfache, uniforme Nutzung heterogener, verteilter, dynamischer
Ressourcen
5. Workshop Parallele Systeme und Algorithmen (PASA'99)
Jena, Germany, October 4-7, 1999 (BibTeX,
ps.gz)
- Torsten Fink, Andreas Krause, Werner Erhard
Einfluß von Sicherheitsanforderungen auf die
Kommunikationsleistung im Metacomputing-System Amica
Architektur von Rechensystemen (ARCS'99)
Jena, Germany, October 4-7, 1999 (BibTeX,
ps.gz)
- André Spiegel:
Automatische Verteilung in Pangaea
Procs. Java Informations Tage (JIT '99)
Düsseldorf, Germany, September 1999 (ps.gz)
- Boris Bokowski:
CoffeeStrainer: Statically-Checked Constraints on the Definition and
Use of Types in Java.
Proc. Joint 7th European Software Engineering Conference (ESEC) and 7th
ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE-7)
Toulouse, France, September 6-10, 1999 (get it
from the CoffeeStrainer page)
- Gerald Brose, Klaus-Peter Löhr:
VPL - Sprachunterstützung für den Entwurf von
Zugriffsschutzpolitiken,
Procs. Verläßliche IT-Systeme, September 22-24 1999. (ps.gz)
- André Spiegel:
Pangaea: An Automatic Distribution Front-End for Java.
Proc. Fourth IEEE Workshop on High-Level Parallel Programming Models
and Supportive Environments (HIPS '99),
San Juan, Puerto Rico, April 1999. (ps.gz)
- Gerald Brose:
A View-Based Access Control Model for CORBA,
in: J. Vitek, C. Jensen (eds.),
Secure Internet Programming: Security Issues for Distributed and
Mobile Objects,
Springer LNCS 1603, 1999. (ps.gz)
1998
- André Spiegel:
Objects by Value: Evaluating the Trade-Off.
Proc. Parallel and Distributed Computing and Networks (PDCN '98),
Brisbane, Australia, December 1998, 542-548. (ps.gz)
- Boris Bokowski, Markus Dahm:
Poor Man's Genericity for Java.
Proc. Java-Informations-Tage (JIT) 1998, Springer-Verlag,
Frankfurt/Main, Germany, November 1998, 60-76.(ps)
- Gerald Brose:
Reflection in CORBA, Java und JacORB
Proc. Java-Informations-Tage (JIT) 1998, Springer-Verlag,
Frankfurt/Main, Germany, November 1998, 238-248, (ps.gz)
- Jean-Pierre Briot, Rachid Guerraoui,
Klaus-Peter Löhr:
Concurrency and distribution in object-oriented programming.
ACM Computing Surveys 30.3, September 1998, 291-329
- Enno Scholz:
Imperative Streams - A Monadic Combinator Library for Synchronous
Programming.
Proc. 3. ACM SIGPLAN Int. Conf. on Functional Programming (ICFP '98),
Baltimore, September 1998. ACM Sigplan Notices 34.1, January 1999,
261-272
- Gerald Brose:
Towards an Access Control Policy Specification Language for CORBA
Proc. ECOOP 1998 Workshop on Distributed Object Security (EWDOS'98),
Brussels, Belgium, August 1998,(ps.gz)
INRIA, Rocquencourt, 1998, p. 21-27.
abstract appeared as:
- Gerald Brose:
Towards an Access Control Policy Language for CORBA
in: S. Demeyer and J. Bosch (eds.):
Object-Oriented Technology, ECOOP'98 Workshop Reader,
Springer-Verlag LNCS 1543, 1998, p. 279.
- Boris Bokowski:
CoffeeStrainer - Statically Checking Structural Constraints on Java
Programs
Object-Oriented Technology, ECOOP'98 Workshop Reader, S. Demeyer and J.
Bosch (eds.)
Springer-Verlag LNCS 1543, 1998, 380-381
- Boris Bokowski, Markus Dahm:
Poor Man's Genericity for Java
Object-Oriented Technology, ECOOP'98 Workshop Reader, S. Demeyer and J.
Bosch (eds.)
Springer-Verlag LNCS 1543, 1998, p. 552
- Gerald Brose:
Java and CORBA - How close are they really?
Java Developer's Journal, Vol. 3, No. 1, 60-63, January
1998 (ps.gz)
1997
- Gerald Brose, Klaus-Peter Löhr,
André Spiegel:
Java resists transparent distribution
Object Magazine, December 1997, 50-52 (ps.gz)
- Gerald Brose, Klaus-Peter Löhr,
André Spiegel:
Java does not Distribute
Proc. TOOLS Pacific '97,
Melbourne, Australia, November 1997, 131-139 (ps.gz)
- Gerald Brose:
JacORB: Implementation and Design of a Java ORB
Proc. DAIS'97, IFIP WG 6.1 International Working Conference on
Distributed Aplications and Interoperable Systems,
September 30 - October 2, Cottbus, Germany, 143-154, Chapman & Hall
1997. (ps.gz)
- Gerald Brose, Boris Bokowski:
Ein Object Request Broker für Java
Informatik/Informatique, Zeitschrift d. schweizerischen
Informatikorganisationen,
No. 3, Juni 1997, 27-30. (ps.gz)
1996
- Boris Bokowski
Interaction Protocols for Composing Concurrent Objects.
In: Special Issues in Object-Oriented Programming,
Workshop Reader of the 10th European Conference on Object-Oriented
Programming,
ECOOP '96, Linz, July 1996,
dpunkt Verlag, Heidelberg, 1997, 110-116.
ISBN: 3-920993-67-5 (ps)
- Enno Scholz:
A Monad of Imperative Streams.
Proc. Glasgow Functional Programming Workshop,
Ullapool, Glasgow University 1996 (ps.gz)
- Enno Scholz:
PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework
for Concurrent Functional GUI Programming.
8th International Symposium on Programming Languages:
Implementations, Logics, and Programs,
Aachen. Springer 1996, 363-377 (ps.gz)
- Enno Scholz, Boris Bokowski:
PIDGETS++ - A C++ Framework Unifying PostScript Pictures, GUI Objects,
and Lazy One-Way Constraints.
Conference on the Technology of Object-Oriented Languages and Systems,
Santa Barbara, California, Prentice-Hall 1996 (ps.gz)
- Thomas Wolff, Klaus-Peter Löhr:
Transparently programming heterogeneous distributed systems.
ICDP '96, Dresden. IFIP/IEEE 1996, 399-412 (get
it)
1995
- Enno Scholz:
Four Concurrency Primitives for Haskell.
Haskell Workshop, Juni '95, La Jolla, Kalifornien. (ps.gz)
- Klaus-Peter Löhr:
Verteilungstransparenz bei der objektorientierten Spezifikation
verteilter Applikationen.
GI-SI-Jahrestagung, Zürich, September 1995 (ps)
- Enno Scholz:
Turning a Functional Data Type into a Concurrent Programming Language.
9th ACM Symposium on Applied Computing, Nashville, Tennessee '95. (ps)
- Thomas Wolff:
Transparently Distributing Objects with Inheritance.
Hawaii International Conference on System Sciences, Wailea. IEEE 1995,
222-231 (ps)
1994
- Sumin Huang:
Developing Distributed Applications by Semantics-based Automatic
Replication.
Asia-Pacific Software Engineering Conference, Dec., 94, JAPAN (ps)
- Klaus-Peter Löhr:
Towards an Object-Oriented Design Methodology for Concurrent Systems.
TOOLS '94. (ps)
- Klaus-Peter Löhr, Irina Piens, Thomas
Wolff:
Verteilungstransparenz bei der objektorientierten Entwicklung
verteilter Applikationen.
OBJEKTspektrum 5/94, November/Dezember 1994. (ps)
- Andreas Polze:
Interactions in Distributed Programs based on Decoupled Communications.
TOOLS USA '94. (ps)
- Gregor von Bochmann, P.Dini, Andreas Polze,
Andreas Vogel:
Configuration in the Framework of Open Distributed Processing.
Int.Workshop on Configurable Distributed Systems March '94. (ps)
1993
- Klaus-Peter Löhr:
Concurrency annotations for reusable software.
Communications of the ACM '93. (ps)
- Andreas Polze:
The Object Space Approach: Decoupled Communication in C++.
TOOLS USA '93. (ps)
- Andreas Polze:
Using the Object Space: A Distributed Parallel make
4th IEEE Workshop on Future Trends of Distributed Computing System,
Lisbon, September 1993. (ps)
- Irina Piens:
Heron - Konfiguration verteilter Eiffel-Programme.
GI/ITG-FG Kommunikation und Verteilte Systeme, Oktober 1993. (ps)
- Klaus-Peter Löhr:
Objektorientierter Entwurf verteilter Programme.
GI-Jahrestagung 1993. (ps)
- Sabine Finke, Peter Jahn, Olaf Langmack,
Klaus-Peter Löhr, Irina Piens, Thomas Wolff:
Distribution and inheritance in the HERON approach to heterogeneous
computing.
ICDCS 1993. (ps)
1992
- Klaus-Peter Löhr, Jacek Passia:
Fips A Functional-Imperative Language for Explorative Programming
SIGPLAN '92. (ps)
- Klaus-Peter Löhr:
Concurrency annotations improve reusability.
TOOLS USA '92. (ps)
- Klaus-Peter Löhr:
Concurrency annotations.
OOPSLA '92. (ps)