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