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
T. Busjahn and C. Schulte, “The use of code reading in teaching programming,” in Koli Calling, 2013, pp. 3–11.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15665
J. Bennedsen and C. Schulte, “Object Interaction Competence Model v. 2.0,” in LaTiCE, 2013, pp. 9–16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15666
M. Buchholz, M. Saeli, and C. Schulte, “PCK and reflection in computer science teacher education,” in WiPSCE, 2013, pp. 8–16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15667
C. Schulte, “Reflections on the role of programming in primary and secondary computing education,” in WiPSCE, 2013, pp. 17–24.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15752
W. Cheng, S. Henzgen, and E. Hüllermeier, “Labelwise versus pairwise decomposition in label ranking,” in In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Bamberg, Germany, 2013, pp. 129–136.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15753
R. Senge, J. del Coz, and E. Hüllermeier, “Rectifying classifier chains for multi-label classification, Bamberg, Germany,” in In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Bamberg, Germany, 2013, pp. 151–158.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15755
R. Busa-Fekete, T. Fober, and E. Hüllermeier, “Preference-based evolutionary optimization using generalized racing algorithms,” in in Proceedings 23th Workshop Computational Intelligence, Dortmund Germany, 2013, pp. 237–246.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15756
S. Henzgen and E. Hüllermeier, “Weighted rank correlation measures based on fuzzy order relations,” in in Proceedings 23th Workshop Computational Intelligence, Dortmund Germany, 2013, pp. 227–236.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15757
P. Weng, R. Busa-Fekete, and E. Hüllermeier, “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
R. Busa-Fekete, B. Szörenyi, P. Weng, and E. Hüllermeier, “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
W. Cheng and E. Hüllermeier, “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
A. Shaker and E. Hüllermeier, “Event history analysis on data streams: An application to earthquake occurence,” in In Proceedings RealStream 2013, 1st International Workshop on Real-World Challenges for Data Stream Mining, Prague, Czech Republic, 2013, pp. 38–41.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15761
R. Senge, J. J. del Coz, and E. Hüllermeier, “On the problem of error propagation in classier chains for multi-label classification. Data Analysis, Machine Learning and Knowledge Discovery,” in In Proceedings of GFKL-2012, 36th Annual Conference of the German Classification Society, Studies in Classification, Data Analysis and Knowledge Organization, Hildesheim, Germany , 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15763
T. Fober, G. Klebe, and E. Hüllermeier, “Local clique merging: An extension of the maximum common subgraph measure with applications in structural bioinformatics, Algorithms from and for Nature and Life,” in In Proceedings GFKL-2011, Conference of the German Classification Society, Frankfurt Germany, 2013, pp. 279–286.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15094
S. Böttcher, M. Brandenburg, and R. Hartel, “DAG - Index - A Compressed Index for XML Keyword Search,” in WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, 2013, pp. 137–140.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15112
A. Fallah Tehrani and E. Hüllermeier, “Ordinal Choquistic regression ,” in in Proceedings EUSFLAT-2013 8th International Conference on the European Society for Fuzzy Logic and Technology, Milano, Italy, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15113
N. Nasiri, T. Fober, R. Senge, and E. Hüllermeier, “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, pp. 715–721.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15162
S. Böttcher, A. Bültmann, R. Hartel, and J. Schlüßler, “Implementing Efficient Updates in Compressed Big Text Databases,” in International Conference on Database and Expert Systems Applications, 2013, pp. 189–202.
LibreCat
2013 | Journal Article | LibreCat-ID: 16044
D. Heider, R. Senge, W. Cheng, and E. Hüllermeier, “Multilabel classification for exploiting cross-resistance information in HIV-1 drug resistence prediction,” Bioinformatics, vol. 29, no. 16, pp. 1946–1952, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 16081
S. Bösner, K. Bönisch, J. Haasenritter , P. Schlegel, E. Hüllermeier, and N. Donner-Banzhoff, “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, vol. 14, no. 1, pp. 154–162, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 16086
J. Haasenritter et al., “Diagnose im Kontext - eine erweiterte Perspektive,” Zeitschrift für Evidenz, Fortbildung und Qualität im Gesundheitswesen (ZEFQ), vol. 107, pp. 585–591, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 16123
A. Shaker, R. Senge, and E. Hüllermeier, “Evolving fuzzy pattern trees for binary classification on data streams,” Information Sciences, vol. 220, pp. 34–45, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13115
G. Szarvas, R. Busa-Fekete, and E. Hüllermeier, “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
K. Dembczynski, A. Jachnik, W. Kotlowski, W. Waegeman, and E. Hüllermeier, “Optimizing the F-measure in multi-label classification: Plug-in rule approach versus structured loss minimization,” in in Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1130–1138.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13117
R. Busa-Fekete, B. Szoreny, P. Weng, W. Cheng, and E. Hüllermeier, “Top-k selection based on adaptive sampling of noisy preferences,” in in Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1094–1102.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13118
E. Hüllermeier and W. Cheng, “Preference-based CBR: General ideas and basic principles,” in in Proceedings IJCAI-13, 23rd international Joint Conference on Artificial Intelligence, Beijing, China, 2013, pp. 3012–3016.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13119
S. Henzgen, M. Strickert, and E. Hüllermeier, “Rule chains for visualizing evolving fuzzy rule-based systems,” in in Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, 2013, pp. 279–288.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13190
A. Shaker and E. Hüllermeier, “Recovery analysis for adaptive learning from non-stationary data streams,” in in Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, 2013, pp. 289–298.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13645
T. Graf, L. Schäfers, and M. Platzner, “On Semeai Detection in Monte-Carlo Go.,” in Proceedings of the International Conference on Computers and Games (CG), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: 10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors,” in Proceedings of the International Conference on Applied Computing (AC), 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 8425 | 
S. Gharibian, Approximation, Proof Systems, and Correlations in a Quantum World. 2013.
LibreCat
| Files available
| Download (ext.)
| arXiv
2013 | Journal Article | LibreCat-ID: 8173 |
S. Gharibian, J. Sikora, and S. Upadhyay, “QMA variants with polynomially many provers,” Quantum Information & Computation, vol. 13, no. 1–2, pp. 135–157, 2013.
LibreCat
| Download (ext.)
| arXiv
2013 | Conference Paper | LibreCat-ID: 528
H. Riebler, T. Kenter, C. Sorge, and C. Plessl, “FPGA-accelerated Key Search for Cold-Boot Attacks against AES,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2013, pp. 386–389, doi: 10.1109/FPT.2013.6718394.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 505
M. Happe, P. Kling, C. Plessl, M. Platzner, and F. Meyer auf der Heide, “On-The-Fly Computing: A Novel Paradigm for Individualized IT Services,” 2013, doi: 10.1109/ISORC.2013.6913232.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 1787
T. Suess, A. Schoenrock, S. Meisner, and C. Plessl, “Parallel Macro Pipelining on the Intel SCC Many-Core Computer,” in Proc. Int. Symp. on Parallel and Distributed Processing Workshops (IPDPSW), 2013, pp. 64–73, doi: 10.1109/IPDPSW.2013.136.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46385
H. V. Sosa, O. Schütze, G. Rudolph, and H. Trautmann, “The Directed Search Method for Pareto Front Approximations with Maximum Dominated Hypervolume,” in EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV, vol. 227, M. Emmerich, A. Deutz, O. Schuetze, T. Bäck, A. Tantar, P. Moral, P. Legrand, P. Bouvry, and C. Coello, Eds. Springer International Publishing, 2013, pp. 189–205.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46386
H. Trautmann, G. Rudolph, C. Dominguez-Medina, and O. Schütze, “Finding Evenly Spaced Pareto Fronts for Three-Objective Optimization Problems,” in EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II, vol. 175, O. Schütze, C. C. Coello, A. Tantar, E. Tantar, P. Bouvry, M. P. Del, and P. Legrand, Eds. Springer Berlin Heidelberg, 2013, pp. 89–105.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46388
S. Nallaperuma, M. Wagner, F. Neumann, B. Bischl, O. Mersmann, and H. Trautmann, “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, 2013, pp. 147–160, doi: 10.1145/2460239.2460253.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46390
G. Rudolph, H. Trautmann, S. Sengupta, and O. Schütze, “Evenly Spaced Pareto Front Approximations for Tricriteria Problems Based on Triangulation,” in Evolutionary Multi-Criterion Optimization — 7$^th$ International Conference, EMO 2013, Sheffield, UK, Proceedings, 2013, vol. 7811, pp. 443–458, doi: https://doi.org/10.1007/978-3-642-37140-0_34.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46391
V. Sosa-Hernandez, O. Schütze, G. Rudoph, and H. Trautmann, “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, 2013, pp. 1699–1702, doi: 10.1145/2464576.2482756.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46387
C. Dominguez-Medina, G. Rudolph, O. Schütze, and H. Trautmann, “Evenly spaced Pareto fronts of quad-objective problems using PSA partitioning technique,” in Proceedings of the 2013 IEEE Congress on Evolutionary Computation (CEC), 2013, pp. 3190–3197, doi: https://doi.org/10.1109/CEC.2013.6557960.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46389
M. Preuss, D. Kozakowski, J. Hagelbäck, and H. Trautmann, “Reactive strategy choice in StarCraft by means of Fuzzy Control,” in 2013 IEEE Conference on Computational Inteligence in Games (CIG), 2013, pp. 1–8, doi: 10.1109/CIG.2013.6633627.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 46395
H. Trautmann, T. Wagner, D. Biermann, and C. Weihs, “Indicator-based Selection in Evolutionary Multiobjective Optimization Algorithms Based On the Desirability Index,” Journal of Multi-Criteria Decision Analysis, vol. 20, no. 5–6, pp. 319–337, 2013, doi: https://doi.org/10.1002/mcda.1503.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46393
T. Wagner, H. Trautmann, and D. Brockhoff, “Preference Articulation by Means of the R2 Indicator,” in Evolutionary Multi-Criterion Optimization, 2013, pp. 81–95.
LibreCat
2013 | Conference Paper | LibreCat-ID: 46392
H. Trautmann, T. Wagner, and D. Brockhoff, “R2-EMOA: Focused Multiobjective Search Using R2-Indicator-Based Selection,” in Learning and Intelligent Optimization, 2013, pp. 70–74.
LibreCat
2013 | Journal Article | LibreCat-ID: 46394
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, and F. Neumann, “A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem,” Annals of Mathematics and Artificial Intelligence, vol. 69, pp. 151–182, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 47161
S. Fahl, M. Harbach, Y. Acar, and M. Smith, “On the ecological validity of a password study,” 2013, doi: 10.1145/2501604.2501617.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 48889
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, and F. Neumann, “A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem,” Annals of Mathematics and Artificial Intelligence, vol. 69, no. 2, pp. 151–182, 2013, doi: 10.1007/s10472-013-9341-2.
LibreCat
| DOI
2012 | Report | LibreCat-ID: 2504
R. A. M. Khan and H. Karl, Simulating Cooperative Diversity Protocols for Multi-hop Wireless and Sensor Networks. 2012.
LibreCat
| Download (ext.)
2012 | Report | LibreCat-ID: 2505
C. Dannewitz, H. Karl, and A. Yadav, Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures. 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 20173
H. Hamann, J. Stradner, N. Bredeche, and L. Cazenille, “Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers,” in 14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012, 2012, pp. 89–96.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20174
H. Hamann, T. Schmickl, and J. Stradner, “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
H. Hamann et al., “On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation,” in Alife XIII, 2012, pp. 597–598.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source Code Annotation for Timing Analysis of Embedded Software,” Bangalore, 14. - 16. Dez. 2012, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of Use,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity,” presented at the 14. - 17. Okt. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
M. F. Oliveira et al., “The System Verification Methodology for Advanced TLM Verification,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
N. Montealegre and S. Hagenkötter, “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, pp. 699–715.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time Systems,” in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 2012, pp. 154–161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical Systems,” in 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 2012, pp. 45–48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012 IARIA, IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
S. Grösbrink, S. Oberthür, and D. Baldin, “Dynamic Resource Management for Virtualized Mixed-Criticality Systems,” presented at the 12. - 16. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” Innovations in Systems and Software Engineering 8, pp. 19–33, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S. Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of use,” presented at the 28. Feb. - 1. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
A. Jungmann, T. Schierbaum, and B. Kleinjohann, “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), 2012, pp. 441–444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
F. Bin Tariq, “Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints,” presented at the 24. - 26. Feb. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
E. Mathews and H. Frey, “A Localized Link Removal and Addition based Planarization Algorithm,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
E. Mathews and C. Mathew, “Deployment of mobile routers ensuring coverage and connectivity,” International Journal of Computer Networks and Communications 4(1), pp. 175–192, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
W. Müller, M. Becker, H. Zabel, A. Elfeky, and A. DiPasquale, “Virtual Prototyping of Cyber-Physical Systems,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Y. Khaluf, E. Mathews, and F.-J. Rammig, “Swarm Robotic Time Synchronization for Object Tracking,” in Self-Organization in Embedded Real-Time Systems, M. T. Higuera-Toledano, U. Brinkschulte, and A. Rettberg, Eds. New York, Heidelberg, Dordrecht, London: Springer, 2012, pp. 75–92.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in Schemata und Praktiken, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.
LibreCat