Publications
Number of publications matching the search criterion: 46
Doctoral Thesis (1)
Data Management in Vehicle Control-Systems (Oct 2005) Dag Nyström
Licentiate Thesis (1)
COMET: A Component-Based Real-Time Database for Vehicle Control-Systems (May 2003) Dag Nyström
Journal article (5)
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.)
Tool-Supported Design of Data Aggregation Processes in Cloud Monitoring Systems (Jan 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson Journal of Ambient Intelligence and Humanized Computing (JAIHC)
Data Management for Component-Based Embedded Real-Time Systems: the Database Proxy Approach (Apr 2012) Andreas Hjertström, Dag Nyström, Mikael Sjödin Journal of Systems and Software
Aspects and Components in Real-Time System Development: Towards Reconfigurable and Reusable Software (Feb 2004) Aleksandra Tesanovic , Dag Nyström, Jörgen Hansson , Christer Norström JOURNAL OF EMBEDDED COMPUTING
Conference/Workshop Paper (28)
Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)
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)
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study (May 2017) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017)
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation (Oct 2016) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 24th International Conference on Real-Time Networks and Systems (RTNS'16)
Towards the Verification of Temporal Data Consistency in Real-Time Data Management (Apr 2016) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Second International Workshop on modeling, analysis and control of complex Cyber-Physical Systems (CPS Data 2016)
Trading-off Data Consistency for Timeliness in Real-Time Database Systems (Jul 2015) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 27th Euromicro Conference on Real-Time Systems Work-in-Progress (WiP) session (ECRTS'15 (WiP))
Database Proxy Tool Support in an AUTOSAR Development Environment (Sep 2012) Andreas Hjertström, Dag Nyström, Mikael Sjödin 38th Euromicro Conference on Software Engineering and Advanced Applications
Introducing Database-Centric Support in AUTOSAR (Jun 2012) Andreas Hjertström, Dag Nyström, Mikael Sjödin 7th IEEE International Symposium on Industrial Embedded Systems (SIES12)
Database Proxies for Component-Based Real-Time Systems (Jul 2010) Andreas Hjertström, Dag Nyström, Mikael Sjödin 22st Euromicro Conference on Real-Time Systems
A Data-Entity Approach for Component-Based Real-Time Embedded Systems Development (Sep 2009) Andreas Hjertström, Dag Nyström, Mikael Sjödin 14th IEEE International Conference on Emerging Technology and Factory Automation
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems (May 2009) Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE09)
Design-Time Management of Run-Time Data in Industrial Embedded Real-Time Systems Development (Sep 2008) Andreas Hjertström, Dag Nyström, Mikael Sjödin, Rikard Land Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA08), IEEE Industrial Electronics Society, Hamburg, Germany
Shared Data Analysis for Multi-Tasking Real-Time System Testing (Jun 2007) Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström In proceedings of IEEE Second International Symposium on Industrial Embedded Systems, Lisbon, Portugal
INCENSE: Information-Centric Run-Time Support for Component-Based Embedded Real-Time Systems (Apr 2007) Andreas Hjertström, Dag Nyström, Mikael Åkerholm, Mikael Sjödin Proceedings of the Work-In-Progress (WIP) session, 14th IEEE Real-Time and Embedded Technology and Applications Symposium
Introducing Substitution-Queries in Distributed Real-Time Database Management Systems (Sep 2005) Thomas Nolte, Dag Nyström Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA05)
Snapshots in Real-Time Databases using Database Pointer Transactions (Aug 2005) Dag Nyström, Mikael Sjödin, Christer Norström The 11th International conference on Real-Time Computing Systems and Applications (RTCSA)
Pessimistic Concurrency-Control and Versioning to Support Database Pointers in Real-Time Databases (Jun 2004) Dag Nyström, Mikael Sjödin, Aleksandra Tesanovic , Christer Norström, Jörgen Hansson The 16th Euromicro Conference on Real-Time Systems
COMET: A Component-Based Real-Time Database for Automotive Systems (May 2004) Dag Nyström, Aleksandra Tesanovic , Mikael Sjödin, Christer Norström, Jörgen Hansson Workshop on Software Engineering for Automotive Systems.
Aspect-Level Worst-Case Execution Time Analysis of Real-Time Systems (May 2003) Aleksandra Tesanovic , Dag Nyström, Jörgen Hansson , Christer Norström Proceedings of the 27th IFAC/IFIP/IEEE Workshop on Real-Time Systems
Database Pointers: a Predictable Way of Manipulating Hot Data in Hard Real-Time Systems (Feb 2003) Dag Nyström, Aleksandra Tesanovic , Christer Norström, Jörgen Hansson Proceeding of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2003)
Towards Aspectual Component-Based Development of Real-Time Systems (Feb 2003) Aleksandra Tesanovic , Dag Nyström, Jörgen Hansson , Christer Norström Proceeding of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2003)
Integrating Symbolic Worst-Case Execution Time Analysis with Aspect-Oriented System Development (Nov 2002) Aleksandra Tesanovic , Dag Nyström, Jörgen Hansson , Christer Norström OOPSLA 2002 Workshop on Tools for Aspect-Oriented Software Development
Data Management Issues in Vehicle Control Systems: a Case Study (Jun 2002) Dag Nyström, Aleksandra Tesanovic , Christer Norström, Jörgen Hansson , Nils-Erik Bånkestad Euromicro Real-Time Conference 2002
Software Development Tools for Embedded Databases in Embedded Real-Time Systems (Aug 2001) Aleksandra Tesanovic , Dag Nyström, Jörgen Hansson , Christer Norström The SNART 2001 Conference (RTiS
Report - MRTC (7)
DAGGTAX: A Taxonomy of Data Aggregation Processes (May 2017) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Flexible Verification of Transaction Timeliness and Isolation (Jan 2016) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Data Management in AUTOSAR: a Tool Suite Extension Approach (Apr 2012) Andreas Hjertström, Dag Nyström, Mikael Sjödin
Introducing Snapshots to Database Pointer Transactions (Apr 2005) Dag Nyström, Mikael Sjödin, Christer Norström
Component Based Software Engineering for Embedded Systems - A literature survey (Jun 2003) Mikael Sjödin, Johan Fredriksson, Jerker Hammarberg , Joel Huselius, John Håkansson , Annika Karlsson , Ola Larses , Goran Mustapic, Anders Möller, Thomas Nolte, Jonas Norberg , Dag Nyström, Aleksandra Tesanovic , Mikael Åkerholm
The COMET Database Management System (Apr 2003) Dag Nyström, Aleksandra Tesanovic , Christer Norström, Jörgen Hansson
Embedded Databases for Embedded Real-Time Systems: A Component-Based Approach (Jan 2002) Aleksandra Tesanovic , Dag Nyström, Jörgen Hansson , Christer Norström
Report (4)
Specification and Automated Verification of Atomic Concurrent Real-Time Transactions: Extended Report (Apr 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Specification and Verification of Transaction Atomicity, Isolation and Temporal Correctness (Jun 2018) Simin Cai, Barbara Gallina, Cristina Seceleanu, Dag Nyström
Database Proxies: A Data Management approach for Component-Based Real-Time Systems (Nov 2009) Andreas Hjertström, Dag Nyström, Mikael Sjödin
Ph.D. Proposal: Data Management in Vehicle Control-Systems (Oct 2004) Dag Nyström
