Andreea Buga
Andreea Buga
Verified email at - Homepage
Cited by
Cited by
Environment crowd-sensing for asthma management
A Vasilateanu, IC Radu, A Buga
E-Health and Bioengineering Conference (EHB), 2015, 1-4, 2015
Towards Modeling Monitoring of Smart Traffic Services in a Large-Scale Distributed System
A Buga, ST Nemes
Cloud Computing and Services Science (CLOSER), 2017 6 th International …, 2017
Teaching robotics and virtual reality in a synergistic approach
C Buiu, A Buga, AM Coman
e-Learning in Industrial Electronics (ICELIE), 2013 7th IEEE International …, 2013
Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines
A Buga, ST Nemes
Proceedings of the Radar track at the 22nd International Working Conference …, 0
Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems
ST Nemeş, A Buga
International Conference on Case-Based Reasoning, 257-271, 2017
Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics
A Buga, ST Nemeş, KD Schewe
International Conference on Conceptual Modeling, 120-133, 2017
A scalable monitoring solution for large-scale distributed systems
A Buga
International Conference on Computer Aided Systems Theory, 219-227, 2015
A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines
A Buga, ST Nemeș
International Conference on Database and Expert Systems Applications, 505-513, 2017
Towards modeling monitoring services for large-scale distributed systems with abstract state machines
A Buga, ST Nemes
Proceedings of the 22nd International Working Conference on Evaluation and …, 2017
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study
A Buga, A Mashkoor, ST Nemeş, KD Schewe, P Songprasop
Computer Languages, Systems & Structures 54, 297-315, 2018
Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds
A Buga, ST Nemeş, KD Schewe
International Conference on Conceptual Modeling, 26-35, 2017
Conceptual Modelling of Hybrid Systems--Structure and Behaviour
A Buga, A Mashkoor, ST Nemes, KD Schewe, P Songprasop, A Buga, ...
7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017 …, 2017
AsthMate--Supporting Patient Empowerment through Location-Based Smartphone Applications
A Vasilateanu, A Buga
Control Systems and Computer Science (CSCS), 2015 20th International …, 2015
Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines
A Buga, ST Nemes
Formal Approaches for Advanced Computing Systems–1st International Workshop …, 2017
Management of accurate profile matching using multi-cloud service interaction
A Buga, B Freudenthaler, J Martinez-Gil, ST Nemes, L Paoletti
Proceedings of the 19th International Conference on Information Integration …, 2017
Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems
A Buga, ST Nemeş
Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st …, 2017
Conceptual Modelling of Service-Oriented Software Systems
KD Schewe, K Bósa, A Buga, ST Nemeş
Enterprise Modelling and Information Systems Architectures 13, 216-233, 2018
Adopting formal approaches for monitoring and adaptation for large-scale distributed systems
ST Nemeş, A Buga
Information, Intelligence, Systems & Applications (IISA), 2017 8th …, 2017
Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems
A Buga, ST Nemes
Future Internet of Things and Cloud Workshops (FiCloudW), 2017 5th …, 2017
Addressing Client Needs for Cloud Computing using Formal Foundations
A Buga, ST Nemes, A Mashkoor
arXiv preprint arXiv:1808.04222, 2018
The system can't perform the operation now. Try again later.
Articles 1–20