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.
9764 Publications
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
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
2013 | Journal Article | LibreCat-ID: 25616
@article{Grösbrink_2013, title={Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues}, journal={Production Engineering Research & Development 7(1)}, author={Grösbrink, Stefan}, year={2013}, pages={69–79} }
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
@article{Jungmann_Kleinjohann_Kleinjohann_2013, title={Learning Service Recommendations}, journal={International Journal of Business Process Integration and Management 6(4)}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa}, year={2013}, pages={284–297} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
@inproceedings{Kuznik_Oliveira_Defo_Müller_2013, title={Systematic Application of UCIS to Improve the Automation on Verification Closure}, booktitle={Proceedings of DVCON}, author={Kuznik, Christoph and Oliveira, Marcio F. and Defo, Bertrand and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
@inbook{Rasche_Stern_Kleinjohann_Kleinjohann_2013, place={Berlin Heidelberg}, title={A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights}, volume={480}, booktitle={Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480}, publisher={Springer }, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, editor={Sen Gupta, Gourab and Bailey, Donald and Demidenko, Serge and Carnegie, Dale}, year={2013}, pages={103–113} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
@inproceedings{Klobedanz_Jatzkowski_Rettberg_Müller_2013, title={Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks}, booktitle={International Embedded Systems Symposium (IESS) 2013}, publisher={Springer}, author={Klobedanz, Kay and Jatzkowski, Jan and Rettberg, Achim and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
@article{Mertsching_Divband Soorati_Kotthauser_2013, title={Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds}, journal={IEEE International Conference on Robotics and Biomimetics (ROBIO)}, author={Mertsching, Bärbel and Divband Soorati, Mohammad and Kotthauser, Tobias}, year={2013}, pages={661–667} }
LibreCat
2013 | Journal Article | LibreCat-ID: 20148
@article{Hamann_Karsai_Schmickl_2013, title={Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning}, volume={75}, DOI={10.1007/s11538-013-9851-4 }, number={7}, journal={Bulletin of Mathematical Biology}, author={Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas}, year={2013}, pages={1181–1206} }
LibreCat
| DOI