Publications 2009

S. Altemeier, M.Helmdach, A. Koberstein, W. Dangelmaier: Reconfiguration of Assembly Lines under the Influence of High Product Variety in the Automotive Industry - A Decision Support System, in: International Journal of Production Research (IJPR); submitted (TPRS-2009-IJPR-0167)

S. Altemeier, D. Brodkorb, W. Dangelmaier: A Top-Down Approach for an Automatic Precedence Graph Construction under the Influence of High Product Variety, in: Proceedings of APMS2009 - International Conference on Advances in Production Management Systems, Sep. 2009; accepted for publishing

W. Dangelmaier, S. Altemeier, C. Danne, J.E. Gans: Optimierung und Nachhaltigkeit in veränderlichen Produktions- und Logistiksystemen, in: 11. Paderborner Frühjahrstagung: Nachhaltigkeit in flexiblen Produktions- und Liefernetzwerken, S. 3-17, Paderborn, Mrz. 2009 Universität Paderborn

N. Kliewer, B. Amberg, B. Amberg: Optimierungssysteme im ÖPNV: Mehrdepot-Umlauf- und Dienstplanung mit Zeitfenstern für geplante Fahrten, Business Services: Konzepte, Technologien, Anwendungen – 9. Internationale Tagung Wirtschaftsinformatik 2009, Österreichische Computer Gesellschaft, S. 55-64, Wien, Feb. 2009

Bo. Amberg, M. Beck, Ba. Amberg, N. Kliewer: Integrated Vehicle and Crew Scheduling with Time Windows for Scheduled Trips in Paperic Transport (Nov 2009), Symposium of the GOR Working Group Real World Optimization - Mathematical Optimization in Transportation

M. Borzykh; J. Geisler; A. Trächtler: Aufbau und Regelung eines sturzvariablen Bahnfahrwerks mit Einzelradlenkung. 6. Paderborner Workshop Entwurf mechatronischer Systeme, Heinz Nixdorf MuseumsForum, Paderborn, 2009.

D. Brodkorb: Automated Operative Production Planning under Practical Conditions, Conference Proceedings  ASOR, 2009

R. Delius: Concepts for Model Verification and Validation during Simulation Runtime. In: European Simulation and Modelling Conference (ESM 2009), S. 49-53, 26. - 28. Okt. 2009 EUROSIS, EUROSIS-ETI

S. Drzevitzky, U. Kastens and M. Platzner. Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. In Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), pages 189-194. Cancun, Mexico, December 2009, IEEE.

R. Dumitrescu, J. Gausemeier, W. Dangelmaier, B. Klöpper: Solution Patterns for the Development of Self-Optimizing Systems. In Klöpper, B.; Dangelmaier, W. (Eds.): Self-x in Engineering. MV-Verlag, Münster, September, 2009

R. Dumitrescu, J. Gausemeier; C. Romaus: Towards the design of cognitive functions in self-optimizing Systems exemplified by a Hybrid Energy Storage System. In: Proceedings of the 10th International Workshop on Research and Education in Mechatronics (REM2009), September 10-11, Glasgow, UK, 2009

R. Dumitrescu, B. Klöpper: Towards Social-Software for the Efficient Reuse of Solution Patterns for Self-Optimizing Systems. In: Proceedings of International Conference on Knowledge Engineering and Ontology Development (KEOD2009), October 6-8, Madeira, Portugal, 2009

S. Müller, B. Schimmel, H. Reckter, P. Weinrich, S. Schulze, C. Geiger, R. Dumitrescu: Eine Benutzerschnittstelle zur Visualisierung komplexer Diagramme. In: Tagungsband Mensch und Computer 2009, 6. - 7. September, 2009

Ch. Gerth, J. Küster, G. Engels: Language-Independent Change Management of Process Models. In A. Schürr, B. Selic (eds.): Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09). Denver (CO, USA). Springer (Berlin/Heidelberg), LNCS, vol. 5795 , pp. 152-166 (2009)

J. Greenyer, E. Kindler: Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. In Software and Systems Modeling (SoSyM), vol. 9, no. 1, pp. 21-46. January 2010 . Paperished online July 15, 2009.

M. Happe, E. Lübbers and M. Platzner: An Adaptive Sequential Monte Carlo Framework with Runtime HW/SW Repartitioning. In Proceedings of the 2009 International Conference on Field-Programmable Technology (FPT), Sydney, Australia, December 2009. IEEE

Y. Khaluf, A. Rettberg: Towards a Load Balancing Middleware for Automotive Infotainment Systems. In: Analysis, Architectures and Modelling of Embedded Systems, Band 310, S. 238-249, Schloß Montfort, Langenargen, Germany, Sep. 2009 IESS, Springer (Paperished)

J. Küster, Ch.  Gerth, 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). Springer (Berlin/Heidelberg), LNCS, vol. 5562, pp. 158-173

Porrmann, M.; Hagemeyer, J.; Romoth, J.; Strugholtz, M.: RAPTOR – A Scalable Platform for Rapid Prototyping and FPGA-based Cluster Computing. In Proceedings of ParaFPGA symposium at ParCo 2009, Lyon, France, September 1-4, 2009.

Porrmann, M.; Hagemeyer, J.; Romoth, J.; Strugholtz, M.: Rapid Prototyping of Next-Generation Multiprocessor SoCs. In Proceedings of Semiconductor Conference Dresden, SCD 2009, Dresden, Germany, April 29-30, 2009, invited paper.

J. Schrieb, H. Wehrheim, D. Wonisch: Three-Valued Spotlight Abstractions. In Ana Cavalcanti and Dennis Dams (eds.): FM 2009: Formal Methods. Springer, LNCS, vol. 5850, pp. 106-122 (2009)

N. Timm: A Bounded Model Checker for Partially Known Systems. In Proceedings of the 21st Nordic Workshop on Programming Theory. Technical University of Denmark, pp. 17-19 (2009)

H. Wehrheim, D. Wonisch: Compositional CSP traces refinement checking. In A. Miller and M. Calder (eds.): Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS 2008). Elsevier B.V., Electronic Notes in Theoretical Computer Science, vol. 250, Issue 2, pp. 135-151 (2009)










Imprint | Webmaster | Recent changes: 24.07.2014