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.

1369 Publications


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2014 | Journal Article | LibreCat-ID: 25154 LibreCat
 

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

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

2014 | Conference Paper | LibreCat-ID: 25159 LibreCat
 

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

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

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

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

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

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

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

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

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

2014 | Book Chapter | LibreCat-ID: 25171
Virtualization
S. Grösbrink, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 152–157.
LibreCat
 

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

2014 | Book Chapter | LibreCat-ID: 25173
Self-optimizing Mechatronic Systems
M. Dellnitz, K. Flaßkamp, P. Hartmann, M. Krüger, T. Meyer, C. Priesterjahn, S. Ober-Blöbaum, C. Rasche, W. Sextro, K. Stahl, A. Trächtler, in: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, Heidelberg, Germany, 2014, pp. 3–12.
LibreCat
 

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

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

2014 | Book Chapter | LibreCat-ID: 25177
Development of the RailCab Vehicle
K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L. Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.
LibreCat
 

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

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

2014 | Journal Article | LibreCat-ID: 2522
Competitive outcomes and the inner core of NTU market games
S. Brangewitz, J.-P. Gamp, Economic Theory 57 (2014) 529–554.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 25473
TopFed: TCGA Tailored Federated Query Processing and Linking to LOD
M. Saleem, S. S. Padmanabhuni, A.-C. Ngonga Ngomo, A. Iqbal, J. S. Almeida, S. Decker, H. F. Deus, J. Biomed. Semant. 5 (2014) 47.
LibreCat | DOI
 

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

2014 | Conference Paper | LibreCat-ID: 25475
Overview of CLEF Question Answering Track 2014
A. Peñas, C. Unger, A.-C. Ngonga Ngomo, in: E. Kanoulas, M. Lupu, P. D. Clough, M. Sanderson, M. M. Hall, A. Hanbury, E. G. Toms (Eds.), Information Access Evaluation. Multilinguality, Multimodality, and Interaction - 5th International Conference of the {CLEF} Initiative, {CLEF} 2014, Sheffield, UK, September 15-18, 2014. Proceedings, Springer, 2014, pp. 300–306.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25477
Question Answering over Linked Data (QALD-4)
C. Unger, C. Forascu, V. López, A.-C. Ngonga Ngomo, E. Cabrio, P. Cimiano, S. Walter, in: L. Cappellato, N. Ferro, M. Halvey, W. Kraaij (Eds.), Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014, CEUR-WS.org, 2014, pp. 1172–1180.
LibreCat
 

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

2014 | Conference Paper | LibreCat-ID: 25479
AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data
R. Usbeck, A.-C. Ngonga Ngomo, M. Röder, D. Gerber, S. Athaide Coelho, S. Auer, A. Both, in: T. Schaub, G. Friedrich, B. O’Sullivan (Eds.), {ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014), {IOS} Press, 2014, pp. 1113–1114.
LibreCat | DOI
 

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

2014 | Conference Paper | LibreCat-ID: 25481
HiBISCuS: Hypergraph-Based Source Selection for SPARQL Endpoint Federation
M. Saleem, A.-C. Ngonga Ngomo, in: V. Presutti, C. d’Amato, F. Gandon, M. d’Aquin, S. Staab, A. Tordai (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, {ESWC} 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings, Springer, 2014, pp. 176–191.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25482
Unsupervised Link Discovery through Knowledge Base Repair
A.-C. Ngonga Ngomo, M. Ahmed Sherif, K. Lyko, in: V. Presutti, C. d’Amato, F. Gandon, M. d’Aquin, S. Staab, A. Tordai (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, {ESWC} 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings, Springer, 2014, pp. 380–394.
LibreCat | DOI
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Export / Embed