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
2015 | Journal Article | LibreCat-ID: 25109
K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” Concurrency and Computation: Practice and Experience , 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25110
M. tech. M. M. Joy and F.-J. Rammig, “A hybrid methodology to detect memory leaks in soft real time embedded systems software,” Int. J. of Embedded Systems, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25111
Y. Khaluf, M. Birattari, and F.-J. Rammig, “Analysis of long-term swarm performance based on short-term experiments,” Springer Jounal Soft Computing , 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25112
A. Jungmann and B. Kleinjohann, “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), 2014, pp. 755–758.
LibreCat
2014 | Journal Article | LibreCat-ID: 25114
A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services,” International Journal on Advances in Intelligent Systems 7(3&4), pp. 572–594, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25115
A. Jungmann, F. Mohr, and B. Kleinjohann, “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition,” in Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
LibreCat
2014 | Journal Article | LibreCat-ID: 25116
M. Becker and C. Kuznik, “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation,” Forum on Specification & Design Languages (FDL 2014), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25119
C. Stern and L. Kleinjohann, “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, Kitakyushu, Japan, 26. - 29. Sep. 2014, 2014, pp. 209–215.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25122
S. Grösbrink and L. Almeida, “A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
M. Becker, C. Kuznik, and W. Müller, “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software,” 2014.
LibreCat