You are here: HomeStaffAndreea Buga

Andreea Buga, Msc.

Contact

Andreea Buga
Research Fellow

Research Interests

  • Cloud Computing
  • Abstract State Machines
  • Formal Models

Education

Curriculum Vitae

Publications

[1] A. Buga and S. T. NemeŇü. Towards an asm specification for monitoring and adaptation services of large-scale distributed systems. In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), volume 02, pages 181-186, July 2017.
@inproceedings{Buga2017f,
  title = {Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems},
  author = {A. Buga and S. T. NemeŇü},
  booktitle = {2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)},
  year = {2017},
  month = {July},
  pages = {181-186},
  volume = {02},
  doi = {10.1109/COMPSAC.2017.247},
  issn = {0730-3157},
  keywords = {Adaptation models;Biomedical monitoring;Monitoring;Parallel processing;Sensors;Software;Abstract State Machines;Adaptation;Formal Modeling;Large-Scale Distributed Systems;Monitoring}
}
[2] Andreea Buga and Sorana Tania Nemes. Towards modeling monitoring services for large-scale distributed systems with abstract state machines. In Jens Gulden, Selmin Nurcan, Iris Reinhartz-Berger, Wided Guédria, Palash Bera, Sérgio Guerreiro, Michael Fellmann, and Matthias Weidlich, editors, Joint Proceedings of the Radar tracks at the 18th International Working Conference on Business Process Modeling, Development and Support (BPMDS), and the 22nd International Working Conference on Evaluation and Modeling Methods for Systems Analysis and Development (EMMSAD), and the 8th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA) co-located with the 29th International Conference on Advanced Information Systems Engineering 2017 (CAiSE 2017), volume 1859 of CEUR Workshop Proceedings, pages 103-112. CEUR-WS.org 2017, June 2017.
@inproceedings{Buga2017c,
  title = {Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines},
  author = {Andreea Buga and Sorana Tania Nemes},
  booktitle = {Joint Proceedings of the Radar tracks at the 18th International Working Conference on Business Process Modeling, Development and Support (BPMDS), and the 22nd International Working Conference on Evaluation and Modeling Methods for Systems Analysis and Development (EMMSAD), and the 8th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA) co-located with the 29th International Conference on Advanced Information Systems Engineering 2017 (CAiSE 2017)},
  year = {2017},
  editor = {Jens Gulden and Selmin Nurcan and Iris Reinhartz-Berger and Wided Gu{\'{e}}dria and Palash Bera and S{\'{e}}rgio Guerreiro and Michael Fellmann and Matthias Weidlich},
  month = {June},
  pages = {103--112},
  publisher = {CEUR-WS.org 2017},
  series = {CEUR Workshop Proceedings},
  volume = {1859},
  owner = {andreeabuga},
  timestamp = {2017.09.06},
  url = {http://ceur-ws.org/Vol-1859/}
}
[3] Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, and Pornpan Songprasop. Conceptual modelling of hybrid systems - structure and behaviour. In Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, pages 277-290, 2017.
@inproceedings{Schewe2017b,
  title = {Conceptual Modelling of Hybrid Systems - Structure and Behaviour},
  author = {Andreea Buga and
 Atif Mashkoor and
 Sorana Tania Nemes and
 Klaus{-}Dieter Schewe and
 Pornpan Songprasop},
  booktitle = {Model and Data Engineering - 7th International Conference, {MEDI}
 2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
  year = {2017},
  pages = {277--290},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/medi/BugaMNSS17},
  crossref = {DBLP:conf/medi/2017},
  doi = {10.1007/978-3-319-66854-3_21},
  timestamp = {Mon, 18 Sep 2017 14:09:18 +0200},
  url = {https://doi.org/10.1007/978-3-319-66854-3_21}
}
[4] Andreea Buga and Sorana Tania Nemes. A formal approach for failure detection in large-scale distributed systems using abstract state machines. In Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I, pages 505-513, 2017.
@inproceedings{Buga2017b,
  title = {A Formal Approach for Failure Detection in Large-Scale Distributed
 Systems Using Abstract State Machines},
  author = {Andreea Buga and
 Sorana Tania Nemes},
  booktitle = {Database and Expert Systems Applications - 28th International Conference,
 {DEXA} 2017, Lyon, France, August 28-31, 2017, Proceedings, Part {I}},
  year = {2017},
  pages = {505--513},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/dexa/BugaN17},
  crossref = {DBLP:conf/dexa/2017-1},
  doi = {10.1007/978-3-319-64468-4_38},
  timestamp = {Mon, 14 Aug 2017 18:53:51 +0200},
  url = {https://doi.org/10.1007/978-3-319-64468-4_38}
}
[5] Sorana Tania Nemes and Andreea Buga. Towards a case-based reasoning approach to dynamic adaptation for large-scale distributed systems. In Case-Based Reasoning Research and Development - 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings, pages 257-271, 2017.
@inproceedings{Nemes2017a,
  title = {Towards a Case-Based Reasoning Approach to Dynamic Adaptation for
 Large-Scale Distributed Systems},
  author = {Sorana Tania Nemes and
 Andreea Buga},
  booktitle = {Case-Based Reasoning Research and Development - 25th International
 Conference, {ICCBR} 2017, Trondheim, Norway, June 26-28, 2017, Proceedings},
  year = {2017},
  pages = {257--271},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/iccbr/NemesB17},
  crossref = {DBLP:conf/iccbr/2017},
  doi = {10.1007/978-3-319-61030-6_18},
  timestamp = {Wed, 21 Jun 2017 10:56:04 +0200},
  url = {https://doi.org/10.1007/978-3-319-61030-6_18}
}
[6] Andreea Buga and Sorana Tania Nemes. Towards modeling monitoring of smart traffic services in a large-scale distributed system. In Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,, pages 483-490. INSTICC, ScitePress, 2017.
@conference{Buga2017a,
  title = {Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System},
  author = {Andreea Buga and Sorana Tania Nemes},
  booktitle = {Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
  year = {2017},
  organization = {INSTICC},
  pages = {483-490},
  publisher = {ScitePress},
  doi = {10.5220/0006303704830490},
  isbn = {978-989-758-243-1}
}
[7] Andreea Buga and Sorana Tania Nemes. Formalizing monitoring processes for large-scale distributed systems using abstract state machines. In Formal Approaches for Advanced Computing Systems - 1st International Workshop, FAACS 2017, Trento, Italy, September 4, 2017, Proceedings, Lecture Notes in Computer Science. Springer, 2017. To appear.
@inproceedings{Buga2017d,
  title = {Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines},
  author = {Andreea Buga and Sorana Tania Nemes},
  booktitle = {Formal Approaches for Advanced Computing Systems - 1st International Workshop, {FAACS} 2017, Trento, Italy, September 4, 2017, Proceedings},
  year = {2017},
  note = {To appear},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  owner = {andreeabuga},
  timestamp = {2017.09.06}
}
[8] Andreea Buga and Sorana Tania Nemes. Adopting formal approaches for monitoring sensors of intercloud systems. In 5th IEEE International Conference on Future Internet of Things and Cloud Workshops, FiCloud Workshops 2017, Prague, Czech Republic, August 22-24, 2017. IEEE Computer Society, 2017. To appear.
@inproceedings{Buga2017e,
  title = {Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems},
  author = {Andreea Buga and Sorana Tania Nemes},
  booktitle = {5th {IEEE} International Conference on Future Internet of Things and Cloud Workshops, FiCloud Workshops 2017, Prague, Czech Republic, August 22-24, 2017},
  year = {2017},
  note = {To appear},
  publisher = {{IEEE} Computer Society},
  owner = {andreeabuga},
  timestamp = {2017.09.06}
}
[9] Andreea Buga, Sorana Tania Nemes, and Klaus-Dieter Schewe. Conceptual modelling of autonomous multi-cloud interaction with reflective semantics. In Conceptual Modeling - 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings, Lecture Notes in Computer Science. Springer, 2017. To appear.
@inproceedings{Schewe2017a,
  title = {Conceptual Modelling of Autonomous Multi-Cloud Interaction with Reflective Semantics},
  author = {Andreea Buga and Sorana Tania Nemes and Klaus-Dieter Schewe},
  booktitle = {Conceptual Modeling - 36th International Conference, {ER} 2017, Valencia, Spain, November 6-9, 2017, Proceedings},
  year = {2017},
  note = {To appear},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  owner = {andreeabuga},
  timestamp = {2017.09.06}
}
[10] Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, and Pornpan Songprasop. A conceptual model for systems engineering and its formal foundation. In Information Modelling and Knowledge Bases XXIX, 27th International Conference on Information Modelling and Knowledge Bases (EJC 2017), Krabi, Thailand, June 5-9, 2017, Frontiers in Artificial Intelligence and Applications. IOS Press, 2017. To appear.
@inproceedings{Schewe2017c,
  title = {A Conceptual Model for Systems Engineering and Its Formal Foundation},
  author = {Andreea Buga and Sorana Tania Nemes and Klaus-Dieter Schewe and Pornpan Songprasop},
  booktitle = {Information Modelling and Knowledge Bases XXIX, 27th International Conference on Information Modelling and Knowledge Bases {(EJC} 2017), Krabi, Thailand, June 5-9, 2017},
  year = {2017},
  note = {To appear},
  publisher = {{IOS} Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  owner = {andreeabuga},
  timestamp = {2017.09.06}
}
[11] Sorana Tania Nemes and Andreea Buga. Towards modeling adaptation services for large-scale distributed systems with abstract state machines. In Proceedings of the Seventh International Symposium on Business Modeling and Software Design - Volume 1: BMSD,, pages 193-198. INSTICC, ScitePress, 2017.
@conference{Nemes2017b,
  title = {Towards Modeling Adaptation Services for Large-Scale Distributed Systems with Abstract State Machines},
  author = {Sorana Tania Nemes and Andreea Buga},
  booktitle = {Proceedings of the Seventh International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},
  year = {2017},
  organization = {INSTICC},
  pages = {193--198},
  publisher = {ScitePress},
  doi = {10.5220/0006528900000000},
  isbn = {978-989-758-238-7}
}
[12] Sorana Tania Nemes and Andreea Buga. Adopting formal approaches for monitoring and adaptation for large-scale distributed systems. In 8th International Conference on Information, Intelligence, Systems & Applications, IISA 2017, Larnaca, Cyprus, August 28-30, 2017. IEEE, 2017. To appear.
@inproceedings{Nemes2017c,
  title = {Adopting Formal Approaches for Monitoring and Adaptation for Large-Scale Distributed Systems},
  author = {Sorana Tania Nemes and Andreea Buga},
  booktitle = {8th International Conference on Information, Intelligence, Systems {\&} Applications, {IISA} 2017, Larnaca, Cyprus, August 28-30, 2017},
  year = {2017},
  note = {To appear},
  publisher = {{IEEE}},
  owner = {andreeabuga},
  timestamp = {2017.09.06}
}
[13] Andrei Vasilateanu and Andreea Buga. Asthmate - supporting patient empowerment through location-based smartphone applications. In Control Systems and Computer Science (CSCS), 2015 20th International Conference on, pages 411-417, May 2015.
@inproceedings{7168462,
  title = {AsthMate - Supporting Patient Empowerment through Location-Based Smartphone Applications},
  author = {Vasilateanu, Andrei and Buga, Andreea},
  booktitle = {Control Systems and Computer Science (CSCS), 2015 20th International Conference on},
  year = {2015},
  month = {May},
  pages = {411-417},
  doi = {10.1109/CSCS.2015.61},
  keywords = {Biomedical monitoring;Cloud computing;Collaboration;Diseases;Monitoring;Prototypes;cloud computing;e-health;mobile computing;patient empowerment}
}
[14] Andreea Buga. A scalable monitoring solution for large-scale distributed systems. In Roberto Moreno-D√≠az, Franz Pichler, and Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory ‚Äď EUROCAST 2015, volume 9520 of Lecture Notes in Computer Science, pages 219-227. Springer International Publishing, 2015.
@incollection{Buga2015b,
  title = {A Scalable Monitoring Solution for Large-Scale Distributed Systems},
  author = {Buga, Andreea},
  booktitle = {Computer Aided Systems Theory ‚Äď EUROCAST 2015},
  publisher = {Springer International Publishing},
  year = {2015},
  editor = {Moreno-Díaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis},
  pages = {219-227},
  series = {Lecture Notes in Computer Science},
  volume = {9520},
  doi = {10.1007/978-3-319-27340-2_28},
  isbn = {978-3-319-27339-6},
  keywords = {Large scale distributed systems; Monitoring; Decentralization; Formal modelling},
  language = {English},
  url = {http://dx.doi.org/10.1007/978-3-319-27340-2_28}
}
[15] Andreea Buga. A scalable monitoring solution for large-scaledistributed systems. In A. Quesada-Arencibia et al., editors, Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015), pages 67 - 68. Gran Canaria, Spain, 2015.
@incollection{Buga2015a,
  title = {A Scalable Monitoring Solution for Large-ScaleDistributed Systems},
  author = {Andreea Buga},
  booktitle = {Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015)},
  year = {2015},
  address = {Gran Canaria, Spain},
  editor = {A. Quesada-Arencibia and others},
  pages = {67 -- 68}
}
[16] Andrei Vasilateanu, Ioan Cosmin Radu, and Andreea Buga. Environment crowd-sensing for asthma management. In E-Health and Bioengineering Conference (EHB), 2015, pages 1-4, Nov 2015.
@inproceedings{Buga2015c,
  title = {Environment crowd-sensing for asthma management},
  author = {Vasilateanu, Andrei and Radu, Ioan Cosmin and Buga, Andreea},
  booktitle = {E-Health and Bioengineering Conference (EHB), 2015},
  year = {2015},
  month = {Nov},
  pages = {1-4},
  doi = {10.1109/EHB.2015.7391363},
  keywords = {Air quality;Biomedical monitoring;Diseases;Medical diagnostic imaging;Monitoring;Servers;asthma;crowd sensing;e-health;participatory medicine}
}
[17] Andreea Buga. A timestamp algorithm approach for offline data synchronization in mobile computing. Master's thesis, Johannes Kepler Universität Linz, July 2014.
@mastersthesis{Buga2014,
  title = {A Timestamp Algorithm Approach for Offline Data Synchronization in Mobile Computing},
  author = {Buga, Andreea},
  school = {Johannes Kepler Universit\"{a}t Linz},
  year = {2014},
  month = {July},
  abstract = {Database synchronization has been one of the topics of main interest in the case of systems working with distributed databases. The problem has become even more important nowadays due to the growth and spread of mobile devices. If at its beginning, database synchronization issues was more oriented towards conflicts resolution, lately more subtle details are approached. These details are related with the bandwidth consumption or offline working mode. The current thesis proposes a solution for offline data synchronization of distributed mobile applications. It starts with a general framework from which a particular solution has been implemented. As the literature in this area contains a wide work, several algorithms have been analyzed from the point of view of their advantages and disadvantages. Mobile devices limitations were taken into account as an important aspect during the analysis. The main synchronization algorithm has on its fundamentals the time stamp ap- proach. The changes performed on it aim to reduce the data volume exchanged during the synchronization and reduce the computational efforts on the client side. The particular solution that accompanies this paper is an Android mobile application that follows the guidelines of proposed synchronization system architecture. It has been developed as an extension to an already existing system and therefore, several important constraints have been encountered. Due to the fact that the server side was a black - box, the main focus was put on the client side of the application. The synchronization process has been mainly handled on the client side, but better results are obtained if some processes were shifted to the server side. The general framework addresses solutions for both server and client side. However, the practical application that accompanies the paper was mostly oriented towards the mobile device client. As no work could be done on the server side and the client side could only call the server API function, we consider this aspect a limitation that can be solved on other similar systems. The current thesis can be considered an important point of extending the research field of offline database synchronization. Distributed mobile application could benefit of an efficient synchronization of the databases they use. Further improvements and changes can be done so that the algorithm will fit to a specific problem.},
  owner = {abuga},
  timestamp = {2014.09.11}
}
[18] Andreea Buga. Supporting Patient Empowerment Through ICT. Universitatea Politehnica, Bucuresti, Romania, July 2013.
@book{Buga2013,
  title = {Supporting Patient Empowerment Through ICT},
  author = {Buga, Andreea},
  publisher = {Universitatea Politehnica},
  year = {2013},
  address = {Bucuresti, Romania},
  month = {July},
  comment = {Bachelor Thesis},
  keywords = {e-Health Systems, REST architecture, mobile computing}
}
[19] C. Buiu, A Buga, and AM. Coman. Teaching robotics and virtual reality in a synergistic approach. In e-Learning in Industrial Electronics (ICELIE), 2013 7th IEEE International Conference on, pages 71-75, Nov 2013.
@inproceedings{6701275,
  title = {Teaching robotics and virtual reality in a synergistic approach},
  author = {Buiu, C. and Buga, A and Coman, AM.},
  booktitle = {e-Learning in Industrial Electronics (ICELIE), 2013 7th IEEE International Conference on},
  year = {2013},
  month = {Nov},
  pages = {71-75},
  doi = {10.1109/ICELIE.2013.6701275},
  keywords = {computer aided instruction;computer science education;control engineering education;educational courses;further education;robot programming;teaching;virtual reality;computer students;information technology students;robotic creature design;synergistic approach;teaching;technical solutions;undergraduate robotic course;virtual environments;virtual reality course;Augmented reality;Education;Educational robots;Laboratories;Solid modeling;Mobile robots;robot control;robot programming;virtual reality}
}

This file was generated by bibtex2html 1.95.