Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andreea Buga
@article{DBLP:journals/cl/BugaMNSS18,
author = {Andreea Buga and
Atif Mashkoor and
Sorana Tania Nemes and
Klaus{-}Dieter Schewe and
Pornpan Songprasop},
title = {An Event-B-based approach to hybrid systems engineering and its application
to a hemodialysis machine case study},
journal = {Comput. Lang. Syst. Struct.},
volume = {54},
pages = {297--315},
year = {2018},
url = {https://doi.org/10.1016/j.cl.2018.07.004},
doi = {10.1016/J.CL.2018.07.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BugaMNSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisaij/ScheweBBN18,
author = {Klaus{-}Dieter Schewe and
K{\'{a}}roly B{\'{o}}sa and
Andreea Buga and
Sorana Tania Nemes},
title = {Conceptual Modelling of Service-Oriented Software Systems},
journal = {Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.},
volume = {13},
number = {Special},
pages = {216--233},
year = {2018},
url = {https://doi.org/10.18417/emisa.si.hcm.16},
doi = {10.18417/EMISA.SI.HCM.16},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/emisaij/ScheweBBN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BugaNM18,
author = {Andreea Buga and
Sorana Tania Nemes and
Atif Mashkoor},
editor = {Atif Mashkoor and
Qing Wang and
Bernhard Thalheim},
title = {Addressing Client Needs for Cloud Computing using Formal Foundations},
booktitle = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
pages = {264--285},
publisher = {College Publications},
year = {2018},
timestamp = {Tue, 24 Jul 2018 17:41:25 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BugaNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04222,
author = {Andreea Buga and
Sorana Tania Nemes and
Atif Mashkoor},
title = {Addressing Client Needs for Cloud Computing using Formal Foundations},
journal = {CoRR},
volume = {abs/1808.04222},
year = {2018},
url = {http://arxiv.org/abs/1808.04222},
eprinttype = {arXiv},
eprint = {1808.04222},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/BugaN17,
author = {Andreea Buga and
Sorana Tania Nemes},
editor = {Donald Ferguson and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Jorge Cardoso and
Markus Helfert and
Claus Pahl},
title = {Towards Modeling Monitoring of Smart Traffic Services in a Large-scale
Distributed System},
booktitle = {{CLOSER} 2017 - Proceedings of the 7th International Conference on
Cloud Computing and Services Science, Porto, Portugal, April 24-26,
2017},
pages = {455--462},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006303704550462},
doi = {10.5220/0006303704550462},
timestamp = {Thu, 03 Feb 2022 09:27:48 +0100},
biburl = {https://dblp.org/rec/conf/closer/BugaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BugaN17,
author = {Andreea Buga and
Sorana Tania Nemes},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Towards an {ASM} Specification for Monitoring and Adaptation Services
of Large-Scale Distributed Systems},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 2},
pages = {181--186},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.247},
doi = {10.1109/COMPSAC.2017.247},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BugaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/BugaN17,
author = {Andreea Buga and
Sorana Tania Nemes},
editor = {Djamal Benslimane and
Ernesto Damiani and
William I. Grosky and
Abdelkader Hameurlain and
Amit P. Sheth and
Roland R. Wagner},
title = {A Formal Approach for Failure Detection in Large-Scale Distributed
Systems Using Abstract State Machines},
booktitle = {Database and Expert Systems Applications - 28th International Conference,
{DEXA} 2017, Lyon, France, August 28-31, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10438},
pages = {505--513},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64468-4\_38},
doi = {10.1007/978-3-319-64468-4\_38},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/BugaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ejc/BugaNSS17,
author = {Andreea Buga and
Sorana Tania Nemes and
Klaus{-}Dieter Schewe and
Pornpan Songprasop},
editor = {Virach Sornlertlamvanich and
Petchporn Chawakitchareon and
Aran Hansuebsai and
Chawan Koopipat and
Bernhard Thalheim and
Yasushi Kiyoki and
Hannu Jaakkola and
Naofumi Yoshida},
title = {A Conceptual Model for Systems Engineering and Its Formal Foundation},
booktitle = {Information Modelling and Knowledge Bases XXIX, 27th International
Conference on Information Modelling and Knowledge Bases {(EJC} 2017),
Krabi, Thailand, June 5-9, 2017},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {301},
pages = {1--20},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-834-1-1},
doi = {10.3233/978-1-61499-834-1-1},
timestamp = {Mon, 29 Jan 2018 17:48:29 +0100},
biburl = {https://dblp.org/rec/conf/ejc/BugaNSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/BugaN17,
author = {Andreea Buga and
Sorana Tania Nemes},
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},
title = {Towards Modeling Monitoring Services for Large-Scale Distributed Systems
with Abstract State Machines},
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), Essen,
Germany, June 12-13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1859},
pages = {103--112},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1859/emmsad-02-paper.pdf},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/emisa/BugaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BugaNS17a,
author = {Andreea Buga and
Sorana Tania Nemes and
Klaus{-}Dieter Schewe},
editor = {Sergio de Cesare and
Ulrich Frank},
title = {Towards Care Systems Using Model-Driven Adaptation and Monitoring
of Autonomous Multi-clouds},
booktitle = {Advances in Conceptual Modeling - {ER} 2017 Workshops AHA, MoBiD,
MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10651},
pages = {26--35},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70625-2\_3},
doi = {10.1007/978-3-319-70625-2\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/BugaNS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BugaNS17,
author = {Andreea Buga and
Sorana Tania Nemes and
Klaus{-}Dieter Schewe},
editor = {Heinrich C. Mayr and
Giancarlo Guizzardi and
Hui Ma and
Oscar Pastor},
title = {Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective
Semantics},
booktitle = {Conceptual Modeling - 36th International Conference, {ER} 2017, Valencia,
Spain, November 6-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10650},
pages = {120--133},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69904-2\_10},
doi = {10.1007/978-3-319-69904-2\_10},
timestamp = {Fri, 09 Apr 2021 18:46:55 +0200},
biburl = {https://dblp.org/rec/conf/er/BugaNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/BugaN17,
author = {Andreea Buga and
Sorana Tania Nemes},
editor = {Irfan Awan and
Filipe Portela and
Muhammad Younas},
title = {Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems},
booktitle = {5th International Conference on Future Internet of Things and Cloud
Workshops, FiCloud Workshops 2017, Prague, Czech Republic, August
21-23, 2017},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/FiCloudW.2017.99},
doi = {10.1109/FICLOUDW.2017.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/BugaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/NemesB17,
author = {Sorana Tania Nemes and
Andreea Buga},
editor = {David W. Aha and
Jean Lieber},
title = {Towards a Case-Based Reasoning Approach to Dynamic Adaptation for
Large-Scale Distributed Systems},
booktitle = {Case-Based Reasoning Research and Development - 25th International
Conference, {ICCBR} 2017, Trondheim, Norway, June 26-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10339},
pages = {257--271},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61030-6\_18},
doi = {10.1007/978-3-319-61030-6\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/NemesB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iisa/NemesB17,
author = {Sorana Tania Nemes and
Andreea Buga},
editor = {Nikolaos G. Bourbakis and
George A. Tsihrintzis and
Maria Virvou},
title = {Adopting formal approaches for monitoring and adaptation for large-scale
distributed systems},
booktitle = {8th International Conference on Information, Intelligence, Systems
{\&} Applications, {IISA} 2017, Larnaca, Cyprus, August 27-30,
2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IISA.2017.8316416},
doi = {10.1109/IISA.2017.8316416},
timestamp = {Mon, 31 Aug 2020 20:43:15 +0200},
biburl = {https://dblp.org/rec/conf/iisa/NemesB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/BugaFGNP17,
author = {Andreea Buga and
Bernhard Freudenthaler and
Jorge Mart{\'{\i}}nez Gil and
Sorana Tania Nemes and
Alejandra Lorena Paoletti},
editor = {Maria Indrawan{-}Santiago and
Matthias Steinbauer and
Ivan Luiz Salvadori and
Ismail Khalil and
Gabriele Anderst{-}Kotsis},
title = {Management of accurate profile matching using multi-cloud service
interaction},
booktitle = {Proceedings of the 19th International Conference on Information Integration
and Web-based Applications {\&} Services, iiWAS 2017, Salzburg,
Austria, December 4-6, 2017},
pages = {161--165},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3151759.3151831},
doi = {10.1145/3151759.3151831},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiwas/BugaFGNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BugaMNSS17,
author = {Andreea Buga and
Atif Mashkoor and
Sorana Tania Nemes and
Klaus{-}Dieter Schewe and
Pornpan Songprasop},
editor = {Yassine Ouhammou and
Mirjana Ivanovic and
Alberto Abell{\'{o}} and
Ladjel Bellatreche},
title = {Conceptual Modelling of Hybrid Systems - Structure and Behaviour},
booktitle = {Model and Data Engineering - 7th International Conference, {MEDI}
2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10563},
pages = {277--290},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66854-3\_21},
doi = {10.1007/978-3-319-66854-3\_21},
timestamp = {Thu, 23 Jun 2022 19:57:36 +0200},
biburl = {https://dblp.org/rec/conf/medi/BugaMNSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BugaN17,
author = {Andreea Buga and
Sorana Tania Nemes},
editor = {Antonio Cerone and
Marco Roveri},
title = {Formalizing Monitoring Processes for Large-Scale Distributed Systems
Using Abstract State Machines},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {153--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_11},
doi = {10.1007/978-3-319-74781-1\_11},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BugaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscs/VasilateanuB15,
author = {Andrei Vasilateanu and
Andreea Buga},
title = {AsthMate - Supporting Patient Empowerment through Location-Based Smartphone
Applications},
booktitle = {20th International Conference on Control Systems and Computer Science,
{CSCS} 2015, Bucharest, Romania, May 27-29, 2015},
pages = {411--417},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CSCS.2015.61},
doi = {10.1109/CSCS.2015.61},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cscs/VasilateanuB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Buga15,
author = {Andreea Buga},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {A Scalable Monitoring Solution for Large-Scale Distributed Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2015 - 15th International
Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9520},
pages = {219--227},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27340-2\_28},
doi = {10.1007/978-3-319-27340-2\_28},
timestamp = {Wed, 07 Dec 2022 23:13:53 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/Buga15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
