Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon This content is not available in English
Show image information

2013

Holger Fischer, Benjamin Strenge, Karsten Nebe: Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. In Marcus, A. (Hrsg.): Design, User Experience, and Usability: Design Philosophy, Methods and Tools, Part I, HCII 2013, LNCS 8012, S. 252-261. Springer Verlag: Berlin Heidelberg (2013) 

Florian Klompmaker, Volker Paelke, Holger Fischer: A Taxonomy-Based Approach Towards NUI Interaction Design. In Streitz, N. und Stephanidis, C. (Hrsg.): Distributed, Ambient and Pervasive Interactions, HCII 2013, LNCS 8028, S. 32-41. Springer Verlag: Berlin Heidelberg (2013) 

Christoph Kuznik, Marcio F. S. Oliveira, Wolfgang Müller: SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop (2013) 

Christoph Kuznik, Marcio F. S. Oliveira, Wolfgang Müller: SystemC Verification Components - An enhanced OVM/UVM for SystemC. edaWorkshop 13 (2013) 

Gregor Engels, Christian Gerth, Lisa Kleinjohann, Bernd Kleinjohann, Wolfgang Müller, Stefan Sauer: Informationstechnik spart Ressourcen. Forschungsforum Paderborn, vol. 16/2013, pp. 54-61. (2013) 

Christoph Kuznik, Marcio F. S. Oliveira, Gilles Bertrand Gnokam Defo, Wolfgang Müller: Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON 2013 (2013) 

Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Müller: Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. Proceedings of International Embedded Systems Symposium (IESS 2013) (2013) 

Alexander Jungmann, Bernd Kleinjohann: Learning Recommendation System for Automated Service Composition. Proceedings of the 10th IEEE International Conference on Services Computing (SCC), S. 97-104, 27. Jun. - 2. Jul. 2013 IEEE Computer Society, IEEE Computer Society (2013) 

Claudius Stern, Christoph Rasche, Bernd Kleinjohann, Lisa Kleinjohann: Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. Gausemeier, Jürgen; Dumitrescu, Roman; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) Augmented & Virtual Reality in der Produktentstehung, HNI-Verlagsschriftenreihe, Paderborn, Nr.311 , Paderborn, Apr. 2013 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (2013) 

Christoph Rasche, Marten Bieshaar, Alexander Jungmann, Lisa Kleinjohann, Bernd Kleinjohann: Statistisches Planen in einem realen Roboterszenario. Gausemeier, Jürgen; Dumitrescu, Roman; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 310 , S. 133-146, Apr. 2013 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (2013) 

Christoph Rasche, Claudius Stern, Lisa Kleinjohann, Bernd Kleinjohann: A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. Sen Gupta, Gourab; Bailey, Donald; Demidenko, Serge; Carnegie, Dale (Hrsg.) Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 , S. 103-113. Springer Berlin Heidelberg (2013) 

Christoph Rasche, Steffen Ziegert: Multilevel Planning for Self-Optimizing Mechatronic Systems. Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, S. 6, 27. Mai - 1. Jun. 2013 IARIA, ThinkMind (2013) 

Marie Christin Platenius, Markus von Detten, Christian Gerth, Wilhelm Schäfer, Gregor Engels: Service Matching under Consideration of Explicitly Specified Service Variants. IEEE 20th International Conference on Web Services (ICWS 2013), 27. Jun. - 2. Jul. 2013, IEEE (2013) 

Marie Christin Platenius, Markus von Detten, Steffen Becker, Wilhelm Schäfer, Gregor Engels: A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 17. - 21. Jun. 2013, ACM (2013) 

Frank Brüseke, Gregor Engels, Steffen Becker: Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis. Proceedings of the 4th Joint WOSP/SIPEW International Conference on Performance Engineering (WOSP/SIPEW '13), New York, NY, USA, 2013, ACM (2013) 

Steffen Ziegert, Christian Heinzemann: Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science, Sep. 2013, Springer (2013) 

Christian Heinzemann, Jan Rieke, Wilhelm Schäfer: Simulating Self-Adaptive Component-Based Systems using MATLAB/Simulink. Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO '13), Sep. 2013, IEEE Computer Society Press (2013) 

Christian Heinzemann, Steffen Becker: Executing Reconfigurations in Hierarchical Component Architectures. Proceedings of the 16th international ACM Sigsoft symposium on Component based software engineering, Jun. 2013, ACM (2013) 

Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer: From Timed Automata to Timed Failure Propagation Graphs. Proceedings of the Fourth IEEE Workshop on Self-Organizing Real-time Systems (SORT 2013), Jun. 2013, IEEE (2013) 

Christian Heinzemann, Oliver Sudmann, Wilhelm Schäfer, Matthias Tichy: A Discipline-Spanning Development Process for Self-Adaptive Mechatronic Systems. Proceedings of the 2013 International Conference on Software and System Process, ICSSP 2013, S. 36-45, 18. - 19. Mai 2013, ACM, New York, NY, USA (2013) 

Christian Heinzemann, Jan Rieke, Jana Bröggelwirth, Andrej Pines, Andreas Volk: Translating MechatronicUML Models to MATLAB/Simulink and Stateflow. tr-ri-13-330, Mai 2013 (2013) 

Karin Flaßkamp, Christian Heinzemann, Martin Krüger, Dominik Steenken, Sina Ober-Blöbaum, Wilhelm Schäfer, Ansgar Trächtler: Sichere Konvoibildung mit Hilfe optimaler Bremsprofile. 9. Paderborner Workshop Entwurf mechatronischer Systeme, Paderborn, 18. - 19. Apr. 2013, HNI Verlagsschriftenreihe, Paderborn (2013) 

Steffen Ziegert, Christian Heinzemann: Durative Graph Transformation Rules. tr-ri-13-329, Mrz. 2013 (2013) 

Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler: Automata-Based Refinement Checking for Real-Time Systems. Proceedings of Software Engineering 2013 - Fachtagung des GI-Fachbereichs Softwaretechnik, S. 99-112, 26. Feb. - 1. Mrz. 2013, Gesellschaft fuer Informatik (2013) 

Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer: Modeling and verifying dynamic communication structures based on graph transformations. Computer Science - Research and Development, 28(1): S. 3-22, Feb. 2013 (2013) 

Fabian Mischkalla, Wolfgang Müller: Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Germany, March 12-14 (2013) 

Fabian Mischkalla, Wolfgang Müller: Efficient Power Intent Validation Using Loosely-Timed Simulation Models. International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), Germany, September 9-11 (2013) 

Holger Fischer, Thomas Geis, Rolf Molich, Oliver Kluge, Rüdiger Heimgärtner, Peter Hunkirchen, Knut Polkehn: Do You Speak Usability? – Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA. Brau, Henning et al (eds.): Jahresband Usability Professionals 2013, pp. 28 – 34 (2013) 

Elke Löschner: OEPI Ontology. Dada, Ali; Stanoevska, Katarina; Gómez, Jorge Marx (Eds.): Organizations’ Environmental Performance Indicators, pp 85-102, ISBN: 978-3-642-32719-3, Springer (2013) 

Siegfried Bublitz, Steffen Henning, Naoum Jamous, Frederik Kramer, Elke Löschner, Teemu Mätäsniemi, Dominik Sacha: Incorporating External Data Using Semantics. Dada, Ali; Stanoevska, Katarina; Gómez, Jorge Marx (Eds.): Organizations’ Environmental Performance Indicators, pp 141-169, ISBN: 978-3-642-32719-3, Springer (2013) 

Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels: Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. Software and Systems Modeling, vol. 12, no. 3, pp. 517-535. Springer-Verlag (Berlin/Heidelberg) (2013) 

Gregor Engels, Markus Luckey: Editorial. Computer Science - Research and Development, vol. 28, no. 1, pp. 1-2. Springer Verlag (2013) 

Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig: Automated Service Composition for On-the-Fly SOAs. Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC'13). Springer-Verlag (Berlin/Heidelberg), LNCS , vol. 8274, pp. 524-532 (2013) 

Henning Wachsmuth, Mirko Rose, Gregor Engels: Automatic Pipeline Construction for Real-Time Annotation. Alexander Gelbukh (eds.): Proceedings of the 14th International Conference on Intelligent Text Processing and Computational Linguistics. Springer (Samos, Greece), LNCS, vol. 7816, pp. 38-49 (2013)

Benjamin Nagel, Christian Gerth, Jennifer Post, Gregor Engels: Ensuring Consistency Among Business Goals and Business Process Models. Proceedings of the 17th IEEE International EDOC Conference (EDOC'13). IEEE Computer Society (2013) 

Markus Luckey, Gregor Engels: High-quality specification of self-adaptive software systems. SEAMS'13 Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 143-152 (2013) 

Markus Luckey, Gregor Engels: High-­Quality Specification of Self-­Adaptive Software Systems. Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems. ACM (New York, NY, USA), SEAMS '13 (2013) 

Henning Wachsmuth, Benno Stein, Gregor Engels: Information Extraction as a Filtering Task. Proceedings of the 22nd ACM Conference on Information and Knowledge Management. ACM (San Francisco, CA, USA) (2013) 

Henning Wachsmuth, Benno Stein, Gregor Engels: Learning Efficient Information Extraction on Heterogeneous Texts. Proceedings of the 6th Internation Joint Conference on Natural Language Processing. AFNLP (Nagoya, Japan) (2013) 

Gregor Engels: On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft. Stefan Kowalewski, Bernhard Rumpe (eds.): Software Engineering 2013., LNI, vol. P-213, pp. 17-18 (2013) 

Benjamin Nagel, Christian Gerth, Jennifer Post, Gregor Engels: Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE'13). CEUR-WS.org, CEUR Workshop Proceedings, vol. 998, pp. 9-16 (2013) 

Zille Huma, Christian Gerth, Gregor Engels: Automated Service Discovery and Composition for On-the-Fly SOAs.. no. tr-ri-13-333. University of Paderborn, Germany (2013) 

Masud Fazal-Baqaie, Markus Luckey, Gregor Engels: Assembly-based Method Engineering with Method Patterns. M. Kuhrmann, D. M. Fernández, O. Linsen, A. Knapp (eds.): Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn, pp. 435-444 (2013) 

Claudia Schumacher, Baris Güldali, Gregor Engels, Markus Niehammer, Matthias Hamburg: Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. Stefan Kowalewski, Bernhard Rumpe (eds.): Software Engineering 2013., LNI, vol. P-213, pp. 331-344 (2013) 

Thomas John, Dennis Kundisch: Business Model Representations: A Cross-Disciplinary Review of the Pragmatic, Semantic and Syntactic Foundations of Existing Approaches. Pre-ECIS Workshop on the Digitization in Business Models and Entrepreneurship (DiBME), Utrecht (2013) 

Thomas John, Christoph Weskamp, Dennis Kundisch, Leena Suhl: Towards an Agile Simulation-based Method for Creating, Evaluating and Selecting Business Models. Pre-ECIS Workshop on the Digitization in Business Models and Entrepreneurship (DiBME), Utrecht (2013) 

André Brinkmann, Christoph Fiehe, Anna Litvina, Ingo Lück, Lars Nagel, Krishnaprasad Narayanan, Florian Ostermair, Wolfgang Thronicke: Scalable Monitoring System for Clouds. 6th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2013), 3nd International Workshop on Intelligent Techniques and Architectures for Autonomic Clouds (ITAAC 2013), Dresden (2013) 

E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, Steffen Beringer, D. Holler, Kay Klobedanz, Christian Heinzemann, K. Peter, M. Leuer: Simulationsgestützter Entwurf für Elektrofahrzeuge - Simulation-based Design for Electric Vehicles. 8. Dortmunder AutoTag, 26. September 2013 (2013) 

Alexander Jungmann, Bernd Kleinjohann, Lisa Kleinjohann: Learning Service Recommendations. International Journal of Business Process Integration and Management, Publisher: Inderscience (2013) 

Gudrun Tschirner-Vinke, Eduard Maul, Max Reinecke: Sichere Funkkommunikation für den Master-Slave-Betrieb von Mähdreschern und Überladefahrzeug. Mobile Machines 2013 - Sicherheit und Fahrerassistenz für mobile Arbeitsmaschinen. 14-15. Mai 2013, Karlsruhe-Ettlingen (2013) 

Gudrun Tschirner-Vinke, Ronny Hartanto, Max Reinecke, Volker Viereck: Forschungsprojekt Marion– Mobile Maschinen im dynamischen Verbund. IT & Production, 7+8, S. 72–73, Juli 2013 (2013) 

Christian Schäperkötter, Gudrun Tschirner-Vinke: App-Store für Maschinen - das Bindeglied zwischen Hersteller und Nutzer. Vortrag Bitkom World CeBIT 2013. 05.03.2013, Hannover (2013) 

Markus Becker, U. Kiffmeier, Wolfgang Müller: HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. 16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Jun. 2013 (2013)

Mabel Joy, Wolfgang Müller, Franz-Josef Rammig: Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model. Bromann, David; Karsai, Gabor editor. Proceedings of AVICPS 2013, Dec 2013 IEEE Computer Society, Linköping University Electronic Press (2013) 

Da He, Wolfgang Müller: A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design, 37(6-7): S. 845-857 (2013) 

Da He, Wolfgang Müller: AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. Proceedings of International Conference on Applied Computing (AC), Okt. 2013 (2013) 

Christoph Rasche: A Cooperative and Verifiable UAV Behavior for 3D Environments.

Dissertation Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik, Internet-Link: d-nb.info/1038000491/34 

(2013) 

Marcio Oliveira: Modellgetriebene Entwicklungsmethodik für die Entwurfsraumexploration von Eingebetteten Systeme. Dissertation Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik und Universidade Federal do Rio Grande do Sul, Instituto de Informática, Brasilien (2013) 

Tao Xie: Quality Metrics Driven Functional Verification for IP based SoC Design. Dissertation Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik (2013) 

Da He: Energy Efficient Scheduling for Hard Real-Time Systems. Dissertation Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik und Carl von Ossietzky Universität Oldenburg, Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften (2013) 

Alexander Jungmann, Bernd Kleinjohann, Lisa Kleinjohann: Learning Service Recommendations. International Journal of Business Process Integration and Management, 6(4): S. 284-297, Jan. 2013 (2013) 

Thomas Bierhoff, Jose Fernando Esteban, Jordi Safont, Almudena Alonso, Wolfgang Thronicke: Real Time Traffic Forecast (White Paper). Atos SE (Societas europaea), Bezons, France (2013)