TY - CONF AU - Khaluf, Yara AU - Birattari, Mauro AU - Rammig, Franz-Josef ID - 25269 T2 - Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013 TI - Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences VL - 8273 ER - TY - CONF AU - Joy, M. tech. Mabel Mary AU - Müller, Wolfgang AU - Rammig, Franz-Josef ID - 25270 T2 - Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society, TI - Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model ER - TY - CONF AU - He, Da AU - Müller, Wolfgang ID - 25271 T2 - Proceedings of International Conference on Applied Computing (AC) TI - AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS ER - TY - CONF AB - Automation and control systems include many “intelligent” automation devices, which are usually implemented as complex embedded systems. New methods and tools are demanded to cope with the increasing design complexity, while keeping the project on schedule. Proper handling of nonfunctional system requirements is a key factor during the design of industrial automation systems, since in some application domains they are as important as (sometimes, more important than) functional requirements. This paper presents a model-driven engineering approach, which combines Unified Modeling Language (UML) and aspect-oriented software development (AOSD) to design real-time and embedded automation systems. The proposed approach allows a smooth transition from the initial phases to implementation by using software tools, comprising the system specification and the automatic generation of source code. By combining UML with model-level aspects and a script-base code generation tool, it enables the use of AOSD during system design and implementation, even though the target platform does not natively support such concepts. Experimental results on using this approach to design real-world examples of automation systems are presented. The results indicate a positive impact on the design of automation systems. The encapsulation of nonfunctional requirements was improved, increasing the reuse of developed artifacts. Generated source code statistics indicate that the proposed approach can generated a fair amount of code per model element. AU - Wehrmeister, Marco A. AU - Pereira, Carlos E. AU - Rammig, Franz-Josef ID - 25273 T2 - IEEE Trans. on Industrial Informatics vol. 9 (no. 4) TI - Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems ER - TY - CONF AU - Khaluf, Yara AU - Rammig, Franz-Josef ID - 25274 T2 - ECAL 2013, 12th European Conference on Artificial Life TI - Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms ER - TY - CONF AB - Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit. Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“, nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie aktuelle Ergebnisse aus dem Projekt vor. AU - Farshizadeh, Emad AU - Briese, Herrmann AU - Steinmann, David AU - Stockmann, Lars AU - Beringer, Steffen AU - Holler, Dominik AU - Klobedanz, Kay AU - Heinzemann, Christian AU - Peter, Klaus AU - Leuer, Michael ID - 25277 T2 - 8. Dortmunder Autotag, Sep. 2013 TI - Simulationsgestützter Entwurf für Elektrofahrzeuge ER - TY - CONF AU - Mischkalla, Fabian AU - Müller, Wolfgang ID - 25284 T2 - 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013 TI - Efficient Power Intent Validation Using Loosely-Timed Simulation Models ER - TY - THES AU - Montealegre, Norma ID - 25285 TI - Immunorepairing of Hardware Systems ER - TY - CONF AB - The as a Service paradigm reflects the fundamental idea of providing basic coherent functionality in terms of components that can be utilized on demand. These so-called services may also be interconnected in order to provide more complex functionality. Automation of this service composition process is indeed a formidable challenge. In our work, we are addressing this challenge by decomposing service composition into sequential decision making steps. Each step is supported by a recommendation mechanism. If composition requests recur over time and if evaluations of composition results are fed back, a proper recommendation strategy can evolve over time through learning from experience. In this paper, we describe our general idea of modeling this service composition and recommendation process as Markov Decision Process and of solving it by means of Reinforcement Learning. A case study serves as proof of concept. AU - Jungmann, Alexander AU - Kleinjohann, Bernd ID - 25286 T2 - Proceedings of the 10th IEEE International Conference on Services Computing (SCC) TI - Learning Recommendation System for Automated Service Composition ER - TY - CONF AU - Gilles, Katharina AU - Grösbrink, Stefan AU - Baldin, Daniel AU - Kerstan, Timo ID - 25287 T2 - International Embedded Systems Symposium, 17. - 19. Jun. 2013 TI - Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems ER - TY - CONF AU - Grösbrink, Stefan ID - 25289 T2 - International Embedded Systems Symposium, 17. - 19. Jun. 2013 TI - On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem ER - TY - CONF AU - Rammig, Franz-Josef AU - Khaluf, Lial AU - Montealegre, Norma AU - Stahl, Katharina AU - Zhao, Yuhong ID - 25290 T2 - Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013 TI - Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software ER - TY - CONF AU - Becker, Markus AU - Kiffmeier, Ulrich AU - Müller, Wolfgang ID - 25291 T2 - 16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing TI - HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures ER - TY - CONF AU - Rammig, Franz-Josef AU - Stahl, Katharina AU - Vaz, Gavin Francis ID - 25292 T2 - Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013 TI - A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems ER - TY - CONF AU - Rasche, Christoph AU - Ziegert, Steffen ID - 25296 T2 - Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications TI - Multilevel Planning for Self-Optimizing Mechatronic Systems ER - TY - CONF AU - Stahl, Katharina ID - 25298 T2 - Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC'13) TI - AIS-based Anomaly Detection for Self-X Systems ER - TY - CONF AU - Grösbrink, Stefan AU - Rammig, Franz-Josef ID - 25299 T2 - 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013 TI - Safe Self-Evolving Embedded Software via System Virtualization ER - TY - GEN ED - Gausemeier, Jürgen ED - Dumitrescu, Roman ED - Rammig, Franz-Josef ED - Schäfer, Wilhelm ED - Trächtler, Ansgar ID - 25300 TI - 9. Paderborner Workshop Entwurf mechatronischer Systeme VL - 310 ER - TY - JOUR AU - Brangewitz, Sonja AU - Gamp, Jan-Philip ID - 2543 IS - 2 JF - Economics Letters SN - 0165-1765 TI - Asymmetric Nash bargaining solutions and competitive payoffs VL - 121 ER - TY - JOUR AU - Auer, Sören AU - Lehmann, Jens AU - Ngonga Ngomo, Axel-Cyrille AU - Stadler, Claus AU - Unbehauen, Jörg ID - 25447 IS - 2 JF - Datenbank-Spektrum TI - Extraktion, Mapping und Verlinkung von Daten im Web - Phasen im Lebenszyklus von Linked Data VL - 13 ER - TY - JOUR AU - Marx, Edgard AU - Soru, Tommaso AU - Shekarpour, Saeedeh AU - Auer, Sören AU - Ngonga Ngomo, Axel-Cyrille AU - K. Breitman, Karin ID - 25449 IS - 4 JF - Int. J. Semantic Comput. TI - Towards an Efficient RDF Dataset Slicing VL - 7 ER - TY - JOUR AU - Shekarpour, Saeedeh AU - Auer, Sören AU - Ngonga Ngomo, Axel-Cyrille AU - Gerber, Daniel AU - Hellmann, Sebastian AU - Stadler, Claus ID - 25450 IS - 3 JF - Web Intell. Agent Syst. TI - Generating SPARQL queries using templates VL - 11 ER - TY - CONF AU - Speck, René AU - Ngonga Ngomo, Axel-Cyrille ED - Cranefield, Stephen ED - C. Nayak, Abhaya ID - 25451 T2 - {AI} 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings TI - On Caching for Local Graph Clustering Algorithms VL - 8272 ER - TY - CONF AU - Cabrio, Elena AU - Cimiano, Philipp AU - López, Vanessa AU - Ngonga Ngomo, Axel-Cyrille AU - Unger, Christina AU - Walter, Sebastian ED - Forner, Pamela ED - Navigli, Roberto ED - Tufis, Dan ED - Ferro, Nicola ID - 25452 T2 - Working Notes for {CLEF} 2013 Conference , Valencia, Spain, September 23-26, 2013 TI - QALD-3: Multilingual Question Answering over Linked Data VL - 1179 ER - TY - CONF AU - Cimiano, Philipp AU - López, Vanessa AU - Unger, Christina AU - Cabrio, Elena AU - Ngonga Ngomo, Axel-Cyrille AU - Walter, Sebastian ED - Forner, Pamela ED - Müller, Henning ED - Paredes, Roberto ED - Rosso, Paolo ED - Stein, Benno ID - 25454 T2 - Information Access Evaluation. Multilinguality, Multimodality, and Visualization - 4th International Conference of the {CLEF} Initiative, {CLEF} 2013, Valencia, Spain, September 23-26, 2013. Proceedings TI - Multilingual Question Answering over Linked Data (QALD-3): Lab Overview VL - 8138 ER - TY - CONF AU - Partalas, Ioannis AU - Gaussier, Éric AU - Ngonga Ngomo, Axel-Cyrille ED - Ngonga Ngomo, Axel-Cyrille ED - Paliouras, George ID - 25455 T2 - Proceedings of the first Workshop on Bio-Medical Semantic Indexing and Question Answering, a Post-Conference Workshop of Conference and Labs of the Evaluation Forum 2013 {(CLEF} 2013) , Valencia, Spain, September 27th, 2013 TI - Results of the First BioASQ Workshop VL - 1094 ER - TY - CONF AU - Lyko, Klaus AU - Höffner, Konrad AU - Speck, René AU - Ngonga Ngomo, Axel-Cyrille AU - Lehmann, Jens ED - Cimiano, Philipp ED - Fernández, Miriam ED - López, Vanessa ED - Schlobach, Stefan ED - Völker, Johanna ID - 25456 T2 - The Semantic Web: {ESWC} 2013 Satellite Events - {ESWC} 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers TI - SAIM - One Step Closer to Zero-Configuration Link Discovery VL - 7955 ER - TY - CONF AU - Ngonga Ngomo, Axel-Cyrille AU - Kolb, Lars AU - Heino, Norman AU - Hartung, Michael AU - Auer, Sören AU - Rahm, Erhard ED - Cimiano, Philipp ED - Corcho, Óscar ED - Presutti, Valentina ED - Hollink, Laura ED - Rudolph, Sebastian ID - 25457 T2 - The Semantic Web: Semantics and Big Data, 10th International Conference, {ESWC} 2013, Montpellier, France, May 26-30, 2013. Proceedings TI - When to Reach for the Cloud: Using Parallel Hardware for Link Discovery VL - 7882 ER - TY - CONF AU - Ngonga Ngomo, Axel-Cyrille AU - Lyko, Klaus AU - Christen, Victor ED - Cimiano, Philipp ED - Corcho, Óscar ED - Presutti, Valentina ED - Hollink, Laura ED - Rudolph, Sebastian ID - 25458 T2 - The Semantic Web: Semantics and Big Data, 10th International Conference, {ESWC} 2013, Montpellier, France, May 26-30, 2013. Proceedings TI - COALA - Correlation-Aware Active Learning of Link Specifications VL - 7882 ER - TY - CONF AU - Saleem, Muhammad AU - S. Padmanabhuni, Shanmukha AU - Ngonga Ngomo, Axel-Cyrille AU - S. Almeida, Jonas AU - Decker, Stefan AU - F. Deus, Helena ED - Sabou, Marta ED - Blomqvist, Eva ED - Di Noia, Tommaso ED - Sack, Harald ED - Pellegrini, Tassilo ID - 25459 T2 - {I-SEMANTICS} 2013 - 9th International Conference on Semantic Systems, {ISEM} '13, Graz, Austria, September 4-6, 2013 TI - Linked cancer genome atlas database ER - TY - CONF AU - Höffner, Konrad AU - Unger, Christina AU - Bühmann, Lorenz AU - Lehmann, Jens AU - Ngonga Ngomo, Axel-Cyrille AU - Gerber, Daniel AU - Cimiano, Philipp ED - Klinov, Pavel ED - Mouromtsev, Dmitry ID - 25460 T2 - Knowledge Engineering and the Semantic Web - 4th International Conference, {KESW} 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings TI - User Interface for a Template Based Question Answering System VL - 394 ER - TY - CONF AU - Auer, Sören AU - Lehmann, Jens AU - Ngonga Ngomo, Axel-Cyrille AU - Zaveri, Amrapali ED - Rudolph, Sebastian ED - Gottlob, Georg ED - Horrocks, Ian ED - van Harmelen, Frank ID - 25461 T2 - Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings TI - Introduction to Linked Data and Its Lifecycle on the Web VL - 8067 ER - TY - CONF AU - Ngonga Ngomo, Axel-Cyrille AU - Lehmann, Jens AU - M. Hassan, Mofeed ID - 25462 T2 - 2013 {IEEE} Seventh International Conference on Semantic Computing, Irvine, CA, USA, September 16-18, 2013 TI - Towards Transfer Learning of Link Specifications ER - TY - CONF AU - Marx, Edgard AU - Shekarpour, Saeedeh AU - Auer, Sören AU - Ngonga Ngomo, Axel-Cyrille ID - 25463 T2 - 2013 {IEEE} Seventh International Conference on Semantic Computing, Irvine, CA, USA, September 16-18, 2013 TI - Large-Scale RDF Dataset Slicing ER - TY - CONF AU - Soru, Tommaso AU - Ngonga Ngomo, Axel-Cyrille ED - Shvaiko, Pavel ED - Euzenat, Jérôme ED - Srinivas, Kavitha ED - Mao, Ming ED - Jimenez-Ruiz, Ernesto ID - 25464 T2 - Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference {(ISWC} 2013), Sydney, Australia, October 21, 2013 TI - Rapid execution of weighted edit distances VL - 1111 ER - TY - CONF AU - Ngonga Ngomo, Axel-Cyrille AU - Lyko, Klaus ED - Shvaiko, Pavel ED - Euzenat, Jérôme ED - Srinivas, Kavitha ED - Mao, Ming ED - Jiménez-Ruiz, Ernesto ID - 25465 T2 - Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference {(ISWC} 2013), Sydney, Australia, October 21, 2013 TI - Unsupervised learning of link specifications: deterministic vs. non-deterministic VL - 1111 ER - TY - CONF AU - Gerber, Daniel AU - Hellmann, Sebastian AU - Bühmann, Lorenz AU - Soru, Tommaso AU - Usbeck, Ricardo AU - Ngonga Ngomo, Axel-Cyrille ED - Alani, Harith ED - Kagal, Lalana ED - Fokoue, Achille ED - Groth, Paul ED - Biemann, Chris ED - Xavier Parreira, Josiane ED - Aroyo, Lora ED - F. Noy, Natasha ED - Welty, Chris ED - Janowicz, Krzysztof ID - 25466 T2 - The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I} TI - Real-Time RDF Extraction from Unstructured Data Streams VL - 8218 ER - TY - CONF AU - Ngonga Ngomo, Axel-Cyrille ED - Alani, Harith ED - Kagal, Lalana ED - Fokoue, Achille ED - Groth, Paul ED - Biemann, Chris ED - Xavier Parreira, Josiane ED - Aroyo, Lora ED - F. Noy, Natasha ED - Welty, Chris ED - Janowicz, Krzysztof ID - 25467 T2 - The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I} TI - ORCHID - Reduction-Ratio-Optimal Computation of Geo-spatial Distances for Link Discovery VL - 8218 ER - TY - CONF AU - Saleem, Muhammad AU - Ngonga Ngomo, Axel-Cyrille AU - Xavier Parreira, Josiane AU - F. Deus, Helena AU - Hauswirth, Manfred ED - Alani, Harith ED - Kagal, Lalana ED - Fokoue, Achille ED - Groth, Paul ED - Biemann, Chris ED - Xavier Parreira, Josiane ED - Aroyo, Lora ED - F. Noy, Natasha ED - Welty, Chris ED - Janowicz, Krzysztof ID - 25468 T2 - The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I} TI - DAW: Duplicate-AWare Federated Query Processing over the Web of Data VL - 8218 ER - TY - CONF AU - Ngonga Ngomo, Axel-Cyrille AU - Bühmann, Lorenz AU - Unger, Christina AU - Lehmann, Jens AU - Gerber, Daniel ED - Carr, Leslie ED - H. F. Laender, Alberto ED - Farias Lóscio, Bernadette ED - King, Irwin ED - Fontoura, Marcus ED - Vrandecic, Denny ED - Aroyo, Lora ED - Palazzo M. de Oliveira, José ED - Lima, Fernanda ED - Wilde, Erik ID - 25469 T2 - 22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro, Brazil, May 13-17, 2013, Companion Volume TI - SPARQL2NL: verbalizing sparql queries ER - TY - CONF AU - Ngonga Ngomo, Axel-Cyrille AU - Bühmann, Lorenz AU - Unger, Christina AU - Lehmann, Jens AU - Gerber, Daniel ED - Schwabe, Daniel ED - A. F. Almeida, Virgílio ED - Glaser, Hartmut ED - Baeza-Yates, Ricardo ED - B. Moon, Sue ID - 25470 T2 - 22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro, Brazil, May 13-17, 2013 TI - Sorry, i don't speak SPARQL: translating SPARQL queries into natural language ER - TY - CONF AU - Shekarpour, Saeedeh AU - Ngonga Ngomo, Axel-Cyrille AU - Auer, Sören ED - Schwabe, Daniel ED - A. F. Almeida, Virgílio ED - Glaser, Hartmut ED - Baeza-Yates, Ricardo ED - B. Moon, Sue ID - 25471 T2 - 22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro, Brazil, May 13-17, 2013 TI - Question answering on interlinked data ER - TY - GEN ED - Ngonga Ngomo, Axel-Cyrille ED - Paliouras, George ID - 25472 TI - Proceedings of the first Workshop on Bio-Medical Semantic Indexing and Question Answering, a Post-Conference Workshop of Conference and Labs of the Evaluation Forum 2013 (CLEF 2013) , Valencia, Spain, September 27th, 2013 VL - 1094 ER - TY - CONF AU - Grösbrink, Stefan AU - Almeida, Luis AU - de Sousa, Mario AU - Petters, Stefan M. ID - 25548 T2 - 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013) TI - Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope ER - TY - CONF AU - Qanadilo, Mona AU - Samara, Sufyan AU - Zhao, Yuhong ID - 25557 T2 - 6'th Latin-American Symposium on Dependable Computing (LADC 2013) TI - Accelerating Online Model Checking ER - TY - CONF AU - Stern, Claudius AU - Rasche, Christoph AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 25573 T2 - 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung TI - Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen VL - 311 ER - TY - CONF AU - Rasche, Christoph AU - Bieshaar, Maarten AU - Jungmann, Alexander AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 25574 T2 - Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310 TI - Statistisches Planen in einem realen Roboterszenario VL - 310 ER - TY - CONF AU - Grösbrink, Stefan AU - Baldin, Daniel AU - Oberthür, Simon ID - 25575 T2 - ACM SIGBED Review, Band 10 TI - Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems ER - TY - CONF AU - Kuznik, Christoph AU - F. S. Oliveira, Marcio AU - Müller, Wolfgang ID - 25606 T2 - edaWorkshop 13 TI - SystemC Verification Components - An enhanced OVM/UVM for SystemC ER - TY - CONF AU - Mischkalla, Fabian AU - Müller, Wolfgang ID - 25612 T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) TI - Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen ER -