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.
327 Publications
2016 | Conference Paper | LibreCat-ID: 25070
Jungmann, A., & Kleinjohann, B. (2016). Automatic Composition of Service-based Image Processing Applications. Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 106–113.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25073
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS).
LibreCat
2015 | Conference Paper | LibreCat-ID: 25074
Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS).
LibreCat
2015 | Conference Paper | LibreCat-ID: 25075
Stahl, K., Stöcklein, J., & Li, S. (2015). Evaluation of Autonomous Approaches using Virtual Environments. In R. Shumaker & S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015 (Vol. 9179, pp. 499–512). Springer International Publishing Switzerland.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25076
Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality. Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329–332.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25080
Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service Composition. Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57–64.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25082
Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. Proceedings of Electronic System Level Synthesis Conference (ESLsyn).
LibreCat
2015 | Conference Paper | LibreCat-ID: 25083
Jatzkowski, J., & Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. Mechatronics.
LibreCat
2015 | Journal Article | LibreCat-ID: 25107
Jungmann, A., & Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. Journal of Internet Services and Applications 6(1), 1–18.
LibreCat
2015 | Journal Article | LibreCat-ID: 25108
Rammig, F.-J., & Stahl, K. (2015). Online behavior classification for anomaly detection in self-x real-time systems. Concurrency and Computation: Practice and Experience .
LibreCat
2015 | Journal Article | LibreCat-ID: 25109
Sudhakar, K., Zhao, Y., & Rammig, F.-J. (2015). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. Concurrency and Computation: Practice and Experience .
LibreCat
2015 | Journal Article | LibreCat-ID: 25110
Joy, M. tech. M. M., & Rammig, F.-J. (2015). A hybrid methodology to detect memory leaks in soft real time embedded systems software. Int. J. of Embedded Systems.
LibreCat
2015 | Journal Article | LibreCat-ID: 25111
Khaluf, Y., Birattari, M., & Rammig, F.-J. (2015). Analysis of long-term swarm performance based on short-term experiments. Springer Jounal Soft Computing .
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 | 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