| 2017 | CLOSER | Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System. | Andreea Buga, Sorana Tania Nemes |
| 2017 | COMPSAC | Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems. | Andreea Buga, Sorana Tania Nemes |
| 2017 | DEXA | A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines. | Andreea Buga, Sorana Tania Nemes |
| 2017 | EJC | A Conceptual Model for Systems Engineering and Its Formal Foundation. | Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop |
| 2017 | ER | Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. | Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe |
| 2017 | ER | Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. | Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe |
| 2017 | ICCBR | Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems. | Sorana Tania Nemes, Andreea Buga |
| 2017 | IIWAS | Management of accurate profile matching using multi-cloud service interaction. | Andreea Buga, Bernhard Freudenthaler, Jorge Martinez-Gil, Sorana Tania Nemes, Alejandra Lorena Paoletti |
| 2017 | MEDI | Conceptual Modelling of Hybrid Systems - Structure and Behaviour. | Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop |
| 2017 | SEFM | Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. | Andreea Buga, Sorana Tania Nemes |