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.
9720 Publications
2013 | Conference Paper | LibreCat-ID: 25271
He D, Müller W. AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. In: Proceedings of International Conference on Applied Computing (AC). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
Wehrmeister MA, Pereira CE, Rammig F-J. Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems. In: IEEE Trans. on Industrial Informatics Vol. 9 (No. 4). ; 2013:2373-2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Khaluf Y, Rammig F-J. Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms. In: ECAL 2013, 12th European Conference on Artificial Life. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: 8. Dortmunder Autotag, Sep. 2013. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla F, Müller W. Efficient Power Intent Validation Using Loosely-Timed Simulation Models. In: 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
Jungmann A, Kleinjohann B. Learning Recommendation System for Automated Service Composition. In: Proceedings of the 10th IEEE International Conference on Services Computing (SCC). IEEE Computer Society; 2013:97-104.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
Gilles K, Grösbrink S, Baldin D, Kerstan T. Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. In: International Embedded Systems Symposium, 17. - 19. Jun. 2013. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
Grösbrink S. On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem. In: International Embedded Systems Symposium, 17. - 19. Jun. 2013. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
Rammig F-J, Khaluf L, Montealegre N, Stahl K, Zhao Y. Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. In: Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013. IEEE; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
Becker M, Kiffmeier U, Müller W. HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. In: 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
Rammig F-J, Stahl K, Vaz GF. A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems. In: Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013. IEEE; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
Rasche C, Ziegert S. Multilevel Planning for Self-Optimizing Mechatronic Systems. In: Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications. ThinkMind; 2013:6.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
Stahl K. AIS-based Anomaly Detection for Self-X Systems. In: Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13). Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg; 2013:24-26.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
Grösbrink S, Rammig F-J. Safe Self-Evolving Embedded Software via System Virtualization. In: 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013. SBC; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
Grösbrink S, Almeida L, de Sousa M, Petters SM. Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. In: 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: 6’th Latin-American Symposium on Dependable Computing (LADC 2013). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. In: 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
Rasche C, Bieshaar M, Jungmann A, Kleinjohann L, Kleinjohann B. Statistisches Planen in einem realen Roboterszenario. In: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310. Vol 310. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:133-146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
Grösbrink S, Baldin D, Oberthür S. Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. In: ACM SIGBED Review, Band 10. ACM; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik C, F. S. Oliveira M, Müller W. SystemC Verification Components - An enhanced OVM/UVM for SystemC. In: EdaWorkshop 13. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla F, Müller W. Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik C, F. S. Oliveira M, Müller W. SC OVM: An Advanced SystemC Library for OVM-based Verification. In: Open SANITAS SystemC Verification Workshop. ; 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels G, Gerth C, Kleinjohann L, Kleinjohann B, Müller W. Informationstechnik spart Ressourcen. ForschungsForum Paderborn . 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink S. Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development 7(1). Published online 2013:69-79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann A, Kleinjohann B, Kleinjohann L. Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4). Published online 2013:284-297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik C, Oliveira MF, Defo B, Müller W. Systematic Application of UCIS to Improve the Automation on Verification Closure. In: Proceedings of DVCON. ; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In: Sen Gupta G, Bailey D, Demidenko S, Carnegie D, eds. Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480. Vol 480. Springer ; 2013:103-113.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz K, Jatzkowski J, Rettberg A, Müller W. Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. In: International Embedded Systems Symposium (IESS) 2013. Springer; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
Mertsching B, Divband Soorati M, Kotthauser T. Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds. IEEE International Conference on Robotics and Biomimetics (ROBIO). 2013:661-667.
LibreCat
2013 | Journal Article | LibreCat-ID: 20148
Hamann H, Karsai I, Schmickl T. Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning. Bulletin of Mathematical Biology. 2013;75(7):1181-1206. doi:10.1007/s11538-013-9851-4
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 20150
Hamann H, Schmickl T, Stradner J, Crailsheim K, Thenius R, Zahadat P. Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems. Chaos, Solitons & Fractals. 2013;50:100-114. doi:10.1016/j.chaos.2013.01.011
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20151
Hamann H, Schmickl T, Stradner J, Schwarzer C, Michiels NK, Esparcia-Alcazar AI. Virtual Spatiality in Agent Controllers: Encoding Compartmentalization. In: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013). Vol 7835. ; 2013:579-588. doi:10.1007/978-3-642-37192-9_58
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20160
Hamann H. A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems. In: 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013). IEEE Press; 2013:227-236. doi:10.1109/SASO.2013.10
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
Hamann H, Lio P, Miglino O, Nicosia G, Nolfi S, Pavone M. Speciation Dynamics: Generating Selective Pressure Towards Diversity. In: 12th European Conference on Artificial Life (ECAL 2013). MIT Press; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 20162
Hamann H. Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance. Swarm Intelligence. 2013;7(3):145-172. doi:10.1007/s11721-013-0080-0
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 2868
Laudemann S. Themenmodellierung Zur Identifikation Und Gruppierung von Spam-Webseiten.; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
Leder L. Nichtapproximierbarkeitsresultate Zu Radius- Und Durchmesserclustering Unter Verwendung von L_p-Metriken.; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He D, Müller W. A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7). Published online 2013:845-857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner G, Götz M, Rettberg A, Zanella MC, Rammig F-J, eds. Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf L, Rammig F-J. Organic Programming of Real-Time Operating Systems. In: The Ninth International Conference on Autonomic and Autonomous Systems. ; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker H, Dellnitz M, Flaßkamp K, et al. Methods for the Design and Development. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future. Springer-Verlag; 2013:187-356.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
Wachsmuth H, Stein B, Engels G. Learning Efficient Information Extraction on Heterogeneous Texts. In: Gelbukh A, ed. Proceedings of the Sixth International Joint Conference on Natural Language Processing. Lecture Notes in Computer Science. ; 2013:534-542.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
Wachsmuth H, Stein B, Engels G. Information Extraction as a Filtering Task. In: Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management. ; 2013:2049-2058.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
Wachsmuth H, Rose M, Engels G. Automatic Pipeline Construction for Real-Time Annotation. In: Gelbukh A, ed. 14th International Conference on Intelligent Text Processing and Computational Linguistics. Lecture Notes in Computer Science. ; 2013:38-49.
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
Kuntze D. Practical Algorithms for Clustering and Modeling Large Data Sets - Analysis and Improvements. Universität Paderborn; 2013.
LibreCat
| Download (ext.)
2013 | Report | LibreCat-ID: 2917
Juhnke J, Lefmann H, Strehl V. An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
Blömer J, Günther P, Liske G. Improved Side Channel Attacks on Pairing Based Cryptography. In: Constructive Side-Channel Analysis and Secure Design. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:154-168. doi:10.1007/978-3-642-40026-1_10
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic Ring Model. J Cryptology. 2013;(2):225--245. doi:10.1007/s00145-012-9120-y
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl F, Hofheinz D, Jager T, Koch J, Hong Seo J, Striecks C. Practical Signatures from Standard Assumptions. In: Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings. ; 2013:461--485. doi:10.1007/978-3-642-38348-9_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
Jager T, Paterson KG, Somorovsky J. One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography. In: 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013. ; 2013.
LibreCat