Andreea Buga

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 19

Top Topics

Conceptual Modelling

Distributed Systems

Failure Detection

Top Venues

Comput. Lang. Syst. Struct.

Publications

Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. 54 (2018)
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
Addressing Client Needs for Cloud Computing using Formal Foundations. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Klaus-Dieter Schewe, Károly Bósa, Andreea Buga, Sorana Tania Nemes
Conceptual Modelling of Service-Oriented Software Systems. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 (Special) (2018)
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
Addressing Client Needs for Cloud Computing using Formal Foundations. CoRR (2018)
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe
Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. ER Workshops (2017)
Andreea Buga, Sorana Tania Nemes
A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines. DEXA (1) (2017)
Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI (2017)
Sorana Tania Nemes, Andreea Buga
Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems. ICCBR (2017)
Andreea Buga, Sorana Tania Nemes
Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines. RADAR+EMISA@CAiSE (2017)
Sorana Tania Nemes, Andreea Buga
Adopting formal approaches for monitoring and adaptation for large-scale distributed systems. IISA (2017)
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe
Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. ER (2017)
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
A Conceptual Model for Systems Engineering and Its Formal Foundation. EJC (2017)
Andreea Buga, Sorana Tania Nemes
Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems. FiCloud Workshops (2017)
Andreea Buga, Sorana Tania Nemes
Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems. COMPSAC (2) (2017)
Andreea Buga, Bernhard Freudenthaler, Jorge Martínez Gil, Sorana Tania Nemes, Alejandra Lorena Paoletti
Management of accurate profile matching using multi-cloud service interaction. iiWAS (2017)
Andreea Buga, Sorana Tania Nemes
Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System. CLOSER (2017)
Andreea Buga, Sorana Tania Nemes
Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. SEFM Workshops (2017)
Andreea Buga
A Scalable Monitoring Solution for Large-Scale Distributed Systems. EUROCAST (2015)
Andrei Vasilateanu, Andreea Buga
AsthMate - Supporting Patient Empowerment through Location-Based Smartphone Applications. CSCS (2015)