Links

• Google Scholar
• LinkedIn

Research Interests

• Software Deployment
• Self-Adaptive Software Systems
• Cyber-Physical Systems

Projects

• PANORAMA: graphical environment to navigate and visualise large-scale deployment specifications.
• Amelia: declarative and rule-based DSL for automating the deployment
  of distributed component-based software systems.
  
• IoT Recipe Maven: umbrella project that aims at exploiting digital expertise in the modern kitchen

The tools we are trying to use and the language or notation we are using to express or record our thoughts, are the major factors determining what we can think or express at all!

— The Humble Programmer Edsger W. Dijkstra

Publications

• Angara, P., Jiménez, M., Agarwal, K., Jain, H., Jain, R, Stege, U., Ganti, S., and Müller, H. A.. Foodie fooderson: A conversational agent for the smart kitchen. In Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, page to appear. IBM Corp., 2017.
• Jiménez, M., Villegas, N. M., Tamura, G., and Müller, H. A.. Deployment specification challenges in the context of large scale systems. In Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, page to ap- pear. IBM Corp., 2017.
• Arboleda, H., Paz, A., Jiménez, M., & Tamura, G. (2016). Development and Instrumentation of a Framework for the Generation and Management of Self-Adaptive Enterprise Applications. Ingenieria Y Universidad, 20(2).
• Arboleda, H., Paz, A., Jiménez, M., Tamura, G., "A Framework for the Generation and Management of Self-Adaptive Enterprise Applications" Computing Colombian Conference (10CCC), 2015 10th, Bogota, 2015, pp. 55-62.
• Jiménez, M., Villota Gomez, A., Villegas, N. M., Tamura, G., & Duchien, L. (2014, September). A Framework for Automated and Composable Testing of Component-based Services. In Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), 2014 IEEE 8th International Symposium on the (pp. 1-10). IEEE.