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
Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef 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
Joy, M. tech. Mabel Mary, and Franz-Josef 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
Khaluf, Yara, Mauro Birattari, and Franz-Josef Rammig. “Analysis of Long-Term Swarm Performance Based on Short-Term Experiments.” Springer Jounal Soft Computing , 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25112
Jungmann, Alexander, and Bernd 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), 755–58. IEEE, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25114
Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal on Advances in Intelligent Systems 7(3&4), 2014, 572–94.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25115
Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–12. IEEE Computer Society, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25116
Becker, Markus, and Christoph 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
Stern, Claudius, and Lisa 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, 209–15. Institute of Industrial Applications Engineers, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25122
Grösbrink, Stefan, and Luis Almeida. “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, Markus, Christoph Kuznik, and Wolfgang Müller. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” In 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat