Andreea Buga

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