Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1304 Publications


2014 | Conference Paper | LibreCat-ID: 25112
Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom). IEEE; 2014:755-758.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25114
Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal on Advances in Intelligent Systems 7(3&4). Published online 2014:572-594.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25115
Jungmann A, Mohr F, Kleinjohann B. Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA). IEEE Computer Society; 2014:105-112.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25116
Becker M, Kuznik C. Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014). Published online 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25117
Koppelmann B, Messidat B, Becker M, Kuznik C, Müller W, Scheytt JC. Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification Conference (DVCON EUROPE). Published online 2014.
LibreCat
 

2014 | Dissertation | LibreCat-ID: 25118
Hagenkötter S. Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen. Vol 336. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 336; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25119
Stern C, Kleinjohann L. Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces. In: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014. Institute of Industrial Applications Engineers; 2014:209-215.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla F, Müller W. Architectural Low-Power Design Using Transaction-Based System Simulation. In: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). IEEE; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25122
Grösbrink S, Almeida L. A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla F, Müller W. Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. In: PATMOS 2014. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25145
Becker M, Kuznik C, Müller W. Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. In: 17th Euromicro Conference on Digital Systems Design (DSD). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25146
Joy M tech. MM, Müller W, Rammig F-J. Source code annotated memory leak detection for soft real time embedded systems with resource constraints. In: 12th IEEE International Conference on Embedded Computing. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25147
Jatzkowski J, Kleinjohann B. Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25148
Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2014:374-383.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25149
Rammig F-J, Stahl K. Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems. In: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On. ; 2014:334-341.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25150
Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: Proceedings of the 10th World Congress on Services (SERVICES). IEEE; 2014:346-353.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25151
Kuznik C, Defo BG, Müller W. An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn). Published online 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25152
Grösbrink S. Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. In: 8th IEEE International Conference on Software Security and Reliability. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25153
Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25154
Brink C, Jatzkowski J. EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1). Published online 2014:12-13.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25155
Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. In: ACM/IEEE 5th International Conference on Cyber-Physical Systems. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159
Grösbrink S. Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. In: GI Design For Future Workshop. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
Grösbrink S, Almeida L, de Sousa M, Petters SM. Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann B, Becker M, Müller W. Portierung der TriCore-Architektur auf QEMU. In: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) . ; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25162
Kuznik C, Müller W. Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. Design, Automation and Test in Europe DATE, University Booth, Dresden . Published online 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25163
Kuznik C, Defo BG, Müller W. Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. In: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) . ; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25164
Becker M, Müller W, Stroop J, Kiffmeier U. HeroeS3 -- A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden. Published online 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
Grösbrink S, Korrapati S, Schmitz A, Schreckenberg A. Hypervisor-based Consolidation for Automated Teller Machines. In: Embedded World Conference. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25166
Kuznik C, Müller W. Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. In: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
Jungmann A, Jatzkowski J, Kleinjohann B. Evaluation of Color Spaces for Robust Image Segmentation. In: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP). INSTICC PRESS; 2014.
LibreCat
 

2014 | Book | LibreCat-ID: 25168
Gausemeier J, Rammig F-J, Schäfer W, Sextro W. Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25169
Oetjens J-H, Becker M, Kuznik C, Müller W. Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. In: Design Automation Conference (DAC). ; 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
Grösbrink S, Korf S, Porrmann M, Priesterjahn C, Stahl K. Self-optimization by Reconfiguration. In: Design Methodology for Intelligent Technical Systems. Springer-Verlag; 2014:19-22.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
Grösbrink S. Virtualization. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:152-157.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
Rammig F-J, Grösbrink S, Stahl K, Zhao Y. Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. In: Brazilian Symposium on Computing Systems Engineering (SBESC). SBC; 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25173
Dellnitz M, Flaßkamp K, Hartmann P, et al. Self-optimizing Mechatronic Systems. In: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1. Springer-Verlag; 2014:3-12.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
Grösbrink S, Oberthür S, Stahl K. System Software. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development. Springer-Verlag; 2014:298-317.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25176
Gausemeier J, Korf S, Porrmann M, Stahl K, Sudmann O, Vaßholz M. Development of Self-Optimizing Systems. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3. Springer-Verlag ; 2014:65-117.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
Flaßkamp K, Grösbrink S, Hartmann P, et al. Development of the RailCab Vehicle. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:184-190.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
Rammig F-J, Zhao Y. Online Model Checking. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014:147-152.
LibreCat
 

2014 | Book | LibreCat-ID: 25180
Gausemeier J, Rammig F-J, Schäfer W. Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2522
Brangewitz S, Gamp J-P. Competitive outcomes and the inner core of NTU market games. Economic Theory. 2014;57(3):529-554. doi:10.1007/s00199-014-0846-7
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 25473
Saleem M, S. Padmanabhuni S, Ngonga Ngomo A-C, et al. TopFed: TCGA Tailored Federated Query Processing and Linking to LOD. J Biomed Semant. 2014;5:47. doi:10.1186/2041-1480-5-47
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 25474
Saleem M, R. Kamdar M, Iqbal A, S. Padmanabhuni S, F. Deus H, Ngonga Ngomo A-C. Big linked cancer data: Integrating linked TCGA and PubMed. J Web Semant. 2014;27-28:34-41. doi:10.1016/j.websem.2014.07.004
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25475
Peñas A, Unger C, Ngonga Ngomo A-C. Overview of CLEF Question Answering Track 2014. In: Kanoulas E, Lupu M, D. Clough P, et al., eds. Information Access Evaluation. Multilinguality, Multimodality, and Interaction - 5th International Conference of the {CLEF} Initiative, {CLEF} 2014, Sheffield, UK, September 15-18, 2014. Proceedings. Vol 8685. Lecture Notes in Computer Science. Springer; 2014:300-306. doi:10.1007/978-3-319-11382-1\_23
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25477
Unger C, Forascu C, López V, et al. Question Answering over Linked Data (QALD-4). In: Cappellato L, Ferro N, Halvey M, Kraaij W, eds. Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014. Vol 1180. {CEUR} Workshop Proceedings. CEUR-WS.org; 2014:1172-1180.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25478
Balikas G, Partalas I, Ngonga Ngomo A-C, Krithara A, Paliouras G. Results of the BioASQ Track of the Question Answering Lab at CLEF 2014. In: Cappellato L, Ferro N, Halvey M, Kraaij W, eds. Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014. Vol 1180. {CEUR} Workshop Proceedings. CEUR-WS.org; 2014:1181-1193.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25479
Usbeck R, Ngonga Ngomo A-C, Röder M, et al. AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data. In: Schaub T, Friedrich G, O’Sullivan B, eds. {ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014). Vol 263. Frontiers in Artificial Intelligence and Applications. {IOS} Press; 2014:1113-1114. doi:10.3233/978-1-61499-419-0-1113
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25480
Khalili A, Auer S, Ngonga Ngomo A-C. conTEXT - A Mashup Platform for Lightweight Text Analytics. In: Stefanidakis M, Di Fabbrizio G, Papadakis I, eds. Proceedings of the {AI} Mashup Challenge 2014 Co-Located with 11th Extended Semantic Web Conference {(ESWC} 2014), Crete, Greece, May 27, 2014. Vol 1200. {CEUR} Workshop Proceedings. CEUR-WS.org; 2014.
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed