Dag Nyström

According to our database, Dag Nyström authored at least 27 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Specification and automated verification of atomic concurrent real-time transactions.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Softw. Syst. Model., 2021

2019

Tool-supported design of data aggregation processes in cloud monitoring systems.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson

J. Ambient Intell. Humaniz. Comput., 2019

Data aggregation processes: a survey, a taxonomy, and design guidelines.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Computing, 2019

Statistical Model Checking for Real-Time Database Management Systems: A Case Study.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

DAGGTAX: A Taxonomy of Data Aggregation Processes.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Customized real-time data management for automotive systems: A case study.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson

Proceedings of the 8th International Conference on Ambient Systems, 2017

2016

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Towards the verification of temporal data consistency in Real-Time Data Management.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2012

Data management for component-based embedded real-time systems: The database proxy approach.

Andreas Hjertström, Dag Nyström, Mikael Sjödin

J. Syst. Softw., 2012

Introducing database-centric support in AUTOSAR.

Andreas Hjertström, Dag Nyström, Mikael Sjödin

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Database Proxy Tool Support in an AUTOSAR Development Environment.

Andreas Hjertström, Dag Nyström, Mikael Sjödin

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2010

Database Proxies for Component-Based Real-Time Systems.

Andreas Hjertström, Dag Nyström, Mikael Sjödin

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2009

Save-IDE - A tool for design, analysis and implementation of component-based embedded systems.

Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic

Proceedings of the 31st International Conference on Software Engineering, 2009

A Data-entity Approach for Component-based Real-time Embedded Systems Development.

Andreas Hjertström, Dag Nyström, Mikael Sjödin

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

Design-time management of run-time data in industrial embedded real-time systems development.

Andreas Hjertström, Dag Nyström, Mikael Nolin, Rikard Land

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007

Shared Data Analysis for Multi-Tasking Real-Time System Testing.

Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2005

Data Management in Vehicle Control-Systems.

Dag Nyström

PhD thesis, 2005

Aspects and components in real-time system development: Towards reconfigurable and reusable software.

Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström

J. Embed. Comput., 2005

Snapshots in Real-Time Databases Using Database Pointer Transactions.

Dag Nyström, Mikael Nolin, Christer Norström

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

2004

Pessimistic Concurrency Control and Versioning to Support Database Pointers in Real-Time Databases.

Dag Nyström, Mikael Nolin, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003

Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components.

Aleksandra Tesanovic, Jörgen Hansson, Dag Nyström, Christer Norström, P. Uhlin

Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Towards Aspectual Component-Based Development of Real-Time Systems.

Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems.

Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

2002

Data Management Issues in Vehicle Control Systems: A Case Study.

Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson, N-E. Bånkestad

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002