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.
9813 Publications
2014 | Book Chapter | LibreCat-ID: 51465
Hilgert, J., Hoffmann, M., & Panse, A. (2014). Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik. In J. Roth & J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014. WTM Verlag.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
Hilgert, J., Pasquale, A., & Przebinda, T. (2014). Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3).
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 45935
Axelsson, O., Karátson, J., & Kovács, B. (2014). Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality. SIAM Journal on Numerical Analysis, 52(6), 2957–2976. https://doi.org/10.1137/130940268
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
Kovács, B. (2014). On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems. Applications of Mathematics, 59(5), 489–508. https://doi.org/10.1007/s10492-014-0068-0
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
Werth, G. (2014). Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 32025
Küster, B. (2014). Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra. Communications in Mathematics, 22(2), 141–149.
LibreCat
2014 | Book | LibreCat-ID: 48384
Wessel, L. (2014). Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff (Vol. 19). Springer-Verlag.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker, M., Müller, W., Stroop, J., & Kiffmeier, U. (2014). HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
Khaluf, Y., Birattari, M., & Rammig, F.-J. (2013). Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences. Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, 8273.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2013). Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model. Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
He, D., & Müller, W. (2013). AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. Proceedings of International Conference on Applied Computing (AC).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
Wehrmeister, M. A., Pereira, C. E., & Rammig, F.-J. (2013). Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems. IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2373–2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Khaluf, Y., & Rammig, F.-J. (2013). Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms. ECAL 2013, 12th European Conference on Artificial Life.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag, Sep. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, F., & Müller, W. (2013). Efficient Power Intent Validation Using Loosely-Timed Simulation Models. 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
Jungmann, A., & Kleinjohann, B. (2013). Learning Recommendation System for Automated Service Composition. Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 97–104.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
Gilles, K., Grösbrink, S., Baldin, D., & Kerstan, T. (2013). Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
Grösbrink, S. (2013). On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem. International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
Rammig, F.-J., Khaluf, L., Montealegre, N., Stahl, K., & Zhao, Y. (2013). Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013. 17. - 18. Jun. 2013 IEEE.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
Becker, M., Kiffmeier, U., & Müller, W. (2013). HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
Rammig, F.-J., Stahl, K., & Vaz, G. F. (2013). A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems. Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
Rasche, C., & Ziegert, S. (2013). Multilevel Planning for Self-Optimizing Mechatronic Systems. Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, 6.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
Stahl, K. (2013). AIS-based Anomaly Detection for Self-X Systems. Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), 24–26.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
Grösbrink, S., & Rammig, F.-J. (2013). Safe Self-Evolving Embedded Software via System Virtualization. 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
Grösbrink, S., Almeida, L., de Sousa, M., & Petters, S. M. (2013). Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013). 8. - 11. Apr. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo, M., Samara, S., & Zhao, Y. (2013). Accelerating Online Model Checking. 6’th Latin-American Symposium on Dependable Computing (LADC 2013).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2013). Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
Rasche, C., Bieshaar, M., Jungmann, A., Kleinjohann, L., & Kleinjohann, B. (2013). Statistisches Planen in einem realen Roboterszenario. Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 310, 133–146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
Grösbrink, S., Baldin, D., & Oberthür, S. (2013). Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. ACM SIGBED Review, Band 10.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink, S. (2013). Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development 7(1), 69–79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, A., Kleinjohann, B., & Kleinjohann, L. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4), 284–297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2013). A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In G. Sen Gupta, D. Bailey, S. Demidenko, & D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 (Vol. 480, pp. 103–113). Springer .
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
Mertsching, B., Divband Soorati, M., & Kotthauser, T. (2013). Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds. IEEE International Conference on Robotics and Biomimetics (ROBIO), 661–667.
LibreCat
2013 | Journal Article | LibreCat-ID: 20148
Hamann, H., Karsai, I., & Schmickl, T. (2013). Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning. Bulletin of Mathematical Biology, 75(7), 1181–1206. https://doi.org/10.1007/s11538-013-9851-4
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 20150
Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Thenius, R., & Zahadat, P. (2013). Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems. Chaos, Solitons & Fractals, 50, 100–114. https://doi.org/10.1016/j.chaos.2013.01.011
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20151
Hamann, H., Schmickl, T., Stradner, J., Schwarzer, C., Michiels, N. K., & Esparcia-Alcazar, A. I. (2013). Virtual Spatiality in Agent Controllers: Encoding Compartmentalization. In Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013) (Vol. 7835, pp. 579–588). https://doi.org/10.1007/978-3-642-37192-9_58
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20160
Hamann, H. (2013). A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems. In 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013) (pp. 227–236). IEEE Press. https://doi.org/10.1109/SASO.2013.10
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
Hamann, H., Lio, P., Miglino, O., Nicosia, G., Nolfi, S., & Pavone, M. (2013). Speciation Dynamics: Generating Selective Pressure Towards Diversity. In 12th European Conference on Artificial Life (ECAL 2013). MIT Press.
LibreCat
2013 | Journal Article | LibreCat-ID: 20162
Hamann, H. (2013). Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance. Swarm Intelligence, 7(3), 145–172. https://doi.org/10.1007/s11721-013-0080-0
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 2868
Laudemann, S. (2013). Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
Leder, L. (2013). Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., & Rammig, F.-J. (Eds.). (2013). Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf, L., & Rammig, F.-J. (2013). Organic Programming of Real-Time Operating Systems. The Ninth International Conference on Autonomic and Autonomous Systems.
LibreCat