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.
9749 Publications
2014 | Journal Article | LibreCat-ID: 32025
B. Küster, “Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra,” Communications in Mathematics, vol. 22, no. 2, pp. 141–149, 2014.
LibreCat
2014 | Book | LibreCat-ID: 48384
L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, vol. 19. Wiesbaden: Springer-Verlag, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
Y. Khaluf, M. Birattari, and F.-J. Rammig, “Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences,” in Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Cáceres, Spain, 3. - 5. Dez. 2013, 2013, vol. 8273.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
D. He and W. Müller, “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
M. A. Wehrmeister, C. E. Pereira, and F.-J. Rammig, “Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems,” in IEEE Trans. on Industrial Informatics vol. 9 (no. 4), 2013, pp. 2373–2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Y. Khaluf and F.-J. Rammig, “Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms,” 2. - 6. Sep. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
F. Mischkalla and W. Müller, “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
A. Jungmann and B. Kleinjohann, “Learning Recommendation System for Automated Service Composition,” in Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 27. Jun. - 2. Jul. 2013 IEEE Computer Society, , 2013, pp. 97–104.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
K. Gilles, S. Grösbrink, D. Baldin, and T. Kerstan, “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
S. Grösbrink, “On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, and Y. Zhao, “Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software,” presented at the 17. - 18. Jun. 2013 IEEE, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
M. Becker, U. Kiffmeier, and W. Müller, “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
F.-J. Rammig, K. Stahl, and G. F. Vaz, “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
C. Rasche and S. Ziegert, “Multilevel Planning for Self-Optimizing Mechatronic Systems,” in Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, 2013, p. 6.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
K. Stahl, “AIS-based Anomaly Detection for Self-X Systems,” in Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), 2013, pp. 24–26.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System Virtualization,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 2013, vol. 310, pp. 133–146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “ Informationstechnik spart Ressourcen,” ForschungsForum Paderborn , 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
S. Grösbrink, “Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues,” Production Engineering Research & Development 7(1), pp. 69–79, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
A. Jungmann, B. Kleinjohann, and L. Kleinjohann, “Learning Service Recommendations,” International Journal of Business Process Integration and Management 6(4), pp. 284–297, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application of UCIS to Improve the Automation on Verification Closure,” 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights,” in Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, vol. 480, G. Sen Gupta, D. Bailey, S. Demidenko, and D. Carnegie, Eds. Berlin Heidelberg: Springer , 2013, pp. 103–113.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
K. Klobedanz, J. Jatzkowski, A. Rettberg, and W. Müller, “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks,” 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
B. Mertsching, M. Divband Soorati, and T. Kotthauser, “Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds,” IEEE International Conference on Robotics and Biomimetics (ROBIO), pp. 661–667, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20151
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N. K. Michiels, and A. I. Esparcia-Alcazar, “Virtual Spatiality in Agent Controllers: Encoding Compartmentalization,” in Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, vol. 7835, pp. 579–588.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
H. Hamann, P. Lio, O. Miglino, G. Nicosia, S. Nolfi, and M. Pavone, “Speciation Dynamics: Generating Selective Pressure Towards Diversity,” in 12th European Conference on Artificial Life (ECAL 2013), 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2868
S. Laudemann, Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten. 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
L. Leder, Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken. 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
D. He and W. Müller, “ A heuristic energy-aware approach for hard real-time systems on multi-core platforms,” Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), pp. 845–857, 2013.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
G. Schirner, M. Götz, A. Rettberg, M. C. Zanella, and F.-J. Rammig, Eds., Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
L. Khaluf and F.-J. Rammig, “Organic Programming of Real-Time Operating Systems,” 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
H. Anacker et al., “Methods for the Design and Development,” in Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Heidelberg: Springer-Verlag, 2013, pp. 187–356.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
H. Wachsmuth, B. Stein, and G. Engels, “Learning Efficient Information Extraction on Heterogeneous Texts,” in Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013, pp. 534–542.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
H. Wachsmuth, B. Stein, and G. Engels, “Information Extraction as a Filtering Task,” in Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management, 2013, pp. 2049–2058.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
H. Wachsmuth, M. Rose, and G. Engels, “Automatic Pipeline Construction for Real-Time Annotation,” in 14th International Conference on Intelligent Text Processing and Computational Linguistics, 2013, pp. 38–49.
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
D. Kuntze, Practical algorithms for clustering and modeling large data sets - Analysis and improvements. Universität Paderborn, 2013.
LibreCat
| Download (ext.)
2013 | Report | LibreCat-ID: 2917
J. Juhnke, H. Lefmann, and V. Strehl, An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3130
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, and C. Striecks, “Practical Signatures from Standard Assumptions,” in Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings, 2013, pp. 461--485.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
T. Jager, K. G. Paterson, and J. Somorovsky, “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography,” in 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
T. Isenberg, D. Steenken, and H. Wehrheim, “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving,” in Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
O. Travkin, A. Mütze, and H. Wehrheim, “{SPIN} as a Linearizability Checker under Weak Memory Models,” in Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics for Program Execution under Total Store Order Memory,” in Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
S. Ziegert and H. Wehrheim, “Temporal Reconfiguration Plans for Self-Adaptive Systems,” in Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, “11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung,” 2013, vol. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27168
R. Keil and F. Winkelnkemper, “Approaches for an informational separation of powers in learning platforms,” 2013, pp. 131–142.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
H. G. Fischer et al., “„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA,” 2013, pp. 28–34.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
B. K {\ "u} hnel, Contextual tagging in the coactive knowledge organization. Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
H. G. Fischer, B. Strenge, and Karsten Nebe, “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” Springer Verlag, pp. 252–261, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Reinhard Keil, H. Selke, and F. Winkelnkemper, “Computer science and education - A struggle for creative sovereignty in society?,” FIfF-Kommunikation, pp. 61–65, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
R. Keil, “Media contexts - context media,” 2013, pp. 217–226.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
F. Klompmaker, V. Paelke, and H. G. Fischer, “A Taxonomy-Based Approach Towards NUI Interaction Design.” Springer Verlag, pp. 32–41, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 20978
M. Hüwe, Das Verteilungsproblem für mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
T. Koch, Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
R. Petring, B. Eikel, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Darstellung heterogener 3-D-Szenen in Echtzeit,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311, pp. 49--60.
LibreCat
2013 | Dissertation | LibreCat-ID: 17440
B. Eikel, Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 17442
F. Meyer auf der Heide, “Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311, pp. 7–16.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 17443
J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, Eds., 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, vol. 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 1792
S. Kasap and S. Redif, “Novel Field-Programmable Gate Array Architecture for Computing the Eigenvalue Decomposition of Para-Hermitian Polynomial Matrices,” IEEE Trans. on Very Large Scale Integration (VLSI) Systems, vol. 22, no. 3, pp. 522–536, 2013.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20831
J. Geismann, “Quelltextgenerierung für LEGO Mindstorms-Roboter,” in Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten, 2013, vol. 12, pp. 71–74.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer Systeme, 2013, pp. 147–160.
LibreCat
2013 | Conference Paper | LibreCat-ID: 1798
M. Keller, C. Robbert, and M. Peuster, “An evaluation testbed for adaptive, topology-aware deployment of elastic applications,” in Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM , 2013.
LibreCat
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 18000
F. Blumentritt, Cliquenbildung in verteilten Systemen. Universität Paderborn, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 1804
A. de la Oliva et al., “Denser Networks for the Future Internet, the CROWD Approach,” in Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 28–41.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 22932
R. Dumitrescu and A. Kühn, “ Intelligenz in der Produktion - Spitzencluster it’s OWL als Wegbereiter für Industrie 4.0,” in Markt&Technik Summit Industrie 4.0, München, 16. - 17. Okt. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 22933
N. Schmitt, L. Kaiser, R. Dumitrescu, and M. Hofmann, “Von der Anforderungserfassung bis zur Funktionsstruktur - Ein Systems Engineering-Vorgehen für die industrielle Praxis,” in Tag des Systems Engineering, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 22934
C. Y. Low et al., “Hybrid-Actuated Finger Prosthesis with Tactile Sensing,” in International Journal of Advanced Robotic Systems, 2013, vol. Band 10.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 22935
C. Low, M. Aldemir, N. Aziz, R. Dumitrescu, and H. Anacker, “Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution,” Journal of Production Engineering Research & Development (PERE) 7, pp. 23–34, 2013.
LibreCat