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.
5676 Publications
2011 | Conference Paper | LibreCat-ID: 26660
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A Distributed Multi-UAV Path Planning Approach for 3D Environments,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “A Bio-inspired Coverage and Connectivity Maintenance Algorithm,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification in the SystemC HDVL,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
T. Xie and W. Müller, “IP-XACT based System Level Mutation Testing,” 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
S. Henkler, S. Oberthür, H. Giese, and A. Seibel, “Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures,” International Journal of Computer Systems Science & Engineering 26 (6), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
D. Baldin, S. Grösbrink, and S. Oberthür, “Enabling Constraint-based Binary Reconfiguration by Binary Analysis,” International Journal on Computing (JoC) 1(4), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
F. Bin Tariq, “F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems,” Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
D. Orfanus, P. Janacik, F. Eliassen, and P. Orten, “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems,” Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
A. Jungmann, J. Lutterbeck, B. Werdehausen, and B. Kleinjohann, “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies,” presented at the 26. - 29. Jul. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, and A. Jungmann, “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties,” presented at the 26. - 29. Jul. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
A. Thuy, “ Comparison of periodic and aperiodic task models for cyber-physical-systems,” presented at the 20. - 22. Jun. 2011, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
C. Kuznik and W. Müller, “Verification Closure of SystemC Designs with Functional Coverage,” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
E. Mathews and H. Frey, “A Localized Planarization Algorithm for Realistic Wireless Networks,” in IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2011, pp. 1–9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
M. Becker, H. Zabel, W. Müller, A. Elfeky, and A. DiPasquale, “Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294, 2011, vol. 294, pp. 315–327.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs,” ThinkMind, International Journal On Advances in Software 3 (3&4), pp. 351–370, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Y. Khaluf, E. Mathews, and F.-J. Rammig, “ Self-Organized Cooperation in Swarm Robotics,” in 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011, pp. 217–226.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks,” 14. - 18. Mrz. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
K. Klobedanz, A. König, W. Müller, and A. Rettberg, “Self-Reconfiguration for Fault-Tolerant FlexRay Networks,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
F. Mischkalla, D. He, and W. Müller, “A Retargetable SysML-based Front-End for High-Level Synthesis,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
D. He, F. Mischkalla, and W. Müller, “A SysML-based Framework with QEMU-SystemC Code Generation,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
M. Becker, “QEMU/SystemC Cosimulation at Different Abstraction Levels,” 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
P. Adelt et al., “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems,” in Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
G. B. Gnokam Defo and W. Müller, “Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26787
L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints,” in Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11), 2011, pp. 521–535.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
C. Kuznik and W. Müller, “Native binary mutation analysis for embedded software and virtual prototypes in SystemC,” 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
N. Esau and L. Kleinjohann, “Emotional Robot Competence and Its Use in Robot Behavior Control,” in Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, and L. Kleinjohann, “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots,” in Proceedings of the 2011 workshop on Organic computing, 2011, pp. 41–50.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3811
H. Wachsmuth and K. Bujna, “Back to the Roots of Genres: Text Classification by Language Function,” in Proceedings of 5th International Joint Conference on Natural Language Processing, 2011, pp. 632–640.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
H. Wachsmuth, B. Stein, and G. Engels, “Constructing Efficient Information Extraction Pipelines,” in 20th ACM International Conference on Information and Knowledge Management, 2011, pp. 2237–2240.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
M. Märtens, The Monotone Complexity of Computing k-Clique on Random Graphs. 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
S. Naewe, Algorithms for lattice problems with respect to general norms. Universität Paderborn, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
M. R. Ackermann, J. Blömer, and C. Scholz, “Hardness and Non-Approximability of Bregman Clustering Problems.” 2011.
LibreCat
2011 | Preprint | LibreCat-ID: 2987
J. Blömer and S. Naewe, “Solving the Closest Vector Problem with respect to Lp Norms,” arXiv:1104.3720. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
D. Hofheinz, T. Jager, and E. Kiltz, “Short Signatures from Weaker Assumptions,” in Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: {A} Generic Refactoring Language for Specification and Execution,” in 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
K. Nebe, H. G. Fischer, F. Klompmaker, and H. Jung, “Multi-touch, tangible and pen-based interaction in incident planning,” 2011, pp. 263–273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
R. Keil and H. Selke, “Virtual Learning Spaces for Co-Active Learning,” in Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
V. Paelke, K. Nebe, F. Klompmaker, and H. Jung, “Multi-Touch Interaction for Disaster Management.},” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
R. Keil, “Hypothesis- guided technology design as the basis of contextual computer science,” 2011, pp. 165–184.
LibreCat