Schäfer, W., &; Wehrheim, H. (2010). Model-Driven Development with Mechatronic UML. In G. Engels, C. Lewerentz, W. Sch\'22afer, A. Sch\'22urr, &; B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554).https://doi.org/10.1007/978-3-642-17322-6_23 
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm, N., &; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &; H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (pp. 534--548).https://doi.org/10.1007/978-3-642-16901-4_35 
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198).https://doi.org/10.1007/978-3-642-16265-7_14 
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Samara, S., &; Schomaker, G. (2010). Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. 2010 10th IEEE International Conference on Computer and Information Technology.https://doi.org/10.1109/cit.2010.304 
LibreCat: /record/27159
DOI: 10.1109/cit.2010.304

von Detten, M., Meyer, M., &; Travkin, D. (2010). Reverse Engineering with the Reclipse Tool Suite. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2, 299–300.
LibreCat: /record/20934

von Detten, M., Meyer, M., &; Travkin, D. (2010). Reclipse - A Reverse Engineering Tool Suite.
LibreCat: /record/20935

Löffler, R., Meyer, M., &; Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 57–67.
LibreCat: /record/20936

Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., &; Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science.https://doi.org/10.1007/978-3-642-16576-4_4 
LibreCat: /record/20961
DOI: 10.1007/978-3-642-16576-4_4

Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum, RE/2010.
LibreCat: /record/20962

Meyer, J., Holtmann, J., Schäfer, W., &; Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), P-160.
LibreCat: /record/20963

Fischer, M., Renken, H., Laroque, C., Schaumann, G., &; Dangelmaier, W. (2010). Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations. In Proceedings of the 2010 Winter Simulation Conference.https://doi.org/10.1109/wsc.2010.5678906 
LibreCat: /record/17422
DOI: 10.1109/wsc.2010.5678906

Gehweiler, J., Meyer auf der Heide, F., &; Schroeder, U.-P. (2010). A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut.
LibreCat: /record/17462

Blesa, M. J., Blum, C., de Caro, A., Degener, B., Kempkes, B., Leone, P.,  Mylonas, G. (2010). Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study.
LibreCat: /record/17464

Brandes, P., Degener, B., Kempkes, B., &; Meyer auf der Heide, F. (2010). Building short chains of mobile robots locally with a bounded stepwidth.
LibreCat: /record/17586

Bar-Yehuda, R., Polevoy, G., &; Rawitz, D. (2010). Bandwidth allocation in cellular networks with multiple interferences. In DIALM-PODC (pp. 33–42).
LibreCat: /record/17665

Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Levi, P., &; Kernbach, S. (2010). Hormone-based Control for Multi-modular Robotics. In Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution (pp. 240--263). Springer.
LibreCat: /record/18761

Bienkowski, M. (2010). Page migration in dynamic networks (Vol. 282). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/18910

Dynia, M. (2010). Collective graph exploration (Vol. 284). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/18927

Degener, B., Gehweiler, J., &; Lammersen, C. (2010). Kinetic Facility Location. Algorithmica, 57(3), 562–584.https://doi.org/10.1007/s00453-008-9250-7 
LibreCat: /record/19011
DOI: 10.1007/s00453-008-9250-7

Gehweiler, J., &; Meyerhenke, H. (2010). A distributed diffusive heuristic for clustering a virtual P supercomputer. In Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC).https://doi.org/10.1109/ipdpsw.2010.5470922 
LibreCat: /record/19013
DOI: 10.1109/ipdpsw.2010.5470922