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.

18413 Publications


2014 | Journal Article | LibreCat-ID: 25117
@article{Koppelmann_Messidat_Becker_Kuznik_Müller_Scheytt_2014, title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, journal={Design and Verification Conference (DVCON EUROPE)}, author={Koppelmann, Bastian and Messidat, Bernd and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Scheytt, J. Christoph}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25148
@inproceedings{Sudhakar_Zhao_Rammig_2014, place={Reno, NV}, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, booktitle={Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2014}, pages={374–383} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25150
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}, booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, publisher={IEEE}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25155
@inproceedings{Becker_Kuznik_Müller_2014, title={Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}, booktitle={ACM/IEEE 5th International Conference on Cyber-Physical Systems}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2014, title={Evaluation of Color Spaces for Robust Image Segmentation}, booktitle={ Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}, publisher={ INSTICC PRESS}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25162
@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
@inbook{Rammig_Zhao_2014, place={ Heidelberg, Germany}, title={Online Model Checking}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag}, author={Rammig, Franz-Josef and Zhao, Yuhong}, year={2014}, pages={147–152} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25489
@inproceedings{Rula_Palmonari_Ngonga Ngomo_Gerber_Lehmann_Bühmann_2014, series={Lecture Notes in Computer Science}, title={Hybrid Acquisition of Temporal Scopes for RDF Data}, volume={8465}, DOI={10.1007/978-3-319-07443-6\_33}, booktitle={The Semantic Web: Trends and Challenges - 11th International Conference, {ESWC} 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings}, publisher={Springer}, author={Rula, Anisa and Palmonari, Matteo and Ngonga Ngomo, Axel-Cyrille and Gerber, Daniel and Lehmann, Jens and Bühmann, Lorenz}, editor={Presutti, Valentina and d’Amato, Claudia and Gandon, Fabien and d’Aquin, Mathieu and Staab, Steffen and Tordai, Anna}, year={2014}, pages={488–503}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25491
@inproceedings{Khalili_Auer_Ngonga Ngomo_2014, series={Lecture Notes in Computer Science}, title={conTEXT - Lightweight Text Analytics Using Linked Data}, volume={8465}, DOI={10.1007/978-3-319-07443-6\_42}, booktitle={The Semantic Web: Trends and Challenges - 11th International Conference, {ESWC} 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings}, publisher={Springer}, author={Khalili, Ali and Auer, Sören and Ngonga Ngomo, Axel-Cyrille}, editor={Presutti, Valentina and d’Amato, Claudia and Gandon, Fabien and d’Aquin, Mathieu and Staab, Steffen and Tordai, Anna}, year={2014}, pages={628–643}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25477
@inproceedings{Unger_Forascu_López_Ngonga Ngomo_Cabrio_Cimiano_Walter_2014, series={{CEUR} Workshop Proceedings}, title={Question Answering over Linked Data (QALD-4)}, volume={1180}, booktitle={Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014}, publisher={CEUR-WS.org}, author={Unger, Christina and Forascu, Corina and López, Vanessa and Ngonga Ngomo, Axel-Cyrille and Cabrio, Elena and Cimiano, Philipp and Walter, Sebastian}, editor={Cappellato, Linda and Ferro, Nicola and Halvey, Martin and Kraaij, Wessel}, year={2014}, pages={1172–1180}, collection={{CEUR} Workshop Proceedings} }
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: BibTeX

Export / Embed