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

• 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)
  

• 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.

• 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.

• 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

• 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

• 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.

• 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.

• 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)

• 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)

• 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)

• 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)

• 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)

• 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)

• 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)

• 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)