Dag Nyström

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