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.
1615 Publications
2013 | Conference (Editor) | LibreCat-ID: 25472
@book{Ngonga Ngomo_Paliouras_2013, series={{CEUR} Workshop Proceedings}, title={Proceedings of the first Workshop on Bio-Medical Semantic Indexing and Question Answering, a Post-Conference Workshop of Conference and Labs of the Evaluation Forum 2013 (CLEF 2013) , Valencia, Spain, September 27th, 2013}, volume={1094}, publisher={CEUR-WS.org}, year={2013}, collection={{CEUR} Workshop Proceedings} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2013, title={Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope}, booktitle={5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)}, author={Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
@inproceedings{Qanadilo_Samara_Zhao_2013, title={Accelerating Online Model Checking}, booktitle={6’th Latin-American Symposium on Dependable Computing (LADC 2013)}, author={Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2013, title={Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen}, volume={311}, booktitle={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
@inproceedings{Rasche_Bieshaar_Jungmann_Kleinjohann_Kleinjohann_2013, title={Statistisches Planen in einem realen Roboterszenario}, volume={310}, booktitle={Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rasche, Christoph and Bieshaar, Maarten and Jungmann, Alexander and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2013}, pages={133–146} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
@inproceedings{Grösbrink_Baldin_Oberthür_2013, title={Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems}, booktitle={ACM SIGBED Review, Band 10}, publisher={ACM}, author={Grösbrink, Stefan and Baldin, Daniel and Oberthür, Simon}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SystemC Verification Components - An enhanced OVM/UVM for SystemC}, booktitle={edaWorkshop 13}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
@inproceedings{Mischkalla_Müller_2013, title={Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SC OVM: An Advanced SystemC Library for OVM-based Verification}, booktitle={Open SANITAS SystemC Verification Workshop}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title={ Informationstechnik spart Ressourcen}, journal={ForschungsForum Paderborn }, author={Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang}, year={2013} }
LibreCat