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.
5786 Publications
2015 | Journal Article | LibreCat-ID: 25109
Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. Concurrency and Computation: Practice and Experience . Published online 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25110
Joy M tech. MM, Rammig F-J. A hybrid methodology to detect memory leaks in soft real time embedded systems software. Int J of Embedded Systems. Published online 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25111
Khaluf Y, Birattari M, Rammig F-J. Analysis of long-term swarm performance based on short-term experiments. Springer Jounal Soft Computing . Published online 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 252
Dräxler M, Blobel J, Dreimann P, Valentin S, Karl H. SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming. In: Proceedings of the 2nd International Conference on Networked Systems (NetSys). ; 2015:1--8. doi:10.1109/NetSys.2015.7089073
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 253
Blömer J, Juhnke J, Löken N. Short Group Signatures with Distributed Traceability. In: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). LNCS. ; 2015:166-180. doi:10.1007/978-3-319-32859-1_14
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 19959
Wahby M, Hamann H. On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking. In: Applications of Evolutionary Computation (EvoApplications 2015). ; 2015. doi:10.1007/978-3-319-16549-3_61
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19960
Hamann H, Wahby M, Schmickl T, et al. Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids. In: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15). ; 2015. doi:10.1109/ssci.2015.158
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 19962
Hamann H. Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards Diversity. Artificial Life. 2015:464-480. doi:10.1162/artl_a_00186
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19966
Wahby M, Weinhold A, Hamann H. Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings. In: Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (Formerly BIONETICS). ; 2015. doi:10.4108/eai.3-12-2015.2262877
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19967
Wahby M, Divband Soorati M, von Mammen S, Hamann H. Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion. In: Proceedings. 25. Computational Intelligence Workshop. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 19980
Hamann H, Divband Soorati M. The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015). ACM; 2015:153-160. doi:10.1145/2739480.2754676
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19988
Hamann H, Schmickl T, Zahadat P. Evolving Collective Behaviors With Diverse But Predictable Sensor States. In: 13th European Conference on Artificial Life (ECAL 2015). MIT Press; 2015:174. doi:10.7551/978-0-262-33027-5-ch036
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 19989
Hamann H, Correll N, Kacprzyk J, Pedrycz W. Probabilistic Modeling of Swarming Systems. In: Springer Handbook of Computational Intelligence. Springer; 2015:1423-1431. doi:10.1007/978-3-662-43505-2_74
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19990
Ding H, Hamann H. Dependability in Swarm Robotics: Error Detection and Correction. In: First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015). ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 19991
Hamann H, Schmickl T, Kengyel D, Zahadat P, Radspieler G, Wotawa F. Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms. In: Principles and Practice of Multi-Agent Systems (PRIMA 2015). ; 2015:201-217.
LibreCat
2015 | Journal Article | LibreCat-ID: 19992
Valentini G, Hamann H. Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes. Swarm Intelligence. 2015:153-176. doi:10.1007/s11721-015-0108-8
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20005
Dorigo M, Hamann H, Valentini G. Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off. In: Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015). ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20006
Dorigo M, Hamann H, Valentini G. Self-organized collective decisions in a robot swarm. In: AAAI-15 Video Proceedings. ; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 280
Arifulina S, Platenius MC, Mohr F, Engels G, Schäfer W. Market-Specific Service Compositions: Specification and Matching. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet. ; 2015:333--340. doi:10.1109/SERVICES.2015.58
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Egyed A, Schaefer I, eds. Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science. ; 2015:100-114. doi:10.1007/978-3-662-46675-9_7
LibreCat
| Files available
| DOI