Dag Nyström

According to our database1, Dag Nyström authored at least 25 papers between 2002 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Tool-supported design of data aggregation processes in cloud monitoring systems.
J. Ambient Intell. Humaniz. Comput., 2019

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

Statistical Model Checking for Real-Time Database Management Systems: A Case Study.
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.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017
DAGGTAX: A Taxonomy of Data Aggregation Processes.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Customized real-time data management for automotive systems: A case study.
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.
Proceedings of the 8th International Conference on Ambient Systems, 2017

2016
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.
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.
Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2012
Data management for component-based embedded real-time systems: The database proxy approach.
J. Syst. Softw., 2012

Introducing database-centric support in AUTOSAR.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Database Proxy Tool Support in an AUTOSAR Development Environment.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2010
Database Proxies for Component-Based Real-Time Systems.
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.
Proceedings of the 31st International Conference on Software Engineering, 2009

A Data-entity Approach for Component-based Real-time Embedded Systems Development.
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.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
Shared Data Analysis for Multi-Tasking Real-Time System Testing.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2005
Aspects and components in real-time system development: Towards reconfigurable and reusable software.
J. Embedded Computing, 2005

Snapshots in Real-Time Databases Using Database Pointer Transactions.
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.
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.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Towards Aspectual Component-Based Development of Real-Time Systems.
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.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

2002
Data Management Issues in Vehicle Control Systems: A Case Study.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002


  Loading...