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.
1558 Publications
2012 | Conference Paper | LibreCat-ID: 25767
D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks,” in Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time Systems,” in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 2012, pp. 154–161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical Systems,” in 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 2012, pp. 45–48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012 IARIA, IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
S. Grösbrink, S. Oberthür, and D. Baldin, “Dynamic Resource Management for Virtualized Mixed-Criticality Systems,” presented at the 12. - 16. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” Innovations in Systems and Software Engineering 8, pp. 19–33, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26046
M. Stefszky et al., “Balanced homodyne detection of optical quantum states at audio-band frequencies and below,” Classical and Quantum Gravity, Art. no. 145015, 2012, doi: 10.1088/0264-9381/29/14/145015.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 26079
M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S. Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 2608
S. Betz, “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains,” in Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., S. Betz, Ed. Hamburg, 2012, pp. 49–72.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of use,” presented at the 28. Feb. - 1. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
A. Jungmann, T. Schierbaum, and B. Kleinjohann, “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot,” in Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), 2012, pp. 441–444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
F. Bin Tariq, “Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints,” presented at the 24. - 26. Feb. 2012, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 2609
S. Betz, “Analyse des Bullwhip-Effekts in einer Supply Chain von KMU,” in Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., S. Betz, Ed. Hamburg, 2012, pp. 105–132.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
E. Mathews and H. Frey, “A Localized Link Removal and Addition based Planarization Algorithm,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
E. Mathews and C. Mathew, “Deployment of mobile routers ensuring coverage and connectivity,” International Journal of Computer Networks and Communications 4(1), pp. 175–192, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
W. Müller, M. Becker, H. Zabel, A. Elfeky, and A. DiPasquale, “Virtual Prototyping of Cyber-Physical Systems,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Y. Khaluf, E. Mathews, and F.-J. Rammig, “Swarm Robotic Time Synchronization for Object Tracking,” in Self-Organization in Embedded Real-Time Systems, M. T. Higuera-Toledano, U. Brinkschulte, and A. Rettberg, Eds. New York, Heidelberg, Dordrecht, London: Springer, 2012, pp. 75–92.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in Schemata und Praktiken, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
F. Bin Tariq and S. Korrapati, “Adaptive Web Services for Modular and Reusable Software Development,” in Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
2012 | Journal Article | LibreCat-ID: 26132
N. Kirchhoff, C. Schröder, D. Stute, E. Moritzer, and H.-J. Schmid, “Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess,” Chemie Ingenieur Technik, pp. 1584–1589, 2012, doi: 10.1002/cite.201100223.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26133
M. J. Kirchhof, H. Förster, H.-J. Schmid, and W. Peukert, “Sintering kinetics and mechanism of vitreous nanoparticles,” Journal of Aerosol Science, vol. 45, pp. 26–39, 2012, doi: 10.1016/j.jaerosci.2011.10.006.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 26181
A. Jungmann and B. Kleinjohann, “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition,” in Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 26199
D. Nordsiek, Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme, vol. 304. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 26200
S. Kreft, Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen, vol. 305. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
2012 | Conference (Editor) | LibreCat-ID: 26201
J. Gausemeier, Ed., Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung, vol. 306. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26351
C. Gehrke, J. Sperling, and W. Vogel, “Quantification of nonclassicality,” Physical Review A, 2012, doi: 10.1103/physreva.86.052118.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26352
D. Pagel, H. Fehske, J. Sperling, and W. Vogel, “Strongly entangled light from planar microcavities,” Physical Review A, 2012, doi: 10.1103/physreva.86.052313.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26353
A. Miranowicz, P. Horodecki, R. W. Chhajlany, J. Tuziemski, and J. Sperling, “Analytical progress on symmetric geometric discord: Measurement-based upper bounds,” Physical Review A, 2012, doi: 10.1103/physreva.86.042123.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26354
J. Sperling, W. Vogel, and G. S. Agarwal, “Sub-Binomial Light,” Physical Review Letters, 2012, doi: 10.1103/physrevlett.109.093601.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26355
J. Sperling and W. Vogel, “Entanglement quasiprobabilities of squeezed light,” New Journal of Physics, Art. no. 055026, 2012, doi: 10.1088/1367-2630/14/5/055026.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26356
J. Sperling, W. Vogel, and G. S. Agarwal, “True photocounting statistics of multiple on-off detectors,” Physical Review A, 2012, doi: 10.1103/physreva.85.023820.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2640
D. Kundisch, “Trading Venue Decision of Private Online Investors,” International Journal of Electronic Finance, vol. 6, no. 2, pp. 103–120, 2012.
LibreCat