Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System. - Andreea Buga; Sorana Tania Nemes (CLOSER, 2017)

Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems. - Andreea Buga; Sorana Tania Nemes (COMPSAC (2), 2017)

A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines. - Andreea Buga; Sorana Tania Nemes (DEXA (1), 2017)

A Conceptual Model for Systems Engineering and Its Formal Foundation. - Andreea Buga; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (EJC, 2017)

Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines. - Andreea Buga; Sorana Tania Nemes (RADAR+EMISA@CAiSE, 2017)

Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. - Andreea Buga; Sorana Tania Nemes; Klaus-Dieter Schewe (ER, 2017)

Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. - Andreea Buga; Sorana Tania Nemes; Klaus-Dieter Schewe (ER Workshops, 2017)

Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems. - Andreea Buga; Sorana Tania Nemes (FiCloud Workshops, 2017)

Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems. - Sorana Tania Nemes; Andreea Buga (ICCBR, 2017)

Adopting formal approaches for monitoring and adaptation for large-scale distributed systems. - Sorana Tania Nemes; Andreea Buga (IISA, 2017)

Management of accurate profile matching using multi-cloud service interaction. - Andreea Buga; Bernhard Freudenthaler; Jorge Martinez-Gil; Sorana Tania Nemes; Alejandra Lorena Paoletti (iiWAS, 2017)

Conceptual Modelling of Hybrid Systems - Structure and Behaviour. - Andreea Buga; Atif Mashkoor; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (MEDI, 2017)

Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. - Andreea Buga; Sorana Tania Nemes (SEFM Workshops, 2017)

Addressing Client Needs for Cloud Computing using Formal Foundations. - Andreea Buga; Sorana Tania Nemes; Atif Mashkoor (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. - Andreea Buga; Atif Mashkoor; Sorana Tania Nemes; Klaus-Dieter Schewe; Pornpan Songprasop (Comput. Lang. Syst. Struct., 2018)

Conceptual Modelling of Service-Oriented Software Systems. - Klaus-Dieter Schewe; Károly Bósa; Andreea Buga; Sorana Tania Nemes (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018)