Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 20 Jan 2022, 36th IEEE/ACM International Conference on Automated Software Engineering. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees
Camara Moreno, J., 7 Oct 2020, Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020). ACM, p. 22-33Research 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)
2020Activity: Participating in or organising an event › Conference
-
13th European Conference on Software Architecture
Javier Camara Moreno (Chair)
2019Activity: Participating in or organising an event › Conference
-
IEEE Software (Journal)
Javier Camara Moreno (Guest editor), David Garlan (Guest editor) & Greg Eakman (Guest editor)
2019Activity: Publication peer-review and editorial work › Journal or guest editorship