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 | Book Chapter | LibreCat-ID: 26805
A. Jungmann, B. Kleinjohann, and W. Richert, “A Fast Hierarchical Learning Approach for Autonomous Robots,” in Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26810
A. Jungmann, B. Kleinjohann, and W. Richert, “Increasing Learning Speed by Imitation in Multi-robot Societies,” in Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 2986
J. Blömer, “How to Share a Secret,” in Algorithms Unplugged, Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 159–168.
LibreCat | DOI
 

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: 3138
T. Jager and J. Somorovsky, “How to break XML encryption,” in Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations for linearizability,” {ACM} Trans. Program. Lang. Syst., no. 1, pp. 4:1--4:43, 2011.
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: 3188
S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,” in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
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
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed