Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 10

Journal article (2)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Jul 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Software and Systems Modeling (SoSym)

Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Computing (Computing.)

Conference/Workshop Paper (8)

Statistical Model Checking for Real-Time Database Management Systems: A Case Study (Sep 2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (Dec 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)

Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
7th International Conference on Model and Data Engineering (MEDI 2017)

Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers? (Jul 2017)
Peter Charbachi, Linus Eklund , Eduard Paul Enoiu
International Workshop on Combinatorial Testing and its Applications (CTA'17)

Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software (Mar 2017)
Henning Bergström , Eduard Paul Enoiu
6th International Workshop on Combinatorial Testing (IWCT'17)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

Items per page: