Andreea Buga - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2018

2017

Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed SystemAndreea Buga, Sorana Tania Nemes. closer 2017: 455-462 [doi]

A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State MachinesAndreea Buga, Sorana Tania Nemes. DEXA 2017: 505-513 [doi]

Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed SystemsAndreea Buga, Sorana Tania Nemes. compsac 2017: 181-186 [doi]

Adopting Formal Approaches for Monitoring Sensors of Intercloud SystemsAndreea Buga, Sorana Tania Nemes. ficloud 2017: 93-100 [doi]

Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State MachinesAndreea Buga, Sorana Tania Nemes. SEFM 2018: 153-167 [doi]

Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State MachinesAndreea Buga, Sorana Tania Nemes. caise 2017: 103-112 [doi]

A Conceptual Model for Systems Engineering and Its Formal FoundationAndreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop. ejc 2018: 1-20 [doi]

Conceptual Modelling of Hybrid Systems - Structure and BehaviourAndreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop. medi 2017: 277-290 [doi]

Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective SemanticsAndreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe. ER 2017: 120-133 [doi]

Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-cloudsAndreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe. ER 2017: 26-35 [doi]

Management of accurate profile matching using multi-cloud service interactionAndreea Buga, Bernhard Freudenthaler, Jorge Martínez Gil, Sorana Tania Nemes, Lorena Paoletti. iiwas 2017: 161-165 [doi]

Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed SystemsSorana Tania Nemes, Andreea Buga. iccbr 2017: 257-271 [doi]

Adopting formal approaches for monitoring and adaptation for large-scale distributed systemsSorana Tania Nemes, Andreea Buga. iisa 2017: 1-6 [doi]

2015

A Scalable Monitoring Solution for Large-Scale Distributed SystemsAndreea Buga. eurocast 2015: 219-227 [doi]

AsthMate - Supporting Patient Empowerment through Location-Based Smartphone ApplicationsAndrei Vasilateanu, Andreea Buga. cscs 2015: 411-417 [doi]

Sign in or sign up to see more results.

runs on WebDSL