, Department of Engineering, Aarhus University, Denmark
-
Technical Report Electronics and Computer Engineering Vol. 1 No. 3 (2012): Development Process for Multi-Disciplinary Embedded Control Systems - Reports
Development Process for Multi-Disciplinary Embedded Control Systems
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 10 (2013): Systems of Systems with Security - Reports
Systems of Systems with Security
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 3 No. 19 (2014): On Extensibility of Software Systems - Reports
On Extensibility of Software Systems
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 14 (2013): Mobile Authentication with NFC enabled Smartphones - Reports
Mobile Authentication with NFC enabled Smartphones
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 11 (2013): A Methodology for transforming Java Applications towards real-time performance - Reports
A Methodology for Transforming Java Applications Towards Real-Time Performance
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 1 No. 8 (2012): Secure Dynamic Cloud-based Collaboration with Hierarchical Access - Reports
Secure Dynamic Cloud-based Collaboration with Hierarchical Access
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 1 No. 2 (2012): Proceedings of the 9th Overture Workshop - Reports
Proceedings of the 9th Overture Workshop
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 16 (2013): System-Level Energy-Aware Design of Cyber-Physical Systems - Reports
System-Level Energy-Aware Design of Cyber-Physical Systems
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 3 No. 20 (2014): Privacy Enforcement in a Cost-Effective Smart Grid - Reports
Privacy Enforcement in a Cost-Effective Smart Grid
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 12 (2013): Evaluation of Development Process and Methodology for Co-Models - Reports
Evaluation of Development Process and Methodology for Co-Models
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 1 No. 7 (2012): Wildlife Communication - Reports
Wildlife Communication
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 3 No. 21 (2014): Enhanced Modelling and Efficient Realisation of Cyber-Physical Systems - Reports
Enhanced Modelling and Efficient Realisation of Cyber- Physical Systems
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 4 No. 28 (2016): The 14th Overture Workshop: Towards Analytical Tool Chains - Reports
The 14th Overture Workshop: Towards Analytical Tool Chains
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 4 No. 27 (2016): Virtual Power Plant for Smart Grid Ready Buildings and Customers - Reports
Virtual Power Plant for Smart Grid Ready Buildings and Customers
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 4 No. 26 (2016): Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS - Reports
Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 13 (2013): Semantics of the VDM Real-Time Dialect - Reports
Semantics of the VDM Real-Time Dialect
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 15 (2013): Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison - Reports
Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 4 No. 23 (2016): Model-Based Development and Evaluation of Control for Complex Multi-Domain Systems: Attitude Control for a Quadrotor UAV - Reports
Model-Based Development and Evaluation of Control for Complex Multi-Domain Systems: Attitude Control for a Quadrotor UAV
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 4 No. 24 (2016): Demand Response Driven Load Scheduling in Formal Smart Grid Framework - Reports
Demand Response Driven Load Scheduling in Formal Smart Grid Framework
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 1 No. 4 (2012): Enhancing Formal Modelling Tool Support with Increased Automation - Reports
Enhancing Formal Modelling Tool Support with Increased Automation
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 1 No. 9 (2012): Modelling Dynamic Topologies via Extensions of VDM-RT - Reports
Modelling Dynamic Topologies via Extensions of VDM-RT
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 2 No. 17 (2013): Proceedings of the 11th Overture Workshop - Reports
Proceedings of the 11th Overture Workshop
Abstract PDF -
Technical Report Electronics and Computer Engineering Vol. 1 No. 5 (2012): Applying Co-Simulation for an Industrial Conveyor System - Reports
Applying Co-Simulation for an Industrial Conveyor System
Abstract PDF