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.
9737 Publications
2015 | Conference Paper | LibreCat-ID: 47233
Perl, H., Dechand, S., Smith, M., Arp, D., Yamaguchi, F., Rieck, K., Fahl, S., & Acar, Y. (2015). VCCFinder: Finding Potential Vulnerabilities in Open-Source Projects to Assist Code Audits. Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. https://doi.org/10.1145/2810103.2813604
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 47232
Oltrogge, M., Acar, Y., Dechand, S., Smith, M., & Fahl, S. (2015). To Pin or Not to Pin-Helping App Developers Bullet Proof Their TLS Connections. In J. Jung & T. Holz (Eds.), 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015 (pp. 239–254). USENIX Association.
LibreCat
2015 | Conference Paper | LibreCat-ID: 48838
Bossek, J., Bischl, B., Wagner, T., & Rudolph, G. (2015). Learning Feature-Parameter Mappings for Parameter Tuning via the Profile Expected Improvement. Proceedings of the Genetic and Evolutionary Computation Conference, 1319–1326. https://doi.org/10.1145/2739480.2754673
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 48887
Meisel, S., Grimme, C., Bossek, J., Wölck, M., Rudolph, G., & Trautmann, H. (2015). Evaluation of a Multi-Objective EA on Benchmark Instances for Dynamic Routing of a Vehicle. Proceedings of the Genetic and Evolutionary Computation Conference , 425–432. https://doi.org/10.1145/2739480.2754705
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 29608
Peters, W., Wallscheid, O., & Böcker, J. (2015). Optimum Efficiency Control of Interior Permanent Magnet Synchronous Motors in Drive Trains of Electric and Hybrid Vehicles. European Conference on Power Electronics and Applications (EPE). https://doi.org/10.1109/EPE.2015.7311680
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 31368
Hilgert, J., Hoffmann, M., & Panse, A. (2015). Kann professorale Lehre tutoriell sein? Ein Modellversuch zur Einführung in mathematisches Denken und Arbeiten. In W. Paravicini & J. Schnieder (Eds.), Tagungsband zum Hansekolloquium zur Hochschuldidaktik der Mathematik. (pp. 23–26). WTM-Verlag.
LibreCat
2015 | Book | LibreCat-ID: 31373
Hilgert, J., Hoffmann, M., & Panse, A. (2015). Einführung in mathematisches Denken und Arbeiten: tutoriell und transparent. Springer. https://doi.org/10.1007/978-3-662-45512-8
LibreCat
| DOI
| Download (ext.)
2015 | Preprint | LibreCat-ID: 51526
Hilgert, J., Pasquale, A., & Przebinda, T. (2015). Resonances for the Laplacian: the cases BC2 and C2 (except over SOo(p,2), p>0 odd).
LibreCat
| Download (ext.)
2015 | Preprint | LibreCat-ID: 51527
Hilgert, J., Manon, C., & Martens, J. (2015). Contraction of Hamiltonian K-spaces.
LibreCat
| Download (ext.)
2015 | Preprint | LibreCat-ID: 51529
Hilgert, J., Pasquale, A., & Przebinda, T. (2015). Resonances for the Laplacian of products of two rank one Riemannian symmetric spaces.
LibreCat
| Download (ext.)
2015 | Preprint | LibreCat-ID: 51530
Hilgert, J., Alldridge, A., & Wurzbacher, T. (2015). Superorbits.
LibreCat
| Download (ext.)
2015 | Dissertation | LibreCat-ID: 45973 | 
Kovács, B. (2015). Efficient numerical methods for elliptic and parabolic partial differential equations. https://doi.org/10.15476/ELTE.2015.076
LibreCat
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 33620
Rezat, S., Rezat, S., & Janzen, S. (2015). Sprachsensibler Umgang mit Textmustern im Mathematikunterricht am Beispiel von Konstruktionsbeschreibungen. In F. Caluori, H. Linneweber-Lammerskitten, & Chr. Streit (Eds.), Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel. Band 2 (pp. 736–739). WTM.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 53590
Müller-Gridschneder, D., Müller, W., & Mitra, S. (Eds.). (2015). Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25112
Jungmann, A., & Kleinjohann, B. (2014). Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 755–758.
LibreCat
2014 | Journal Article | LibreCat-ID: 25114
Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal on Advances in Intelligent Systems 7(3&4), 572–594.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25115
Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–112.
LibreCat
2014 | Journal Article | LibreCat-ID: 25116
Becker, M., & Kuznik, C. (2014). Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25119
Stern, C., & Kleinjohann, L. (2014). Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces. Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, 209–215.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25122
Grösbrink, S., & Almeida, L. (2014). A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
Becker, M., Kuznik, C., & Müller, W. (2014). Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. 17th Euromicro Conference on Digital Systems Design (DSD).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25147
Jatzkowski, J., & Kleinjohann, B. (2014). Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25148
Sudhakar, K., Zhao, Y., & Rammig, F.-J. (2014). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 374–383.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25149
Rammig, F.-J., & Stahl, K. (2014). Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems. Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 334–341.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25150
Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. Proceedings of the 10th World Congress on Services (SERVICES), 346–353.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25152
Grösbrink, S. (2014). Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. 8th IEEE International Conference on Software Security and Reliability.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25153
Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 49–57.
LibreCat
2014 | Journal Article | LibreCat-ID: 25154
Brink, C., & Jatzkowski, J. (2014). EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1), 12–13.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. ACM/IEEE 5th International Conference on Cyber-Physical Systems.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25156
Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., & Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25159
Grösbrink, S. (2014). Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. GI Design For Future Workshop.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25160
Grösbrink, S., Almeida, L., de Sousa, M., & Petters, S. M. (2014). Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, B., Becker, M., & Müller, W. (2014). Portierung der TriCore-Architektur auf QEMU. 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) .
LibreCat
2014 | Conference Paper | LibreCat-ID: 25165
Grösbrink, S., Korrapati, S., Schmitz, A., & Schreckenberg, A. (2014). Hypervisor-based Consolidation for Automated Teller Machines. Embedded World Conference.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25167
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2014). Evaluation of Color Spaces for Robust Image Segmentation. Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP).
LibreCat
2014 | Book | LibreCat-ID: 25168
Gausemeier, J., Rammig, F.-J., Schäfer, W., & Sextro, W. (2014). Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25170
Grösbrink, S., Korf, S., Porrmann, M., Priesterjahn, C., & Stahl, K. (2014). Self-optimization by Reconfiguration. In Design Methodology for Intelligent Technical Systems (pp. 19–22). Springer-Verlag.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25171
Grösbrink, S. (2014). Virtualization. In Dependability of Self-Optimizing Mechatronic Systems (pp. 152–157). Springer-Verlag .
LibreCat
2014 | Conference Paper | LibreCat-ID: 25172
Rammig, F.-J., Grösbrink, S., Stahl, K., & Zhao, Y. (2014). Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. Brazilian Symposium on Computing Systems Engineering (SBESC).
LibreCat
2014 | Book Chapter | LibreCat-ID: 25173
Dellnitz, M., Flaßkamp, K., Hartmann, P., Krüger, M., Meyer, T., Priesterjahn, C., Ober-Blöbaum, S., Rasche, C., Sextro, W., Stahl, K., & Trächtler, A. (2014). Self-optimizing Mechatronic Systems. In Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1 (pp. 3–12). Springer-Verlag.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25175
Grösbrink, S., Oberthür, S., & Stahl, K. (2014). System Software. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development (pp. 298–317). Springer-Verlag.
LibreCat
2014 | Book Chapter | LibreCat-ID: 25176
Gausemeier, J., Korf, S., Porrmann, M., Stahl, K., Sudmann, O., & Vaßholz, M. (2014). Development of Self-Optimizing Systems. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3 (pp. 65–117). Springer-Verlag .
LibreCat
2014 | Book Chapter | LibreCat-ID: 25177
Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., Ober-Blöbaum, S., Priesterjahn, C., Rasche, C., Schäfer, W., Steenken, D., Trächtler, A., Wehrheim, H., & Ziegert, S. (2014). Development of the RailCab Vehicle. In Dependability of Self-Optimizing Mechatronic Systems (pp. 184–190). Springer-Verlag .
LibreCat
2014 | Book Chapter | LibreCat-ID: 25179
Rammig, F.-J., & Zhao, Y. (2014). Online Model Checking. In Dependability of Self-Optimizing Mechatronic Systems (pp. 147–152). Springer-Verlag.
LibreCat
2014 | Book | LibreCat-ID: 25180
Gausemeier, J., Rammig, F.-J., & Schäfer, W. (2014). Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20007
Hamann, H., Karsai, I., Schmickl, T., & Hilbun, A. (2014). The common stomach: Organizing task allocation in wasp societies. In Symposium on Biomathematics and Ecology: Education and Research.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20008
Hamann, H., & Valentini, G. (2014). Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins. In Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Cham. https://doi.org/10.1007/978-3-319-09952-1_15
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 20120
Hamann, H., Schmickl, T., & Crailsheim, K. (2014). Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem. Artificial Life, 20(1), 77–93. https://doi.org/10.1162/ARTL_a_00097
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20121
Dorigo, M., Hamann, H., Valentini, G., Lomuscio, A., Scerri, P., Bazzan, A., & Huhns, M. (2014). Self-Organized Collective Decision Making: The Weighted Voter Model. In Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20126
Hamann, H. (2014). Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal. In Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014) (pp. 31–32). https://doi.org/10.1145/2598394.2598507
LibreCat
| DOI