| Environment crowd-sensing for asthma management A Vasilateanu, IC Radu, A Buga E-Health and Bioengineering Conference (EHB), 2015, 1-4, 2015 | 12 | 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 | 9* | 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 | 8 | 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 | 8* | |
| 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 | 7 | 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 | 6 | 2017 |
| A scalable monitoring solution for large-scale distributed systems A Buga International Conference on Computer Aided Systems Theory, 219-227, 2015 | 6 | 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 | 5 | 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 | 5 | 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 | 4 | 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 | 4 | 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 | 4 | 2017 |
| AsthMate--Supporting Patient Empowerment through Location-Based Smartphone Applications A Vasilateanu, A Buga Control Systems and Computer Science (CSCS), 2015 20th International …, 2015 | 4 | 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 | 3 | 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 | 2 | 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 | 2 | 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 | 1 | 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 | 1 | 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 | 1 | 2017 |
| Addressing Client Needs for Cloud Computing using Formal Foundations A Buga, ST Nemes, A Mashkoor arXiv preprint arXiv:1808.04222, 2018 | | 2018 |
