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, Alexander, and Bernd Kleinjohann. “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), 755–58. IEEE, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25114
Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal on Advances in Intelligent Systems 7(3&4), 2014, 572–94.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25115
Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–12. IEEE Computer Society, 2014.
LibreCat
 

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

2014 | Journal Article | LibreCat-ID: 25117
Koppelmann, Bastian, Bernd Messidat, Markus Becker, Christoph Kuznik, Wolfgang Müller, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” Design and Verification Conference (DVCON EUROPE), 2014.
LibreCat
 

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

2014 | Conference Paper | LibreCat-ID: 25119
Stern, Claudius, and Lisa Kleinjohann. “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, 209–15. Institute of Industrial Applications Engineers, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, Fabian, and Wolfgang Müller. “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, Stefan, and Luis Almeida. “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, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” In PATMOS 2014. Palma de Mallorca, Spain, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25145
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “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. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “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, Jan, and Bernd Kleinjohann. “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, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “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), 374–83. Reno, NV: IEEE Xplore, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25149
Rammig, Franz-Josef, and Katharina Stahl. “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, 334–41, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25150
Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” In Proceedings of the 10th World Congress on Services (SERVICES), 346–53. IEEE, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25151
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” Electronic System Level Synthesis Conference (ESLSyn), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25152
Grösbrink, Stefan. “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, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “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), 49–57, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25154
Brink, Christopher, and Jan Jatzkowski. “EU-Forschungsprojekt AMALTHEA: Entwicklung Einer Open-Source Entwicklungsplattform, Erweiterbar Durch Die Community.” SafeTRANS News (1), 2014, 12–13.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25155
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “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, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “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, Stefan. “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, Stefan, Luis Almeida, Mario de Sousa, and Stefan M. Petters. “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, Bastian, Markus Becker, and Wolfgang Müller. “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, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” Design, Automation and Test in Europe DATE, University Booth, Dresden , 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “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, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich Kiffmeier. “HeroeS3 -- A Framework for Heterogeneous Software-Intensive System Design with SystemC.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
Grösbrink, Stefan, Sandeep Korrapati, André Schmitz, and Andreas Schreckenberg. “Hypervisor-Based Consolidation for Automated Teller Machines.” In Embedded World Conference, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, Christoph, and Wolfgang Müller. “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, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “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ürgen, Franz-Josef Rammig, Wilhelm Schäfer, and Walter Sextro. Dependability of Self-Optimizing Mechatronic Systems. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25169
Oetjens, Jan-Hendrik, Markus Becker, Christoph Kuznik, and Wolfgang Müller. “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, Stefan, Sebastian Korf, Mario Porrmann, Claudia Priesterjahn, and Katharina Stahl. “Self-Optimization by Reconfiguration.” In Design Methodology for Intelligent Technical Systems, 19–22. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
Grösbrink, Stefan. “Virtualization.” In Dependability of Self-Optimizing Mechatronic Systems, 152–57. Heidelberg, Germany: Springer-Verlag , 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
Rammig, Franz-Josef, Stefan Grösbrink, Katharina Stahl, and Yuhong Zhao. “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, Michael, Kathrin Flaßkamp, Philip Hartmann, Martin Krüger, Tobias Meyer, Claudia Priesterjahn, Sina Ober-Blöbaum, et al. “Self-Optimizing Mechatronic Systems.” In Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, 3–12. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

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

2014 | Book Chapter | LibreCat-ID: 25176
Gausemeier, Jürgen, Sebastian Korf, Mario Porrmann, Katharina Stahl, Oliver Sudmann, and Mareen Vaßholz. “Development of Self-Optimizing Systems.” In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, 65–117. Heidelberg, Germany: Springer-Verlag , 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
Flaßkamp, Kathrin, Stefan Grösbrink, Philip Hartmann, Christian Heinzemann, Bernd Kleinjohann, Lisa Kleinjohann, Martin Krüger, et al. “Development of the RailCab Vehicle.” In Dependability of Self-Optimizing Mechatronic Systems, 184–90. Heidelberg, Germany: Springer-Verlag , 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” In Dependability of Self-Optimizing Mechatronic Systems, 147–52. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Book | LibreCat-ID: 25180
Gausemeier, Jürgen, Franz-Josef Rammig, and Wilhelm Schäfer. Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Heidelberg, Germany: Springer-Verlag, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2522
Brangewitz, Sonja, and Jan-Philip Gamp. “Competitive Outcomes and the Inner Core of NTU Market Games.” Economic Theory 57, no. 3 (2014): 529–54. https://doi.org/10.1007/s00199-014-0846-7.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 25473
Saleem, Muhammad, Shanmukha S. Padmanabhuni, Axel-Cyrille Ngonga Ngomo, Aftab Iqbal, Jonas S. Almeida, Stefan Decker, and Helena F. Deus. “TopFed: TCGA Tailored Federated Query Processing and Linking to LOD.” J. Biomed. Semant. 5 (2014): 47. https://doi.org/10.1186/2041-1480-5-47.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 25474
Saleem, Muhammad, Maulik R. Kamdar, Aftab Iqbal, Shanmukha S. Padmanabhuni, Helena F. Deus, and Axel-Cyrille Ngonga Ngomo. “Big Linked Cancer Data: Integrating Linked TCGA and PubMed.” J. Web Semant. 27–28 (2014): 34–41. https://doi.org/10.1016/j.websem.2014.07.004.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25475
Peñas, Anselmo, Christina Unger, and Axel-Cyrille Ngonga Ngomo. “Overview of CLEF Question Answering Track 2014.” In Information Access Evaluation. Multilinguality, Multimodality, and Interaction - 5th International Conference of the {CLEF} Initiative, {CLEF} 2014, Sheffield, UK, September 15-18, 2014. Proceedings, edited by Evangelos Kanoulas, Mihai Lupu, Paul D. Clough, Mark Sanderson, Mark M. Hall, Allan Hanbury, and Elaine G. Toms, 8685:300–306. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-11382-1\_23.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25477
Unger, Christina, Corina Forascu, Vanessa López, Axel-Cyrille Ngonga Ngomo, Elena Cabrio, Philipp Cimiano, and Sebastian Walter. “Question Answering over Linked Data (QALD-4).” In Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014, edited by Linda Cappellato, Nicola Ferro, Martin Halvey, and Wessel Kraaij, 1180:1172–80. {CEUR} Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25478
Balikas, Georgios, Ioannis Partalas, Axel-Cyrille Ngonga Ngomo, Anastasia Krithara, and Georgios Paliouras. “Results of the BioASQ Track of the Question Answering Lab at CLEF 2014.” In Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014, edited by Linda Cappellato, Nicola Ferro, Martin Halvey, and Wessel Kraaij, 1180:1181–93. {CEUR} Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25479
Usbeck, Ricardo, Axel-Cyrille Ngonga Ngomo, Michael Röder, Daniel Gerber, Sandro Athaide Coelho, Sören Auer, and Andreas Both. “AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data.” In {ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014), edited by Torsten Schaub, Gerhard Friedrich, and Barry O’Sullivan, 263:1113–14. Frontiers in Artificial Intelligence and Applications. {IOS} Press, 2014. https://doi.org/10.3233/978-1-61499-419-0-1113.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25480
Khalili, Ali, Sören Auer, and Axel-Cyrille Ngonga Ngomo. “ConTEXT - A Mashup Platform for Lightweight Text Analytics.” In Proceedings of the {AI} Mashup Challenge 2014 Co-Located with 11th Extended Semantic Web Conference {(ESWC} 2014), Crete, Greece, May 27, 2014, edited by Michalis Stefanidakis, Giuseppe Di Fabbrizio, and Ioannis Papadakis, Vol. 1200. {CEUR} Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed