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.
5714 Publications
2014 | Conference Paper | LibreCat-ID: 25119
Stern C, Kleinjohann L. Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces. In: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014. Institute of Industrial Applications Engineers; 2014:209-215.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25122
Grösbrink S, Almeida L. A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
Becker M, Kuznik C, Müller W. Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. In: 17th Euromicro Conference on Digital Systems Design (DSD). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25147
Jatzkowski J, Kleinjohann B. Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25148
Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2014:374-383.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25149
Rammig F-J, Stahl K. Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems. In: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On. ; 2014:334-341.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25150
Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: Proceedings of the 10th World Congress on Services (SERVICES). IEEE; 2014:346-353.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25152
Grösbrink S. Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. In: 8th IEEE International Conference on Software Security and Reliability. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25153
Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat
2014 | Journal Article | LibreCat-ID: 25154
Brink C, Jatzkowski J. EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1). Published online 2014:12-13.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. In: ACM/IEEE 5th International Conference on Cyber-Physical Systems. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25156
Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25159
Grösbrink S. Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. In: GI Design For Future Workshop. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25160
Grösbrink S, Almeida L, de Sousa M, Petters SM. Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann B, Becker M, Müller W. Portierung der TriCore-Architektur auf QEMU. In: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) . ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25165
Grösbrink S, Korrapati S, Schmitz A, Schreckenberg A. Hypervisor-based Consolidation for Automated Teller Machines. In: Embedded World Conference. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25167
Jungmann A, Jatzkowski J, Kleinjohann B. Evaluation of Color Spaces for Robust Image Segmentation. In: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP). INSTICC PRESS; 2014.
LibreCat
2014 | Book | LibreCat-ID: 25168
Gausemeier J, Rammig F-J, Schäfer W, Sextro W. Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25170
Grösbrink S, Korf S, Porrmann M, Priesterjahn C, Stahl K. Self-optimization by Reconfiguration. In: Design Methodology for Intelligent Technical Systems. Springer-Verlag; 2014:19-22.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25171
Grösbrink S. Virtualization. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:152-157.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25172
Rammig F-J, Grösbrink S, Stahl K, Zhao Y. Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. In: Brazilian Symposium on Computing Systems Engineering (SBESC). SBC; 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25173
Dellnitz M, Flaßkamp K, Hartmann P, et al. Self-optimizing Mechatronic Systems. In: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1. Springer-Verlag; 2014:3-12.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25175
Grösbrink S, Oberthür S, Stahl K. System Software. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development. Springer-Verlag; 2014:298-317.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25176
Gausemeier J, Korf S, Porrmann M, Stahl K, Sudmann O, Vaßholz M. Development of Self-Optimizing Systems. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3. Springer-Verlag ; 2014:65-117.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25177
Flaßkamp K, Grösbrink S, Hartmann P, et al. Development of the RailCab Vehicle. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:184-190.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25179
Rammig F-J, Zhao Y. Online Model Checking. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014:147-152.
LibreCat
2014 | Book | LibreCat-ID: 25180
Gausemeier J, Rammig F-J, Schäfer W. Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20007
Hamann H, Karsai I, Schmickl T, Hilbun A. The common stomach: Organizing task allocation in wasp societies. In: Symposium on Biomathematics and Ecology: Education and Research. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20008
Hamann H, Valentini G. Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins. In: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Cham; 2014. doi:10.1007/978-3-319-09952-1_15
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 20120
Hamann H, Schmickl T, Crailsheim K. Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem. Artificial Life. 2014;20(1):77-93. doi:10.1162/ARTL_a_00097
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20121
Dorigo M, Hamann H, Valentini G, et al. Self-Organized Collective Decision Making: The Weighted Voter Model. In: Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20126
Hamann H. Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal. In: Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014). ; 2014:31-32. doi:10.1145/2598394.2598507
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20127
Birattari M, Dorigo M, Hamann H, et al. Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation. In: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Vol 8667. ; 2014:262-269. doi:10.1007/978-3-319-09952-1_25
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20128
Khaluf Y, Dorigo M, Hamann H, Valentini G, Bartz-Beielstein T. Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements. In: 13th International Conference on Parallel Problem Solving from Nature (PPSN 2014). Vol 8672. Springer; 2014:181-190. doi:10.1007/978-3-319-10762-2_18
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20129
Hamann H, Sayama H, Rieffel J, Risi S, Doursat R, Lipson H. Evolution of Collective Behaviors by Minimizing Surprise. In: 14th Int. Conf. on the Synthesis and Simulation of Living Systems (ALIFE 2014). MIT Press; 2014:344-351. doi:10.7551/978-0-262-32621-6-ch055
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20130
Cervera E, Khaluf Y, Birattari M, et al. A Swarm Robotics Approach to Task Allocation Under Soft Deadlines and Negligible Switching Costs. In: Simulation of Adaptive Behavior (SAB 2014). Vol 8575. ; 2014:270-279. doi:10.1007/978-3-319-08864-8_26
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20142
Wachsmuth H, Trenkmann M, Stein B, Engels G, Palakarska T. A Review Corpus for Argumentation Analysis. In: Proceedings of the 15th International Conference on Intelligent Text Processing and Computational Linguistics. ; 2014:115–127.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 2866
Biermeier F. Untersuchung Des Erreichbarkeitsproblems in Ungerichteten Graphen Bezüglich Den Komplexitätsklassen L Und SL.; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 2867
Sauer M. Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen.; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 24155
Basavaraju M, Chandran LS, Rajendraprasad D, Ramaswamy A. Rainbow connection number of graph power and graph products. Graphs and Combinatorics. 2014;30(6):1363-1382.
LibreCat
2014 | Journal Article | LibreCat-ID: 24156
Basavaraju M, Chandran LS, Rajendraprasad D, Ramaswamy A. Rainbow connection number and radius. Graphs and Combinatorics. 2014;30(2):275-285.
LibreCat
2014 | Conference Paper | LibreCat-ID: 26537
Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S, Pl {\ "o} tzner R, Schneider G, Gayer C, Sassiat D, W {\ "o} hrle N, eds. Published online 2014:51–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 26538
Winkelnkemper F, Keil Reinhard. Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design. In: Butz A, Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.
LibreCat
2014 | Conference Paper | LibreCat-ID: 26540
Jakoblew M, Keil R, Winkelnkemper F. Forschendes Lernen durch semantisches Positionieren. In: Forbrig P, Magenheim Johannes, eds. Proceedings Der HDI 2014. Universit{\"a}t Rostock; 2014:74-84.
LibreCat
2014 | Conference Paper | LibreCat-ID: 26541
Keil R, Schild C. Hypothesengeleitete Gestaltung von Benutzungsoberfl{\"a}chen. In: De Gruyter Oldenbourg; 2014:265-274.
LibreCat
2014 | Conference Paper | LibreCat-ID: 26542
Keil Reinhard. Knowledge integration processes and distributed knowledge organization. In: Keller SA, Schneider R, Volk B, eds. De Gruyter Saur; 2014:162–179.
LibreCat
2014 | Conference Paper | LibreCat-ID: 329
Wette P, Dräxler M, Schwabe A, Wallaschek F, Zahraee MH, Karl H. MaxiNet: Distributed Emulation of Software-Defined Networks. In: Proceedings of the 2014 IFIP Networking Conference (Networking 2014). ; 2014:1-9. doi:10.1109/IFIPNetworking.2014.6857078
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 336
Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 339
Wette P, Karl H. Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In: Proceedings of the IEEE International Conference on Communications 2014. ; 2014:3270-3276. doi:10.1109/ICC.2014.6883825
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth P. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn; 2014.
LibreCat