Dag Nyström

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 11

Top Topics

Automated Verification

Concurrency Control

Top Venues

Publications

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. 20 (2) (2021)
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) (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Data aggregation processes: a survey, a taxonomy, and design guidelines. Computing 101 (10) (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Statistical Model Checking for Real-Time Database Management Systems: A Case Study. ETFA (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC (2018)
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)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
DAGGTAX: A Taxonomy of Data Aggregation Processes. MEDI (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. ANT/SEIT (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Customized real-time data management for automotive systems: A case study. IECON (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. RTNS (2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data (2016)
Andreas Hjertström, Dag Nyström, Mikael Sjödin
Data management for component-based embedded real-time systems: The database proxy approach. J. Syst. Softw. 85 (4) (2012)
Andreas Hjertström, Dag Nyström, Mikael Sjödin
Database Proxy Tool Support in an AUTOSAR Development Environment. EUROMICRO-SEAA (2012)
Andreas Hjertström, Dag Nyström, Mikael Sjödin
Introducing database-centric support in AUTOSAR. SIES (2012)
Andreas Hjertström, Dag Nyström, Mikael Sjödin
Database Proxies for Component-Based Real-Time Systems. ECRTS (2010)
Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. ICSE (2009)
Andreas Hjertström, Dag Nyström, Mikael Sjödin
A Data-entity Approach for Component-based Real-time Embedded Systems Development. ETFA (2009)
Andreas Hjertström, Dag Nyström, Mikael Nolin, Rikard Land
Design-time management of run-time data in industrial embedded real-time systems development. ETFA (2008)
Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström
Shared Data Analysis for Multi-Tasking Real-Time System Testing. SIES (2007)
Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström
Aspects and components in real-time system development: Towards reconfigurable and reusable software. J. Embed. Comput. 1 (1) (2005)
Dag Nyström, Mikael Nolin, Christer Norström
Snapshots in Real-Time Databases Using Database Pointer Transactions. RTCSA (2005)
Dag Nyström, Mikael Nolin, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson
Pessimistic Concurrency Control and Versioning to Support Database Pointers in Real-Time Databases. ECRTS (2004)
Aleksandra Tesanovic, Jörgen Hansson, Dag Nyström, Christer Norström, P. Uhlin
Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components. WCET (2003)
Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson
Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems. RTCSA (2003)
Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström
Towards Aspectual Component-Based Development of Real-Time Systems. RTCSA (2003)
Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson, N-E. Bånkestad
Data Management Issues in Vehicle Control Systems: A Case Study. ECRTS (2002)