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.

5685 Publications


2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37056
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37060
Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 8179 | OA
Strong NP-hardness of the quantum separability problem
S. Gharibian, Quantum Information & Computation 10 (2010) 343–360.
LibreCat | Download (ext.) | arXiv
 

2010 | Conference Paper | LibreCat-ID: 2223
Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware
E. Lübbers, M. Platzner, C. Plessl, A. Keller, B. Plattner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 225–231.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2216
Pruning the Design Space for Just-In-Time Processor Customization
M. Grad, C. Plessl, in: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, Los Alamitos, CA, USA, 2010, pp. 67–72.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2224
An Open Source Circuit Library with Benchmarking Facilities
M. Grad, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 144–150.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2220
Configurable Processor Architectures: History and Trends
D. Andrews, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, p. 165.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 2222
Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)
T.P. Plaks, D. Andrews, R. DeMara, H. Lam, J. Lee, C. Plessl, G. Stitt, eds., Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2226
Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators
T. Beisel, M. Niekamp, C. Plessl, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2010, pp. 65–72.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2206
Reconfigurable Nodes for Future Networks
A. Keller, B. Plattner, E. Lübbers, M. Platzner, C. Plessl, in: Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), IEEE, 2010, pp. 372–376.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2227
Rupeas: Ruby Powered Event Analysis DSL
M. Woehrle, C. Plessl, L. Thiele, in: Proc. Int. Conf. Networked Sensing Systems (INSS), IEEE, 2010, pp. 245–248.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2228
Performance Estimation for the Exploration of CPU-Accelerator Architectures
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: O. Hammami, S. Larrabee (Eds.), Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA), 2010.
LibreCat
 

2010 | Misc | LibreCat-ID: 47684 | OA
Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung
T. Postler, Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung, 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 46408
Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities
S. Mostaghim, H. Trautmann, O. Mersmann, in: R. Schaefer, C. Cotta, J. Kołodziej, G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 101–110.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 46405
Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis
O. Mersmann, M. Preuss, H. Trautmann, in: Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, Springer-Verlag, Berlin, Heidelberg, 2010, pp. 73–82.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 46406
On the Distribution of EMOA Hypervolumes
O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: C. Blum, R. Battiti (Eds.), Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy, Springer, 2010, pp. 333–337.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 46407
Benchmarking evolutionary multiobjective optimization algorithms
O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 46404
Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing
J. Ding, S. Wessing, H. Trautmann, J. Mehnen, B. Naujoks, in: R. Teti (Ed.), Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10), Copyright C.O.C. Com. org. Conv., Capri, Italy, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 46409
New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization
T. Voß, H. Trautmann, C. Igel, in: R. Schaefer, C. Cotta, J. Kołodziej, G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 260–269.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 46412
Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions
T. Wagner, H. Trautmann, IEEE Transactions on Evolutionary Computation 14 (2010) 688–701.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 46411
Work roll cooling system design optimisation in presence of uncertainty and constrains
Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP Journal of Manufacturing Science and Technology 2 (2010) 290–298.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 46410
Online convergence detection for evolutionary multi-objective algorithms revisited
T. Wagner, H. Trautmann, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
LibreCat | DOI
 

2009 | Dissertation | LibreCat-ID: 19605
Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division
K. Lürwer-Brüggemeier, Mächtigkeit Und Komplexität von Berechnungen Mit Der Ganzzahligen Division, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat | Files available
 

2009 | Dissertation | LibreCat-ID: 19614
On Fault-Tolerant Data Placement in Storage Networks
M. Mense, On Fault-Tolerant Data Placement in Storage Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat | Files available
 

2009 | Dissertation | LibreCat-ID: 19617
Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes
M. Kortenjan, Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat | Files available
 

2009 | Dissertation | LibreCat-ID: 19618
Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip
O. Bonorden, Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat | Files available
 

2009 | Report | LibreCat-ID: 19722
Complexity and approximation of a geometric local robot assignment problem
O. Bonorden, B. Degener, P. Pietrzyk, B. Kempkes, Complexity and Approximation of a Geometric Local Robot Assignment Problem, 2009.
LibreCat | Files available
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2009 | Bachelorsthesis | LibreCat-ID: 2880
Hierarchisches Clustering mit minimalen Cluster-Durchmessern
C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.
LibreCat | Files available
 

2009 | Bachelorsthesis | LibreCat-ID: 2896 | OA
Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens
G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.
LibreCat | Files available
 

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
 

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

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
 

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
 

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
 

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
 

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
 

2009 | Dissertation | LibreCat-ID: 20937
Musterbasiertes Re-Engineering von Softwaresystemen
M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.
LibreCat | Download (ext.)
 

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
 

2009 | Journal Article | LibreCat-ID: 19031 LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 1925
Foreword
R. D. Kleinberg, C. Scheideler, Theory Comput. Syst. (2009) 187.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 1927
Towards a Scalable and Robust DHT
B. Awerbuch, C. Scheideler, Theory Comput. Syst. (2009) 234--260.
LibreCat | DOI
 

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
 

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
 

2009 | Conference Paper | LibreCat-ID: 1930 | OA
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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2009 | Conference Paper | LibreCat-ID: 8009
Language-Independent Change Management of Process Models
C. Gerth, J. Küster, G. Engels, in: Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA), Springer, Berlin/Heidelberg, 2009, pp. 152–166.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 8010
SOA-Business Case
M. Assmann, M. Haack, H. Scheider, N. vom Hagen, R. Zacharias, in: Transform IT: Optimale Geschäftsprozesse Durch Eine Transformierende IT, Gabler, Wiesbaden, Deutschland, 2009, pp. 97–126.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 8011
A Holistic Software Engineering Method for Service-Oriented Application Landscape Development
A. Baumann, G. Engels, A. Hofmann, S. Sauer, J. Willkomm, in: Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands), Springer, Berlin/Heidelberg, 2009, pp. 1–17.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 8012
Model Driven Development of Advanced User Interfaces 2009
G. Meixner, D. Görlich, K. Breiner, H. Hußmann, A. Pleuß, S. Sauer, J. Van den Bergh, in: Proceedings of the 2009 International Conference on Intelligent User Interfaces, ACM Press, New York, NY, USA, 2009, pp. 503–504.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 8013
Dependent and Conflicting Change Operations of Process Models
J. Küster, C. Gerth, G. Engels, in: Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09), Springer, Berlin/Heidelberg, 2009, pp. 158–173.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 8014
Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback
G. Engels, S. Geisen, S. Sauer, O. Port, in: Informatik 2009 - Im Focus Das Leben, Gesellschaft für Informatik (GI), Bonn, 2009, p. 458.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 8015
Integrated Specification and Quality Assurance for Large Business Information Systems
F. Salger, S. Sauer, G. Engels, in: Proceedings of the 2nd India Software Engineering Conference (ISEC’09), ACM Press, New York, NY, USA, 2009, pp. 129–130.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 8016
Model-Based System Testing Using Visual Contracts
B. Güldali, M. Mlynarski, A. Wübbeke, G. Engels, in: Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering,” IEEE Computer Society, Washington, DC, USA, 2009, pp. 121–124.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 8017
Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami
M. Mlynarski, M. Jureczko, in: Proceedings of Krajowa Konferencja In?Ynierii Oprogramowania 2009, Wydawnictwo Komunikacji i ??czno?ci, 2009, pp. 294–305.
LibreCat | Download (ext.)
 

2009 | Conference Paper | LibreCat-ID: 8018
A UML Framework for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2009), Nice (France), IEEE Computer Society, Washington, DC, USA, 2009, pp. 238–243.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 8019
Towards Test-Driven Semantics Specification
C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 8020
Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding
G. Engels, D. Fisseler, C. Soltenborn, in: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer Society, Piscataway, NJ (USA), 2009, pp. 39–46.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 8021
Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering
B. Güldali, H. Funke, M. Jahnich, S. Sauer, G. Engels, in: 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland, 2009, pp. 29–39.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 8022
Identifying Software Product Line Component Services
M. Assmann, G. Engels, T. von der Maßen, A. Wübbeke, in: Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09), 2009, pp. 45–56.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 814
Flow Synchronization for Network Coding
T. Biermann, M. Dräxler, H. Karl, Journal of Communications (2009) 873--884.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 815
Cooperative Wireless Networking Beyond Store-and-Forward
S. Valentin, H. S. Lichte, H. Karl, G. Vivier, S. Simoens, J. Vidal, A. Agustin, Wireless Personal Communications (2009) 49--68.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 816
An Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks
T. Biermann, C. Dannewitz, H. Karl, in: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009, 2009, pp. 1--6.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 817
Rate-Per-Link Adaptation in Cooperative Wireless Networks with Multi-Rate Combining
H. S. Lichte, S. Valentin, H. von Malm, H. Karl, A. Bin Sediq, I. Aad, in: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009, 2009, pp. 1--6.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 818
The Gain of Overbooking
G. Birkenheuer, A. Brinkmann, H. Karl, in: Job Scheduling Strategies for Parallel Processing, 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers, 2009, pp. 80–100.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 819
Analyzing space/capacity tradeoffs of cooperative wireless networks using a probabilistic model of interference
H. Simon Lichte, S. Valentin, H. Karl, I. Aad, J. Widmer, in: Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2009, Tenerife, Canary Islands, Spain, October 26-19, 2009, 2009, pp. 54--62.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 820
Creating Butterflies in the Core - A Network Coding Extension for MPLS/RSVP-TE
T. Biermann, A. Schwabe, H. Karl, in: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings, 2009, pp. 883--894.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed