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.
5693 Publications
2013 | Conference Paper | LibreCat-ID: 15664
Busjahn T, Schulte C. The use of code reading in teaching programming. In: Koli Calling. ACM; 2013:3-11.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15665
Bennedsen J, Schulte C. Object Interaction Competence Model v. 2.0. In: LaTiCE. IEEE Computer Society; 2013:9-16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15666
Buchholz M, Saeli M, Schulte C. PCK and reflection in computer science teacher education. In: WiPSCE. ACM; 2013:8-16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15667
Schulte C. Reflections on the role of programming in primary and secondary computing education. In: WiPSCE. ACM; 2013:17-24.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15752
Cheng W, Henzgen S, Hüllermeier E. Labelwise versus pairwise decomposition in label ranking. In: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Bamberg, Germany. ; 2013:129-136.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15753
Senge R, del Coz J, Hüllermeier E. Rectifying classifier chains for multi-label classification, Bamberg, Germany. In: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Bamberg, Germany. ; 2013:151-158.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15755
Busa-Fekete R, Fober T, Hüllermeier E. Preference-based evolutionary optimization using generalized racing algorithms. In: Hoffmann F, Hüllermeier E, eds. In Proceedings 23th Workshop Computational Intelligence, Dortmund Germany. KIT Scientific Publishing; 2013:237-246.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15756
Henzgen S, Hüllermeier E. Weighted rank correlation measures based on fuzzy order relations. In: Hoffmann F, Hüllermeier E, eds. In Proceedings 23th Workshop Computational Intelligence, Dortmund Germany. KIT Scientific Publishing; 2013:227-236.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15757
Weng P, Busa-Fekete R, Hüllermeier E. Interactive Q-learning with ordinal rewards and unreliable tutor. In: In Proceedings ECML/PKDD-Workshop on Reinforcement Learning from Generalized Feedback:Beyond Numerical Rewards, Prague. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15758
Busa-Fekete R, Szörenyi B, Weng P, Hüllermeier E. Preference-based evolutionary direct policy search. In: In Proceedings ECML/PKDD-Workshop on Reinforcement Learning from Generalized Feedback:Beyond Numerical Rewards, Prague. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15759
Cheng W, Hüllermeier E. A nearest neigbor approach to label ranking based on generalized labelwise loss minimization. In: In Proceedings M-PREF`13, 7th Multidisciplinary Workshop on Advances in Preference Handling Beijing, China. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15760
Shaker A, Hüllermeier E. Event history analysis on data streams: An application to earthquake occurence. In: Krempl G, Zliobaite I, Wang Y, Forman G, eds. In Proceedings RealStream 2013, 1st International Workshop on Real-World Challenges for Data Stream Mining, Prague, Czech Republic. ; 2013:38-41.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15761
Senge R, del Coz JJ, Hüllermeier E. On the problem of error propagation in classier chains for multi-label classification. Data Analysis, Machine Learning and Knowledge Discovery. In: Schmidt-Thieme L, Spiliopoulou M, eds. In Proceedings of GFKL-2012, 36th Annual Conference of the German Classification Society, Studies in Classification, Data Analysis and Knowledge Organization, Hildesheim, Germany . Springer; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15763
Fober T, Klebe G, Hüllermeier E. Local clique merging: An extension of the maximum common subgraph measure with applications in structural bioinformatics, Algorithms from and for Nature and Life. In: Lausen B, Van den Poel D, Ultsch A, eds. In Proceedings GFKL-2011, Conference of the German Classification Society, Frankfurt Germany. Springer; 2013:279-286.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15093
Böttcher S, Hartel R, Jacobs T. Fast Multi-update Operations on Compressed XML Data. In: Big Data - 29th British National Conference on Databases, BNCOD 2013,. Berlin, Heidelberg: Springer; 2013:149-164. doi:10.1007/978-3-642-39467-6_15
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 15094
Böttcher S, Brandenburg M, Hartel R. DAG - Index - A Compressed Index for XML Keyword Search. In: WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies. SciTePress; 2013:137-140.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15112
Fallah Tehrani A, Hüllermeier E. Ordinal Choquistic regression . In: Montero J, Pasi G, Ciucci D, eds. In Proceedings EUSFLAT-2013 8th International Conference on the European Society for Fuzzy Logic and Technology, Milano, Italy. Atlantis Press; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15113
Nasiri N, Fober T, Senge R, Hüllermeier E. Fuzzy Pattern Trees as an alternative to rule-based fuzzy systems: Knowledge-driven, data-driven and hybrid modeling of colour yield in poyester dyeing, Edmonton, Canada. In: In Proceedings IFSA-2013 World Congress of the International Fuzzy Systems Association, Edmonton, Canada. ; 2013:715-721.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15162
Böttcher S, Bültmann A, Hartel R, Schlüßler J. Implementing Efficient Updates in Compressed Big Text Databases. In: International Conference on Database and Expert Systems Applications. Springer; 2013:189-202.
LibreCat
2013 | Journal Article | LibreCat-ID: 15180
Owen GS, Domik G, Ebert DS, et al. How visualization courses have changed over the past 10 years. IEEE computer graphics and applications. 2013;33(4):14-19. doi:10.1109/MCG.2013.57
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 15282
Alford JG, Jacob L, Dietz P. Animatronics Workshop: A Theater+ Engineering Collaboration at a High School. IEEE computer graphics and applications. 2013;33(6):9-13. doi:10.1109/MCG.2013.86
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 15284
Arens S, Bolte M, Domik G. Visualizing Dissections of the Heart in a Dataflow-based Shader Framework for Volume Rendering. In: Bronstein M, Favre J, Hormann K, eds. Vision, Modeling & Visualization. The Eurographics Association; 2013. doi:10.2312/PE.VMV.VMV13.231-232
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 16044
Heider D, Senge R, Cheng W, Hüllermeier E. Multilabel classification for exploiting cross-resistance information in HIV-1 drug resistence prediction. Bioinformatics. 2013;29(16):1946-1952.
LibreCat
2013 | Journal Article | LibreCat-ID: 16081
Bösner S, Bönisch K, Haasenritter J, Schlegel P, Hüllermeier E, Donner-Banzhoff N. Chest pain in primary care: is the localization of pain diagnostically helpful in the critical evaluation of patients? A cross sectional study. . BMC Family Practice. 2013;14(1):154-162.
LibreCat
2013 | Journal Article | LibreCat-ID: 16086
Haasenritter J, Viniol A, Becker A, et al. Diagnose im Kontext - eine erweiterte Perspektive. Zeitschrift für Evidenz, Fortbildung und Qualität im Gesundheitswesen (ZEFQ). 2013;107:585-591.
LibreCat
2013 | Journal Article | LibreCat-ID: 16123
Shaker A, Senge R, Hüllermeier E. Evolving fuzzy pattern trees for binary classification on data streams. Information Sciences. 2013;220:34-45.
LibreCat
2013 | Conference Paper | LibreCat-ID: 16393
Eikel B, Jähn C, Fischer M, Meyer auf der Heide F. Spherical Visibility Sampling. In: Computer Graphics Forum. Vol 32. Proceedings of the 24th Eurographics Symposium on Rendering. ; 2013:49-58. doi:10.1111/cgf.12150
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 16406
Jähn C, Eikel B, Fischer M, Petring R, Meyer auf der Heide F. Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties. In: Advances in Visual Computing. Berlin, Heidelberg; 2013. doi:10.1007/978-3-642-41914-0_12
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 16407
Petring R, Eikel B, Jähn C, Fischer M, Meyer auf der Heide F. Real-Time 3D Rendering of Heterogeneous Scenes. In: Advances in Visual Computing. Berlin, Heidelberg; 2013. doi:10.1007/978-3-642-41914-0_44
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 13115
Szarvas G, Busa-Fekete R, Hüllermeier E. Learning to rank lexical substitutions. In: In Proceedings EMNLP-2013 Conference on Empirical Methods in Natural Language Processing, Seattle, USA. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13116
Dembczynski K, Jachnik A, Kotlowski W, Waegeman W, Hüllermeier E. Optimizing the F-measure in multi-label classification: Plug-in rule approach versus structured loss minimization. In: Dasgupta S, McAllester D, eds. In Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA. ; 2013:1130-1138.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13117
Busa-Fekete R, Szoreny B, Weng P, Cheng W, Hüllermeier E. Top-k selection based on adaptive sampling of noisy preferences. In: Dasgupta S, McAllester D, eds. In Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA. ; 2013:1094-1102.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13118
Hüllermeier E, Cheng W. Preference-based CBR: General ideas and basic principles. In: Rossi F, ed. In Proceedings IJCAI-13, 23rd International Joint Conference on Artificial Intelligence, Beijing, China. AAAI Press; 2013:3012-3016.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13119
Henzgen S, Strickert M, Hüllermeier E. Rule chains for visualizing evolving fuzzy rule-based systems. In: Burduk R, Jackowski K, Kurzynski M, Wozniak M, Zolnierek A, eds. In Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland. Springer; 2013:279-288.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13190
Shaker A, Hüllermeier E. Recovery analysis for adaptive learning from non-stationary data streams. In: Burduk R, Jackowski K, Kurzynski M, Wozniak W, Zolnierek A, eds. In Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland. Springer; 2013:289-298.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13645
Graf T, Schäfers L, Platzner M. On Semeai Detection in Monte-Carlo Go. In: Proceedings of the International Conference on Computers and Games (CG). Springer; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:10.1109/PATMOS.2013.6662171
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He D, Müller W. An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In: Weghorn H, ed. Proceedings of the International Conference on Applied Computing (AC). ; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 8425 | 
Gharibian S. Approximation, Proof Systems, and Correlations in a Quantum World.; 2013.
LibreCat
| Files available
| Download (ext.)
| arXiv
2013 | Journal Article | LibreCat-ID: 8173 |
Gharibian S, Sikora J, Upadhyay S. QMA variants with polynomially many provers. Quantum Information & Computation. 2013;13(1-2):135-157.
LibreCat
| Download (ext.)
| arXiv
2013 | Conference Paper | LibreCat-ID: 528
Riebler H, Kenter T, Sorge C, Plessl C. FPGA-accelerated Key Search for Cold-Boot Attacks against AES. In: Proceedings of the International Conference on Field-Programmable Technology (FPT). IEEE; 2013:386-389. doi:10.1109/FPT.2013.6718394
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 505
Happe M, Kling P, Plessl C, Platzner M, Meyer auf der Heide F. On-The-Fly Computing: A Novel Paradigm for Individualized IT Services. In: Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS). IEEE; 2013. doi:10.1109/ISORC.2013.6913232
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 1787
Suess T, Schoenrock A, Meisner S, Plessl C. Parallel Macro Pipelining on the Intel SCC Many-Core Computer. In: Proc. Int. Symp. on Parallel and Distributed Processing Workshops (IPDPSW). IEEE Computer Society; 2013:64-73. doi:10.1109/IPDPSW.2013.136
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46385
Sosa HV, Schütze O, Rudolph G, Trautmann H. The Directed Search Method for Pareto Front Approximations with Maximum Dominated Hypervolume. In: Emmerich M, Deutz A, Schuetze O, et al., eds. EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV. Vol 227. Advances in Intelligent Systems and Computing. Springer International Publishing; 2013:189–205. doi:10.1007/978-3-319-01128-8_13
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46386
Trautmann H, Rudolph G, Dominguez-Medina C, Schütze O. Finding Evenly Spaced Pareto Fronts for Three-Objective Optimization Problems. In: Schütze O, Coello CC, Tantar A, et al., eds. EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II. Vol 175. Advances in Intelligent Systems and Computing. Springer Berlin Heidelberg; 2013:89–105. doi:10.1007/978-3-642-31519-0_6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46388
Nallaperuma S, Wagner M, Neumann F, Bischl B, Mersmann O, Trautmann H. A Feature-Based Comparison of Local Search and the Christofides Algorithm for the Travelling Salesperson Problem. In: Proceedings of the Twelfth Workshop on Foundations of Genetic Algorithms XII. FOGA XII ’13. Association for Computing Machinery; 2013:147–160. doi:10.1145/2460239.2460253
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46390
Rudolph G, Trautmann H, Sengupta S, Schütze O. Evenly Spaced Pareto Front Approximations for Tricriteria Problems Based on Triangulation. In: Purshouse R, Fleming P, Fonseca C, Greco S, Shaw J, eds. Evolutionary Multi-Criterion Optimization — 7$^th$ International Conference, EMO 2013, Sheffield, UK, Proceedings. Vol 7811. Lecture Notes in Computer Science. Springer; 2013:443–458. doi:https://doi.org/10.1007/978-3-642-37140-0_34
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46391
Sosa-Hernandez V, Schütze O, Rudoph G, Trautmann H. Directed Search Method for Indicator-based Multi-objective Evolutionary Algorithms. In: Proceeding of the Fifteenth Annual Conference Companion on Genetic and Evolutionary Computation Conference Companion. GECCO ’13 Companion. ACM; 2013:1699–1702. doi:10.1145/2464576.2482756
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46387
Dominguez-Medina C, Rudolph G, Schütze O, Trautmann H. Evenly spaced Pareto fronts of quad-objective problems using PSA partitioning technique. In: Proceedings of the 2013 IEEE Congress on Evolutionary Computation (CEC). ; 2013:3190–3197. doi:https://doi.org/10.1109/CEC.2013.6557960
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46389
Preuss M, Kozakowski D, Hagelbäck J, Trautmann H. Reactive strategy choice in StarCraft by means of Fuzzy Control. In: 2013 IEEE Conference on Computational Inteligence in Games (CIG). ; 2013:1-8. doi:10.1109/CIG.2013.6633627
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 46395
Trautmann H, Wagner T, Biermann D, Weihs C. Indicator-based Selection in Evolutionary Multiobjective Optimization Algorithms Based On the Desirability Index. Journal of Multi-Criteria Decision Analysis. 2013;20(5-6):319–337. doi:https://doi.org/10.1002/mcda.1503
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46393
Wagner T, Trautmann H, Brockhoff D. Preference Articulation by Means of the R2 Indicator. In: Purshouse RC, Fleming PJ, Fonseca CM, Greco S, Shaw J, eds. Evolutionary Multi-Criterion Optimization. Springer Berlin Heidelberg; 2013:81–95.
LibreCat
2013 | Conference Paper | LibreCat-ID: 46392
Trautmann H, Wagner T, Brockhoff D. R2-EMOA: Focused Multiobjective Search Using R2-Indicator-Based Selection. In: Nicosia G, Pardalos P, eds. Learning and Intelligent Optimization. Springer Berlin Heidelberg; 2013:70–74.
LibreCat
2013 | Journal Article | LibreCat-ID: 46394
Mersmann O, Bischl B, Trautmann H, Wagner M, Bossek J, Neumann F. A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem. Annals of Mathematics and Artificial Intelligence. 2013;69:151–182.
LibreCat
2013 | Conference Paper | LibreCat-ID: 47161
Fahl S, Harbach M, Acar Y, Smith M. On the ecological validity of a password study. In: Proceedings of the Ninth Symposium on Usable Privacy and Security. ACM; 2013. doi:10.1145/2501604.2501617
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 48889
Mersmann O, Bischl B, Trautmann H, Wagner M, Bossek J, Neumann F. A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem. Annals of Mathematics and Artificial Intelligence. 2013;69(2):151–182. doi:10.1007/s10472-013-9341-2
LibreCat
| DOI
2012 | Report | LibreCat-ID: 2504
Khan RAM, Karl H. Simulating Cooperative Diversity Protocols for Multi-Hop Wireless and Sensor Networks.; 2012.
LibreCat
| Download (ext.)
2012 | Report | LibreCat-ID: 2505
Dannewitz C, Karl H, Yadav A. Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures.; 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 20173
Hamann H, Stradner J, Bredeche N, Cazenille L. Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers. In: 14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012. ACM; 2012:89-96. doi:10.1145/2330163.2330177
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20174
Hamann H, Schmickl T, Stradner J. Towards Morphological Flexibility: Modular Robotics and Bio-inspired Control. In: Austrian Robotics Workshop (Operational Programme Slovenia-Austria). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 20175
Hamann H, Schmickl T, Stradner J, et al. On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation. In: Alife XIII. MIT Press; 2012:597-598.
LibreCat
2012 | Journal Article | LibreCat-ID: 20176
Hamann H, Schmickl T, Crailsheim K. Self-organized pattern formation in a swarm system as a transient phenomenon of non-linear dynamics. Mathematical and Computer Modelling of Dynamical Systems. 2012;18(1):39-50. doi:10.1080/13873954.2011.601418
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 20177
Hamann H, Schmickl T, Crailsheim K. A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems. Artificial Life. 2012;18(2):165-198. doi:10.1162/artl_a_00058
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 20178
Hamann H, Schmickl T, Wörn H, Crailsheim K. Analysis of emergent symmetry breaking in collective decision making. Neural Computing and Applications. 2012;21(2):207-218. doi:10.1007/s00521-010-0368-6
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20179
Hamann H, Engelbrecht A, Birattari M, et al. Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions. In: Swarm Intelligence: 8th International Conference, ANTS 2012. Vol 7461. Berlin, Heidelberg: Springer; 2012:168-179. doi:10.1007/978-3-642-32650-9_15
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 25744
Joy M tech. MM, Becker M, Mathews E, Müller W. Automated Source Code Annotation for Timing Analysis of Embedded Software. In: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012). IEEE; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of Use. In: Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
Mathews E, Graf T, Kulathunga KSSB. Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. In: In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012). IEEE Computer Society; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker M, Baldin D, Kuznik C, Joy M tech. MM, Xie T, Müller W. XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. In: EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings . ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B. Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: IEEE 10th International Conference on Industrial Informatics,. IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: 7th IEEE Conference in Industrial Electronics and Applications. IEEE; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. In: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Symposium on System-Integrated Intelligence. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). ; 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: EdaWorkshop 12. ; 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: Journal of Intelligent Manufacturing 23(3). Published online on June 2010; 2012:699-715.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China. IEEE Computer Society; 2012:154-161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012. SBC; 2012:45-48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
Mathews E. Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: Ninth International Conference On Information Technology : New Generations (ITNG). IEEE Computer Society; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial Images Based on Virtual Forces. In: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
Jungmann A, Kleinjohann B, Kleinjohann L, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). Xpert Publishing Services; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
Grösbrink S, Oberthür S, Baldin D. Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON). ; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
Nascimento FAM, Oliveira MF, Wagner F. A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8. Published online 2012:19-33.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker M, Gnokam Defo GB, Müller W, Fummi F, Pravadelli G, Vinco S. MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. In: Design, Automation and Test in Europe (DATE 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker M, Kuznik C, Joy M tech. M, Xie T, Müller W. XEMU: A QEMU Based Binary Mutation Testing Framework. In: Design, Automation and Test in Europe DATE. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of use. In: Proceedings of Embedded World Conference. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
Jungmann A, Schierbaum T, Kleinjohann B. Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. In: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP). INSTICC PRESS; 2012:441-444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
Bin Tariq F. Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints. In: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
Mathews E, Frey H. A Localized Link Removal and Addition based Planarization Algorithm. In: 13th International Conference On Distributed Computing And Networking (ICDCN). Springer; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
Mathews E, Mathew C. Deployment of mobile routers ensuring coverage and connectivity. International Journal of Computer Networks and Communications 4(1). Published online 2012:175-192.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller W, Becker M, Zabel H, Elfeky A, DiPasquale A. Virtual Prototyping of Cyber-Physical Systems. In: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. ; 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Khaluf Y, Mathews E, Rammig F-J. Swarm Robotic Time Synchronization for Object Tracking. In: Higuera-Toledano MT, Brinkschulte U, Rettberg A, eds. Self-Organization in Embedded Real-Time Systems. Springer; 2012:75-92.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
Rammig F-J. Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi T, Ecker G, Eke NO, Muhle F, eds. Schemata Und Praktiken. Wilhelm Fink Verlag; 2012:141-160.
LibreCat