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.

1327 Publications


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2014 | Journal Article | LibreCat-ID: 2522
Brangewitz, S., & Gamp, J.-P. (2014). Competitive outcomes and the inner core of NTU market games. Economic Theory, 57(3), 529–554. https://doi.org/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., Iqbal, A., S. Almeida, J., Decker, S., & F. Deus, H. (2014). TopFed: TCGA Tailored Federated Query Processing and Linking to LOD. J. Biomed. Semant., 5, 47. https://doi.org/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. (2014). Big linked cancer data: Integrating linked TCGA and PubMed. J. Web Semant., 27–28, 34–41. https://doi.org/10.1016/j.websem.2014.07.004
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25475
Peñas, A., Unger, C., & Ngonga Ngomo, A.-C. (2014). Overview of CLEF Question Answering Track 2014. 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 (Vol. 8685, pp. 300–306). Springer. https://doi.org/10.1007/978-3-319-11382-1\_23
LibreCat | DOI
 

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

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

2014 | Conference Paper | LibreCat-ID: 25479
Usbeck, R., Ngonga Ngomo, A.-C., Röder, M., Gerber, D., Athaide Coelho, S., Auer, S., & Both, A. (2014). AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data. 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) (Vol. 263, pp. 1113–1114). {IOS} Press. https://doi.org/10.3233/978-1-61499-419-0-1113
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25480
Khalili, A., Auer, S., & Ngonga Ngomo, A.-C. (2014). conTEXT - A Mashup Platform for Lightweight Text Analytics. 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 (Vol. 1200). CEUR-WS.org.
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed