Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Barbara Gallina

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Simin Cai

> Home > Persons > Barbara Gallina

Publications

2021
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/CaiGNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CaiGNS21
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. 20(2): 557-589 (2021)
2019
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/computing/CaiGNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/CaiGNS19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Data aggregation processes: a survey, a taxonomy, and design guidelines. Computing 101(10): 1397-1429 (2019)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jaihc/CaiGNSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/CaiGNSL19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson:
Tool-supported design of data aggregation processes in cloud monitoring systems. J. Ambient Intell. Humaniz. Comput. 10(7): 2519-2535 (2019)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CaiGNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CaiGNS19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Statistical Model Checking for Real-Time Database Management Systems: A Case Study. ETFA 2019: 306-313
2018
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CaiGNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CaiGNS18
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. ISoLA (3) 2018: 355-374
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/CaiGNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/CaiGNS18
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC 2018: 104-114
2017
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/CaiGNSL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/CaiGNSL17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson:
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. ANT/SEIT 2017: 424-431
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/CaiGNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/CaiGNS17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Customized real-time data management for automotive systems: A case study. IECON 2017: 8397-8404
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/CaiGNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/CaiGNS17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
DAGGTAX: A Taxonomy of Data Aggregation Processes. MEDI 2017: 324-339
2016
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/cspdata/CaiGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cspdata/CaiGNS16
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data 2016: 1-6
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/CaiGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/CaiGNS16
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. RTNS 2016: 3-12

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.