Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5676 Publications
2009 | Book Chapter | LibreCat-ID: 19724
Complexity and Approximation of a Geometric Local Robot Assignment Problem
O. Bonorden, B. Degener, B. Kempkes, P. Pietrzyk, in: Algorithmic Aspects of Wireless Sensor Networks, Springer, Berlin, Heidelberg, 2009, pp. 252–262.
LibreCat
| DOI
O. Bonorden, B. Degener, B. Kempkes, P. Pietrzyk, in: Algorithmic Aspects of Wireless Sensor Networks, Springer, Berlin, Heidelberg, 2009, pp. 252–262.
2009 | Report | LibreCat-ID: 19825
3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs
C. Schindelhauer, P. Mahlmann, T. Janson, 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs, Paderborn, Germany, 2009.
LibreCat
| Files available
C. Schindelhauer, P. Mahlmann, T. Janson, 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs, Paderborn, Germany, 2009.
2009 | Journal Article | LibreCat-ID: 19830
Minimal Energy Path Planning for Wireless Robots
C.C. Ooi, C. Schindelhauer, Mobile Networks and Applications (MONET) (2009) 309–321.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, Mobile Networks and Applications (MONET) (2009) 309–321.
2009 | Journal Article | LibreCat-ID: 19831
Utilizing detours for energy conservation in mobile wireless networks
C.C. Ooi, C. Schindelhauer, Telecommunication Systems 43 (2009) 25–37.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, Telecommunication Systems 43 (2009) 25–37.
2009 | Conference Paper | LibreCat-ID: 19901
Colouring Non-sparse Random Intersection Graphs
C.L. Raptopoulos, S.E. Nikoletseas, P.G. Spirakis, in: 34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.
LibreCat
| DOI
C.L. Raptopoulos, S.E. Nikoletseas, P.G. Spirakis, in: 34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.
2009 | Conference Paper | LibreCat-ID: 19904
Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions
S.E. Nikoletseas, C.L. Raptopoulos, P.G. Spirakis, in: Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium, 2009, pp. 1--11.
LibreCat
| DOI
S.E. Nikoletseas, C.L. Raptopoulos, P.G. Spirakis, in: Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium, 2009, pp. 1--11.
2009 | Conference Paper | LibreCat-ID: 19934
Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions
D. Deveci, M. Kortenjan, G. Schomaker, in: Parallel and Distributed Computing and Systems, Nr. 21, 2009.
LibreCat
D. Deveci, M. Kortenjan, G. Schomaker, in: Parallel and Distributed Computing and Systems, Nr. 21, 2009.
2009 | Conference Paper | LibreCat-ID: 20254
Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware
J. Stradner, H. Hamann, T. Schmickl, K. Crailsheim, in: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009.
LibreCat
| DOI
J. Stradner, H. Hamann, T. Schmickl, K. Crailsheim, in: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009.
2009 | Journal Article | LibreCat-ID: 20255
Two different approaches to a macroscopic model of a bio-inspired robotic swarm
T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Robotics and Autonomous Systems 6 (2009) 913–921.
LibreCat
| DOI
T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Robotics and Autonomous Systems 6 (2009) 913–921.
2009 | Conference Paper | LibreCat-ID: 20259
Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System
H. Hamann, I. Troch, F. Breitenecker, in: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.
LibreCat
H. Hamann, I. Troch, F. Breitenecker, in: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.
2009 | Journal Article | LibreCat-ID: 3199
Compositional {CSP} Traces Refinement Checking
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
LibreCat
| DOI
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
2009 | Journal Article | LibreCat-ID: 3200
Static Class Elements for Object-Z
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
2009 | Conference Paper | LibreCat-ID: 3201
Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
LibreCat
| DOI
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
2009 | Conference (Editor) | LibreCat-ID: 3202
Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.
LibreCat
| DOI
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.
2009 | Bachelorsthesis | LibreCat-ID: 2880
Hierarchisches Clustering mit minimalen Cluster-Durchmessern
C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.
LibreCat
| Files available
C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.
2009 | Bachelorsthesis | LibreCat-ID: 2896 |
Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens
G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.
LibreCat
| Files available
G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.
2009 | Mastersthesis | LibreCat-ID: 2904
Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen
C. Scholz, Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen, 2009.
LibreCat
| Files available
C. Scholz, Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen, 2009.
2009 | Dissertation | LibreCat-ID: 2911
Algorithms for the Bregman k-Median Problem
M.R. Ackermann, Algorithms for the Bregman K-Median Problem, Universität Paderborn, 2009.
LibreCat
| Download (ext.)
M.R. Ackermann, Algorithms for the Bregman K-Median Problem, Universität Paderborn, 2009.
2009 | Book Chapter | LibreCat-ID: 2920
Reinforcement Learning for Blackjack
S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 300–301.
LibreCat
| DOI
S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 300–301.
2009 | Book Chapter | LibreCat-ID: 2995
Coresets and Approximate Clustering for Bregman Divergences
M.R. Ackermann, J. Blömer, in: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2009, pp. 1088–1097.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, in: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2009, pp. 1088–1097.
2009 | Journal Article | LibreCat-ID: 2999
Sampling methods for shortest vectors, closest vectors and successive minima
J. Blömer, S. Naewe, Theoretical Computer Science (2009) 1648–1665.
LibreCat
| DOI
J. Blömer, S. Naewe, Theoretical Computer Science (2009) 1648–1665.
2009 | Book Chapter | LibreCat-ID: 3000
Three-Valued Spotlight Abstractions
J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.
LibreCat
| DOI
J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.
2009 | Conference Paper | LibreCat-ID: 3142
On the Analysis of Cryptographic Assumptions in the Generic Ring Model
T. Jager, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, 2009, pp. 399--416.
LibreCat
| DOI
T. Jager, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, 2009, pp. 399--416.
2009 | Dissertation | LibreCat-ID: 20937
Musterbasiertes Re-Engineering von Softwaresystemen
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.
LibreCat
| Download (ext.)
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.
2009 | Journal Article | LibreCat-ID: 17453
Self-Organisation and Self-Optimization
F. Meyer auf der Heide, F.-J. Rammig, Public Service Review: Science and Technology 04 (2009).
LibreCat
F. Meyer auf der Heide, F.-J. Rammig, Public Service Review: Science and Technology 04 (2009).
2009 | Journal Article | LibreCat-ID: 19031
Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems)
P. Briest, It - Information Technology 51 (2009) 62–65.
LibreCat
| DOI
P. Briest, It - Information Technology 51 (2009) 62–65.
2009 | Journal Article | LibreCat-ID: 1927
Towards a Scalable and Robust DHT
B. Awerbuch, C. Scheideler, Theory Comput. Syst. (2009) 234--260.
LibreCat
| DOI
B. Awerbuch, C. Scheideler, Theory Comput. Syst. (2009) 234--260.
2009 | Journal Article | LibreCat-ID: 1928
Robust random number generation for peer-to-peer systems
B. Awerbuch, C. Scheideler, Theor. Comput. Sci. (2009) 453--466.
LibreCat
| DOI
B. Awerbuch, C. Scheideler, Theor. Comput. Sci. (2009) 453--466.
2009 | Conference Paper | LibreCat-ID: 1929
A Distributed and Oblivious Heap
C. Scheideler, S. Schmid, in: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, Springer, 2009, pp. 571--582.
LibreCat
| DOI
C. Scheideler, S. Schmid, in: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, Springer, 2009, pp. 571--582.
2009 | Conference Paper | LibreCat-ID: 1930 |
A Self-stabilizing and Local Delaunay Graph Construction
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, in: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, Springer, 2009, pp. 771--780.
LibreCat
| Files available
| DOI
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, in: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, Springer, 2009, pp. 771--780.
2009 | Conference Paper | LibreCat-ID: 1932
A distributed polylogarithmic time algorithm for self-stabilizing skip graphs
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, 2009, pp. 131--140.
LibreCat
| DOI
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, 2009, pp. 131--140.
2009 | Conference Paper | LibreCat-ID: 1933
A DoS-resilient information system for dynamic data management
M. Baumgart, C. Scheideler, S. Schmid, in: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, 2009, pp. 300--309.
LibreCat
| DOI
M. Baumgart, C. Scheideler, S. Schmid, in: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, 2009, pp. 300--309.
2009 | Conference Paper | LibreCat-ID: 1934
Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, Springer, 2009, pp. 781--782.
LibreCat
| DOI
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, Springer, 2009, pp. 781--782.
2009 | Conference Paper | LibreCat-ID: 1935
Stabilizing Consensus with the Power of Two Choices
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
LibreCat
| DOI
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
2009 | Report | LibreCat-ID: 2353
Rupeas: Ruby Powered Event Analysis DSL
M. Woehrle, C. Plessl, L. Thiele, Rupeas: Ruby Powered Event Analysis DSL, Computer Engineering and Networks Lab, ETH Zurich, 2009.
LibreCat
M. Woehrle, C. Plessl, L. Thiele, Rupeas: Ruby Powered Event Analysis DSL, Computer Engineering and Networks Lab, ETH Zurich, 2009.
2009 | Book Chapter | LibreCat-ID: 23744
On Stackelberg Pricing with Computationally Bounded Consumers
P. Briest, M. Hoefer, L. Gualà, C. Ventre, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.
LibreCat
| DOI
P. Briest, M. Hoefer, L. Gualà, C. Ventre, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.
2009 | Conference Paper | LibreCat-ID: 18138
Concepts for Model Verification and Validation during Simulation Runtime
C. Laroque, M. Fischer, W. Dangelmaier, in: European Simulation and Modelling Conference (ESM 2009), EUROSIS-ETI, 2009.
LibreCat
C. Laroque, M. Fischer, W. Dangelmaier, in: European Simulation and Modelling Conference (ESM 2009), EUROSIS-ETI, 2009.
2009 | Conference Paper | LibreCat-ID: 1828
Improving Network Coded Cooperation by Soft Information
T. Volkhausen, D.H. Woldegebreal, H. Karl, in: 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops, IEEE, 2009.
LibreCat
| DOI
T. Volkhausen, D.H. Woldegebreal, H. Karl, in: 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops, IEEE, 2009.
2009 | Conference Paper | LibreCat-ID: 1829
Combining for Cooperative WLANs - A Reality Check Based on Prototype Measurements
S. Valentin, D.H. Woldegebreal, T. Volkhausen, H. Karl, in: 2009 IEEE International Conference on Communications Workshops, IEEE, 2009.
LibreCat
| DOI
S. Valentin, D.H. Woldegebreal, T. Volkhausen, H. Karl, in: 2009 IEEE International Conference on Communications Workshops, IEEE, 2009.
2009 | Book Chapter | LibreCat-ID: 18291
Ein System zur aggregierten Visualisierung verteilter Materialflusssimulationen
T. Suess, M. Fischer, D. Huber, C. Laroque, W. Dangelmaier, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009, pp. 111--126.
LibreCat
T. Suess, M. Fischer, D. Huber, C. Laroque, W. Dangelmaier, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009, pp. 111--126.
2009 | Book Chapter | LibreCat-ID: 1830
Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE
T. Biermann, A. Schwabe, H. Karl, in: NETWORKING 2009, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 883–894.
LibreCat
| DOI
T. Biermann, A. Schwabe, H. Karl, in: NETWORKING 2009, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 883–894.
2009 | Conference Paper | LibreCat-ID: 1832
Modeling obstacles in INET/Mobility framework: motivation, integration, and performance
H.S. Lichte, J. Weide, in: Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, ICST, 2009.
LibreCat
| DOI
H.S. Lichte, J. Weide, in: Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, ICST, 2009.
2009 | Conference Paper | LibreCat-ID: 1833
Design considerations for a network of information
B. Ahlgren, V. Vercellone, M. D’Ambrosio, M. Marchisio, I. Marsh, C. Dannewitz, B. Ohlman, K. Pentikousis, O. Strandberg, R. Rembarz, in: Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08, ACM Press, 2009.
LibreCat
| DOI
B. Ahlgren, V. Vercellone, M. D’Ambrosio, M. Marchisio, I. Marsh, C. Dannewitz, B. Ohlman, K. Pentikousis, O. Strandberg, R. Rembarz, in: Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08, ACM Press, 2009.
2009 | Conference Paper | LibreCat-ID: 18346
Planar Visibility Counting
M. Fischer, M. Hilbig, C. Jähn, F. Meyer auf der Heide, M. Ziegler, in: Proc. 25th European Workshop on Computational Geometry, 2009, pp. 203–206.
LibreCat
M. Fischer, M. Hilbig, C. Jähn, F. Meyer auf der Heide, M. Ziegler, in: Proc. 25th European Workshop on Computational Geometry, 2009, pp. 203–206.
2009 | Book Chapter | LibreCat-ID: 22941
Solution Patterns for the Development of Self-Optimizing Systems
R. Dumitrescu, J. Gausemeier, W. Dangelmaier, B. Klöpper, in: B. Klöpper, W. Dangelmaier (Eds.), Self-x in Engineering, MV Verlag, Münster, 2009.
LibreCat
R. Dumitrescu, J. Gausemeier, W. Dangelmaier, B. Klöpper, in: B. Klöpper, W. Dangelmaier (Eds.), Self-x in Engineering, MV Verlag, Münster, 2009.
2009 | Conference Paper | LibreCat-ID: 21773
Education Programme at Eurographics 2009
G. Domik, R. Scateni, in: Computer Graphics Forum, 2009, pp. 1723–1724.
LibreCat
| DOI
G. Domik, R. Scateni, in: Computer Graphics Forum, 2009, pp. 1723–1724.
2009 | Journal Article | LibreCat-ID: 21774
Quantitative myocardial perfusion PET combined with coronary anatomy derived from CT angiography: Validation of a new fusion and visualisation software
H. Fricke, A. Elsner, R. Weise, M. Bolte, J. van den Hoff, W. Burchert, G. Domik, E. Fricke, Zeitschrift Für Medizinische Physik 19 (2009) 182–188.
LibreCat
| DOI
H. Fricke, A. Elsner, R. Weise, M. Bolte, J. van den Hoff, W. Burchert, G. Domik, E. Fricke, Zeitschrift Für Medizinische Physik 19 (2009) 182–188.
2009 | Conference (Editor) | LibreCat-ID: 7775
Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI'09), Sanibel Island (FL, USA)
G. Meixner, D. Görlich, K. Breiner, H. Hußmann, A. Pleuß, S. Sauer, J. Van den Bergh, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’09), Sanibel Island (FL, USA), 2009.
LibreCat
G. Meixner, D. Görlich, K. Breiner, H. Hußmann, A. Pleuß, S. Sauer, J. Van den Bergh, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’09), Sanibel Island (FL, USA), 2009.
2009 | Conference (Editor) | LibreCat-ID: 7777
Proceedings of Design for Future - 1. Workshop des GI-Arbeitskreises "Langlebige Softwaresysteme (L2S2)"
G. Engels, R. H. Reussner, C. Momm, S. Sauer, eds., Proceedings of Design for Future - 1. Workshop Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2S2),” Karlsruhe, 2009.
LibreCat
G. Engels, R. H. Reussner, C. Momm, S. Sauer, eds., Proceedings of Design for Future - 1. Workshop Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2S2),” Karlsruhe, 2009.