Javier Camara Moreno

If you made any changes in Pure these will be visible here soon.

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 31 Aug 2021, (E-pub ahead of print) 36th IEEE/ACM International Conference on Automated Software Engineering.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees
Camara Moreno, J., 2020, Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model-Based Analysis of Microservice Resiliency Patterns
Camara Moreno, J., Garlan, D., Nabor, M. & Mendes Aderaldo, C., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

14th European Conference on Software Architecture
Javier Camara Moreno (Chair)
2020
Activity: Participating in or organising an event › Conference
IEEE Software (Journal)
Javier Camara Moreno (Guest editor), David Garlan (Guest editor) & Greg Eakman (Guest editor)
2019
Activity: Publication peer-review and editorial work › Journal or guest editorship
13th European Conference on Software Architecture
Javier Camara Moreno (Chair)
2019
Activity: Participating in or organising an event › Conference

Network