Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Cristina Cerschi Seceleanu

◀ ▶ joint publications with Dag Nyström

> Home > Persons > Cristina Cerschi Seceleanu

Publications

2021
[j15]
- 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
[j14]
- 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)
[j13]
- 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)
[c70]
- 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
[c62]
- 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
[c60]
- 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
[c59]
- 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
[c53]
- 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
[c52]
- 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
[c47]
- 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
[c42]
- 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.