F. Mischkalla, W. Müller, and D. He, “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis,” 2010.
LibreCat: /record/37042

A. Bol, W. Müller, and A. Krupp, “Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen,” 2010.
LibreCat: /record/37043

W. Müller et al., “The SATURN Approach to SysML-based HW/SW Codesign,”10.1007/978-94-007-1488-5_9__2010, doi:10.1007/978-94-007-1488-5_9 .
LibreCat: /record/37050
DOI: 10.1007/978-94-007-1488-5_9

W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,”10.1007/978-3-642-15234-4_9__2010, doi:10.1007/978-3-642-15234-4_9 .
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9

T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained Random Verification,” 2010.
LibreCat: /record/37049

T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris, 2010.
LibreCat: /record/37051

G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,”10.1109/SIES.2010.5551379__presented at the International Symposium on Industrial Embedded System (SIES),10.1109/SIES.2010.5551379__Trento, Italy, 2010, doi:10.1109/SIES.2010.5551379 .
LibreCat: /record/37057
DOI: 10.1109/SIES.2010.5551379

K. Klobedanz, G. B. Defo, W. Müller, and T. Kerstan, “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks,”10.1109/SIES.2010.5551384__presented at the International Symposium on Industrial Embedded System (SIES), 2010, doi:10.1109/SIES.2010.5551384 .
LibreCat: /record/37056
DOI: 10.1109/SIES.2010.5551384

W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
LibreCat: /record/37053

M. F. S. Oliveira, F. A. M. do Nascimento, and W. Müller, “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration,” 2010.
LibreCat: /record/37060

S. Gharibian, “Strong NP-hardness of the quantum separability problem,” Quantum Information &; Computation, vol. 10, no. 3 &; 4, pp. 343–360, 2010.
LibreCat: /record/8179
arXiv: 0810.4507

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

M. Grad and C. Plessl, “Pruning the Design Space for Just-In-Time Processor Customization,”10.1109/ReConFig.2010.19__in Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), 2010, pp. 67–72, doi:10.1109/ReConFig.2010.19 .
LibreCat: /record/2216
DOI: 10.1109/ReConFig.2010.19

M. Grad and C. Plessl, “An Open Source Circuit Library with Benchmarking Facilities,” in Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2010, pp. 144–150.
LibreCat: /record/2224

D. Andrews and C. Plessl, “Configurable Processor Architectures: History and Trends,” in Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2010, p. 165.
LibreCat: /record/2220

T. P. Plaks et al., Eds., Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press, 2010.
LibreCat: /record/2222

T. Beisel, M. Niekamp, and C. Plessl, “Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators,”10.1109/ASAP.2010.5540798__in Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), 2010, pp. 65–72, doi:10.1109/ASAP.2010.5540798 .
LibreCat: /record/2226
DOI: 10.1109/ASAP.2010.5540798

A. Keller, B. Plattner, E. Lübbers, M. Platzner, and C. Plessl, “Reconfigurable Nodes for Future Networks,”10.1109/GLOCOMW.2010.5700341__in Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), 2010, pp. 372–376, doi:10.1109/GLOCOMW.2010.5700341 .
LibreCat: /record/2206
DOI: 10.1109/GLOCOMW.2010.5700341

M. Woehrle, C. Plessl, and L. Thiele, “Rupeas: Ruby Powered Event Analysis DSL,”10.1109/INSS.2010.5572211__in Proc. Int. Conf. Networked Sensing Systems (INSS), 2010, pp. 245–248, doi:10.1109/INSS.2010.5572211 .
LibreCat: /record/2227
DOI: 10.1109/INSS.2010.5572211

T. Kenter, M. Platzner, C. Plessl, and M. Kauschke, “Performance Estimation for the Exploration of CPU-Accelerator Architectures,” in Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA), 2010.
LibreCat: /record/2228

T. Postler, Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung. 2010.
LibreCat: /record/47684

S. Mostaghim, H. Trautmann, and O. Mersmann, “Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities,”https://doi.org/10.1007/978-3-642-15871-1_11__in Parallel Problem Solving from Nature, PPSN XI, 2010, pp. 101–110, doi:https://doi.org/10.1007/978-3-642-15871-1_11 .
LibreCat: /record/46408
DOI: https://doi.org/10.1007/978-3-642-15871-1_11

O. Mersmann, M. Preuss, and H. Trautmann, “Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis,” in Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, 2010, pp. 73–82.
LibreCat: /record/46405

O. Mersmann, H. Trautmann, B. Naujoks, and C. Weihs, “On the Distribution of EMOA Hypervolumes,” in Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy, 2010, vol. 6073, pp. 333–337.
LibreCat: /record/46406

O. Mersmann, H. Trautmann, B. Naujoks, and C. Weihs, “Benchmarking evolutionary multiobjective optimization algorithms,”10.1109/CEC.2010.5586241__in IEEE Congress on Evolutionary Computation, 2010, pp. 1–8, doi:10.1109/CEC.2010.5586241 .
LibreCat: /record/46407
DOI: 10.1109/CEC.2010.5586241

J. Ding, S. Wessing, H. Trautmann, J. Mehnen, and B. Naujoks, “Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing,” in Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10), 2010.
LibreCat: /record/46404

T. Voß, H. Trautmann, and C. Igel, “New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization,”https://doi.org/10.1007/978-3-642-15871-1_27__in Parallel Problem Solving from Nature, PPSN XI, 2010, pp. 260–269, doi:https://doi.org/10.1007/978-3-642-15871-1_27 .
LibreCat: /record/46409
DOI: https://doi.org/10.1007/978-3-642-15871-1_27

T. Wagner and H. Trautmann, “Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions,”10.1109/TEVC.2010.2058119__IEEE Transactions on Evolutionary Computation, vol. 14, no. 5, pp. 688–701, 2010, doi:10.1109/TEVC.2010.2058119 .
LibreCat: /record/46412
DOI: 10.1109/TEVC.2010.2058119

Y. T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and H. Trautmann, “Work roll cooling system design optimisation in presence of uncertainty and constrains,”https://doi.org/10.1016/j.cirpj.2010.06.001__CIRP Journal of Manufacturing Science and Technology, vol. 2, no. 4, pp. 290–298, 2010, doi:https://doi.org/10.1016/j.cirpj.2010.06.001 .
LibreCat: /record/46411
DOI: https://doi.org/10.1016/j.cirpj.2010.06.001

T. Wagner and H. Trautmann, “Online convergence detection for evolutionary multi-objective algorithms revisited,”10.1109/CEC.2010.5586474__in IEEE Congress on Evolutionary Computation, 2010, pp. 1–8, doi:10.1109/CEC.2010.5586474 .
LibreCat: /record/46410
DOI: 10.1109/CEC.2010.5586474

K. Lürwer-Brüggemeier, Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division, vol. 261. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19605

M. Mense, On Fault-Tolerant Data Placement in Storage Networks, vol. 260. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19614

M. Kortenjan, Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes, vol. 258. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19617

O. Bonorden, Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip, vol. 257. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19618

O. Bonorden, B. Degener, P. Pietrzyk, and B. Kempkes, Complexity and approximation of a geometric local robot assignment problem. 2009.
LibreCat: /record/19722

O. Bonorden, B. Degener, B. Kempkes, and P. Pietrzyk, “Complexity and Approximation of a Geometric Local Robot Assignment Problem,” in Algorithmic Aspects of Wireless Sensor Networks, Berlin, Heidelberg: Springer, 2009, pp. 252–262.
LibreCat: /record/19724
DOI: 10.1007/978-3-642-05434-1_25

C. Schindelhauer, P. Mahlmann, and T. Janson, 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. Paderborn, Germany, 2009.
LibreCat: /record/19825

C. C. Ooi and C. Schindelhauer, “Minimal Energy Path Planning for Wireless Robots,” Mobile Networks and Applications (MONET), pp. 309–321, 2009.
LibreCat: /record/19830
DOI: 10.1007/s11036-008-0150-5

C. C. Ooi and C. Schindelhauer, “Utilizing detours for energy conservation in mobile wireless networks,” Telecommunication Systems, vol. 43, pp. 25–37, 2009.
LibreCat: /record/19831
DOI: 10.1007/s11235-009-9188-3

C. L. Raptopoulos, S. E. Nikoletseas, and P. G. Spirakis, “Colouring Non-sparse Random Intersection Graphs,” in 34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.
LibreCat: /record/19901
DOI: 10.1007/978-1-4939-2864-4_597

S. E. Nikoletseas, C. L. Raptopoulos, and P. G. Spirakis, “Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions,” in  Proceedings of IPDPS - IEEE International Parallel &; Distributed Processing Symposium, 2009, pp. 1--11.
LibreCat: /record/19904
DOI: 10.1109/IPDPS.2009.5161002

D. Deveci, M. Kortenjan, and G. Schomaker, “Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions,” in  Parallel and Distributed Computing and Systems, Nr. 21, 2009.
LibreCat: /record/19934

J. Stradner, H. Hamann, T. Schmickl, and K. Crailsheim, “Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware,” in 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009.
LibreCat: /record/20254
DOI: 10.1109/iros.2009.5354056

T. Schmickl, H. Hamann, H. Wörn, and K. Crailsheim, “Two different approaches to a macroscopic model of a bio-inspired robotic swarm,” Robotics and Autonomous Systems, vol. 6, no. 9, pp. 913–921, 2009.
LibreCat: /record/20255
DOI: 10.1016/j.robot.2009.06.002

H. Hamann, I. Troch, and F. Breitenecker, “Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System,” in MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.
LibreCat: /record/20259

H. Wehrheim and D. Wonisch, “Compositional CSP Traces Refinement Checking,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 135--151, 2009.
LibreCat: /record/3199
DOI: 10.1016/j.entcs.2009.08.022

T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” Electr. Notes Theor. Comput. Sci., pp. 193--205, 2009.
LibreCat: /record/3200
DOI: 10.1016/j.entcs.2009.12.025

T. Ruhroth, H. Voigt, and H. Wehrheim, “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models,” in 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

M. Leuschel and H. Wehrheim, Eds., Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. 2009.
LibreCat: /record/3202
DOI: 10.1007/978-3-642-00255-7

C. Schröer, Hierarchisches Clustering mit minimalen Cluster-Durchmessern. 2009.
LibreCat: /record/2880

G. Liske, Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens. 2009.
LibreCat: /record/2896

C. Scholz, Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen. 2009.
LibreCat: /record/2904

M. R. Ackermann, Algorithms for the Bregman k-Median Problem. Universität Paderborn, 2009.
LibreCat: /record/2911

S. Kakvi, “Reinforcement Learning for Blackjack,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 300–301.
LibreCat: /record/2920
DOI: 10.1007/978-3-642-04052-8_43

M. R. Ackermann and J. Blömer, “Coresets and Approximate Clustering for Bregman Divergences,” in Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Philadelphia, PA: Society for Industrial and Applied Mathematics, 2009, pp. 1088–1097.
LibreCat: /record/2995
DOI: 10.1137/1.9781611973068.118

J. Blömer and S. Naewe, “Sampling methods for shortest vectors, closest vectors and successive minima,” Theoretical Computer Science, no. 18, pp. 1648–1665, 2009.
LibreCat: /record/2999
DOI: 10.1016/j.tcs.2008.12.045

J. Schrieb, H. Wehrheim, and D. Wonisch, “Three-Valued Spotlight Abstractions,” in FM 2009: Formal Methods, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 106–122.
LibreCat: /record/3000
DOI: 10.1007/978-3-642-05089-3_8

T. Jager and J. Schwenk, “On the Analysis of Cryptographic Assumptions in the Generic Ring Model,” 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: /record/3142
DOI: 10.1007/978-3-642-10366-7_24

M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn, 2009.
LibreCat: /record/20937

F. Meyer auf der Heide and F.-J. Rammig, “Self-Organisation and Self-Optimization,” Public Service Review: Science and Technology, vol. 04, 2009.
LibreCat: /record/17453

P. Briest, “Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems),” it - Information Technology, vol. 51, no. 1, pp. 62–65, 2009.
LibreCat: /record/19031
DOI: 10.1524/itit.2009.0524

R. D. Kleinberg and C. Scheideler, “Foreword,” Theory Comput. Syst., no. 2, p. 187, 2009.
LibreCat: /record/1925
DOI: 10.1007/s00224-009-9202-x

B. Awerbuch and C. Scheideler, “Towards a Scalable and Robust DHT,” Theory Comput. Syst., no. 2, pp. 234--260, 2009.
LibreCat: /record/1927
DOI: 10.1007/s00224-008-9099-9

B. Awerbuch and C. Scheideler, “Robust random number generation for peer-to-peer systems,” Theor. Comput. Sci., no. 6–7, pp. 453--466, 2009.
LibreCat: /record/1928
DOI: 10.1016/j.tcs.2008.10.003

C. Scheideler and S. Schmid, “A Distributed and Oblivious Heap,” in Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, 2009, vol. 5556, pp. 571--582.
LibreCat: /record/1929
DOI: 10.1007/978-3-642-02930-1_47

R. Jacob, S. Ritscher, C. Scheideler, and S. Schmid, “A Self-stabilizing and Local Delaunay Graph Construction,” in Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, 2009, vol. 5878, pp. 771--780.
LibreCat: /record/1930
DOI: 10.1007/978-3-642-10631-6_78

R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, and H. Täubig, “A distributed polylogarithmic time algorithm for self-stabilizing skip graphs,” 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: /record/1932
DOI: 10.1145/1582716.1582741

M. Baumgart, C. Scheideler, and S. Schmid, “A DoS-resilient information system for dynamic data management,” 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: /record/1933
DOI: 10.1145/1583991.1584064

D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, and H. Täubig, “Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization,” in Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, 2009, vol. 5873, pp. 781--782.
LibreCat: /record/1934
DOI: 10.1007/978-3-642-05118-0_58

B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, and C. Scheideler, “Stabilizing Consensus with the Power of Two Choices,” in Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009, 2009, vol. 09371.
LibreCat: /record/1935
DOI: 10.1145/1989493.1989516

M. Woehrle, C. Plessl, and L. Thiele, Rupeas: Ruby Powered Event Analysis DSL. Computer Engineering and Networks Lab, ETH Zurich, 2009.
LibreCat: /record/2353

P. Briest, M. Hoefer, L. Gualà, and C. Ventre, “On Stackelberg Pricing with Computationally Bounded Consumers,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.
LibreCat: /record/23744
DOI: 10.1007/978-3-642-10841-9_6

C. Laroque, M. Fischer, and W. Dangelmaier, “Concepts for Model Verification and Validation during Simulation Runtime,” in European Simulation and Modelling Conference (ESM 2009), 2009.
LibreCat: /record/18138

T. Volkhausen, D. H. Woldegebreal, and H. Karl, “Improving Network Coded Cooperation by Soft Information,” in 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009.
LibreCat: /record/1828
DOI: 10.1109/sahcnw.2009.5172938

S. Valentin, D. H. Woldegebreal, T. Volkhausen, and H. Karl, “Combining for Cooperative WLANs - A Reality Check Based on Prototype Measurements,” in 2009 IEEE International Conference on Communications Workshops, 2009.
LibreCat: /record/1829
DOI: 10.1109/iccw.2009.5208050

T. Suess, M. Fischer, D. Huber, C. Laroque, and W. Dangelmaier, “Ein System zur aggregierten Visualisierung verteilter Materialflusssimulationen,” in Augmented &; Virtual Reality in der Produktentstehung, vol. 252, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009, pp. 111--126.
LibreCat: /record/18291

T. Biermann, A. Schwabe, and H. Karl, “Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE,” in NETWORKING 2009, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 883–894.
LibreCat: /record/1830
DOI: 10.1007/978-3-642-01399-7_69

H. S. Lichte and J. Weide, “Modeling obstacles in INET/Mobility framework: motivation, integration, and performance,” in Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, 2009.
LibreCat: /record/1832
DOI: 10.4108/icst.simutools2009.5680

B. Ahlgren et al., “Design considerations for a network of information,” in Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08, 2009.
LibreCat: /record/1833
DOI: 10.1145/1544012.1544078

M. Fischer, M. Hilbig, C. Jähn, F. Meyer auf der Heide, and M. Ziegler, “Planar Visibility Counting,” in Proc. 25th European Workshop on Computational Geometry, 2009, pp. 203–206.
LibreCat: /record/18346

R. Dumitrescu, J. Gausemeier, W. Dangelmaier, and B. Klöpper, “Solution Patterns for the Development of Self-Optimizing Systems,” in Self-x in Engineering, B. Klöpper and W. Dangelmaier, Eds. Münster: MV Verlag, 2009.
LibreCat: /record/22941

G. Domik and R. Scateni, “Education Programme at Eurographics 2009,” in Computer Graphics Forum, 2009, vol. 28, pp. 1723–1724.
LibreCat: /record/21773
DOI: 10.1111/j.1467-8659.2009.01433.x

H. Fricke et al., “Quantitative myocardial perfusion PET combined with coronary anatomy derived from CT angiography: Validation of a new fusion and visualisation software,” Zeitschrift für Medizinische Physik, vol. 19, no. 3, pp. 182–188, 2009.
LibreCat: /record/21774
DOI: 10.1016/j.zemedi.2009.05.005

G. Meixner et al., Eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’09), Sanibel Island (FL, USA), vol. 439. 2009.
LibreCat: /record/7775

G. Engels, R. H. Reussner, C. Momm, and S. Sauer, Eds., Proceedings of Design for Future - 1. Workshop des GI-Arbeitskreises “Langlebige Softwaresysteme (L2),” vol. 537. Karlsruhe, 2009.
LibreCat: /record/7777

C. Gerth, J. Küster, and G. Engels, “Language-Independent Change Management of Process Models,” in Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA), 2009, vol. 5795, pp. 152–166.
LibreCat: /record/8009
DOI: http://dx.doi.org/10.1007/978-3-642-04425-0_12

M. Assmann, M. Haack, H. Scheider, N. vom Hagen, and R. Zacharias, “SOA-Business Case,” in Transform IT: Optimale Geschäftsprozesse durch eine transformierende IT, 2009, pp. 97–126.
LibreCat: /record/8010

A. Baumann, G. Engels, A. Hofmann, S. Sauer, and J. Willkomm, “A Holistic Software Engineering Method for Service-Oriented Application Landscape Development,” in Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands), 2009, vol. 28, pp. 1–17.
LibreCat: /record/8011
DOI: http://dx.doi.org/10.1007/978-3-642-01859-6

G. Meixner et al., “Model Driven Development of Advanced User Interfaces 2009,” in Proceedings of the 2009 International Conference on Intelligent User Interfaces, 2009, pp. 503–504.
LibreCat: /record/8012
DOI: http://doi.acm.org/10.1145/1502650.1502737

J. Küster, C. Gerth, and G. Engels, “Dependent and Conflicting Change Operations of Process Models,” in Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09), 2009, vol. 5562, pp. 158–173.
LibreCat: /record/8013
DOI: http://dx.doi.org/10.1007/978-3-642-02674-4_12

G. Engels, S. Geisen, S. Sauer, and O. Port, “Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback,” in Informatik 2009 - Im Focus das Leben, 2009, vol. 154, p. 458.
LibreCat: /record/8014

F. Salger, S. Sauer, and G. Engels, “Integrated Specification and Quality Assurance for Large Business Information Systems,” in Proceedings of the 2nd India Software Engineering Conference (ISEC’09), 2009, pp. 129–130.
LibreCat: /record/8015

B. Güldali, M. Mlynarski, A. Wübbeke, and G. Engels, “Model-Based System Testing Using Visual Contracts,” in Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering,” 2009, pp. 121–124.
LibreCat: /record/8016

M. Mlynarski and M. Jureczko, “Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami,” in Proceedings of Krajowa Konferencja In?ynierii Oprogramowania 2009, 2009, vol. 3, no. 11, pp. 294–305.
LibreCat: /record/8017

T. Schattkowsky and T. Xie, “A UML Framework for IP-XACT-based IP Management,” in Proceedings of the conference on Design Automation and Test in Europe (DATE 2009), Nice (France), 2009, pp. 238–243.
LibreCat: /record/8018

C. Soltenborn and G. Engels, “Towards Test-Driven Semantics Specification,” in Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), 2009, vol. 5795, pp. 378–392.
LibreCat: /record/8019
DOI: http://dx.doi.org/10.1007/978-3-642-04425-0_30

G. Engels, D. Fisseler, and C. Soltenborn, “Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding,” in Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), 2009, pp. 39–46.
LibreCat: /record/8020
DOI: http://dx.doi.org/10.1109/VLHCC.2009.5295302

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

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

T. Biermann, M. Dräxler, and H. Karl, “Flow Synchronization for Network Coding,” Journal of Communications, no. 11, pp. 873--884, 2009.
LibreCat: /record/814
DOI: 10.4304/jcm.4.11.873-884