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.
5711 Publications
2013 | Conference Paper | LibreCat-ID: 25271
@inproceedings{He_Müller_2013, title={AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}, booktitle={Proceedings of International Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
@inproceedings{Wehrmeister_Pereira_Rammig_2013, title={Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems}, booktitle={ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}, author={Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}, year={2013}, pages={2373–2386} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
@inproceedings{Khaluf_Rammig_2013, title={Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms}, booktitle={ECAL 2013, 12th European Conference on Artificial Life}, author={Khaluf, Yara and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
@inproceedings{Mischkalla_Müller_2013, title={ Efficient Power Intent Validation Using Loosely-Timed Simulation Models}, booktitle={ 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation System for Automated Service Composition}, booktitle={Proceedings of the 10th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
@inproceedings{Gilles_Grösbrink_Baldin_Kerstan_2013, title={Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems}, booktitle={International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Gilles, Katharina and Grösbrink, Stefan and Baldin, Daniel and Kerstan, Timo}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
@inproceedings{Grösbrink_2013, title={On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem}, booktitle={ International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Grösbrink, Stefan}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
@inproceedings{Rammig_Khaluf_Montealegre_Stahl_Zhao_2013, title={Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software}, booktitle={Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
@inproceedings{Becker_Kiffmeier_Müller_2013, title={HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures}, booktitle={16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing}, author={Becker, Markus and Kiffmeier, Ulrich and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
@inproceedings{Rammig_Stahl_Vaz_2013, title={A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems}, booktitle={Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Stahl, Katharina and Vaz, Gavin Francis}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
@inproceedings{Rasche_Ziegert_2013, title={Multilevel Planning for Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications}, publisher={ThinkMind}, author={Rasche, Christoph and Ziegert, Steffen}, year={2013}, pages={6} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
@inproceedings{Stahl_2013, title={AIS-based Anomaly Detection for Self-X Systems}, booktitle={Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)}, publisher={Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg}, author={Stahl, Katharina}, year={2013}, pages={24–26} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
@inproceedings{Grösbrink_Rammig_2013, place={Brasilia, Brazil}, title={Safe Self-Evolving Embedded Software via System Virtualization}, booktitle={3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013}, publisher={SBC}, author={Grösbrink, Stefan and Rammig, Franz-Josef}, year={2013} }
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