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