More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Andreea Buga

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/BugaMNSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BugaMNSS18
Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. 54: 297-315 (2018)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/emisaij/ScheweBBN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/emisaij/ScheweBBN18
Klaus-Dieter Schewe, Károly Bósa, Andreea Buga, Sorana Tania Nemes:
Conceptual Modelling of Service-Oriented Software Systems. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13(Special): 216-233 (2018)
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/BugaNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BugaNM18
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor:
Addressing Client Needs for Cloud Computing using Formal Foundations. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 264-285
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-04222
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-04222
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor:
Addressing Client Needs for Cloud Computing using Formal Foundations. CoRR abs/1808.04222 (2018)
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/BugaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/BugaN17
Andreea Buga, Sorana Tania Nemes:
Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System. CLOSER 2017: 455-462
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/BugaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/BugaN17
Andreea Buga, Sorana Tania Nemes:
Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems. COMPSAC (2) 2017: 181-186
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/BugaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/BugaN17
Andreea Buga, Sorana Tania Nemes:
A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines. DEXA (1) 2017: 505-513
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/BugaNSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/BugaNSS17
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
A Conceptual Model for Systems Engineering and Its Formal Foundation. EJC 2017: 1-20
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/emisa/BugaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emisa/BugaN17
Andreea Buga, Sorana Tania Nemes:
Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines. RADAR+EMISA@CAiSE 2017: 103-112
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/er/BugaNS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/BugaNS17a
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe:
Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. ER Workshops 2017: 26-35
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/er/BugaNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/BugaNS17
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe:
Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. ER 2017: 120-133
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ficloud/BugaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ficloud/BugaN17
Andreea Buga, Sorana Tania Nemes:
Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems. FiCloud Workshops 2017: 93-100
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccbr/NemesB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccbr/NemesB17
Sorana Tania Nemes, Andreea Buga:
Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems. ICCBR 2017: 257-271
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iisa/NemesB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iisa/NemesB17
Sorana Tania Nemes, Andreea Buga:
Adopting formal approaches for monitoring and adaptation for large-scale distributed systems. IISA 2017: 1-6
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/BugaFGNP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/BugaFGNP17
Andreea Buga, Bernhard Freudenthaler, Jorge Martínez Gil, Sorana Tania Nemes, Alejandra Lorena Paoletti:
Management of accurate profile matching using multi-cloud service interaction. iiWAS 2017: 161-165
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/BugaMNSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/BugaMNSS17
Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI 2017: 277-290
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BugaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BugaN17
Andreea Buga, Sorana Tania Nemes:
Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. SEFM Workshops 2017: 153-167
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cscs/VasilateanuB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscs/VasilateanuB15
Andrei Vasilateanu, Andreea Buga:
AsthMate - Supporting Patient Empowerment through Location-Based Smartphone Applications. CSCS 2015: 411-417
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/Buga15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/Buga15
Andreea Buga:
A Scalable Monitoring Solution for Large-Scale Distributed Systems. EUROCAST 2015: 219-227

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.