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.
5711 Publications
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
2011 | Conference Paper | LibreCat-ID: 27626
F. Klompmaker, Karsten Nebe, and H. Jung, “Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
F. Klompmaker, Karsten Nebe, C. Busch, and Detlev Willemsen, “User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
C. Laroque and J. Schulte, “KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules,” in Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
J. Schulte, “WasabiBeans - Web Application Services and Business Integration,” in Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
S. Rudolph and D. Niehus, “Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training,” 2011.
LibreCat