Archives
-
Automated translation of VDM-SL to JML-annotated Java
Vol. 5 No. 29 (2017) -
The 14th Overture Workshop: Towards Analytical Tool Chains
Vol. 4 No. 28 (2016) -
Virtual Power Plant for Smart Grid Ready Buildings and Customers
Vol. 4 No. 27 (2016) -
Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS
Vol. 4 No. 26 (2016) -
Modelling field robot software using AADL
Vol. 4 No. 25 (2016) -
Demand Response Driven Load Scheduling in Formal Smart Grid Framework
Vol. 4 No. 24 (2016) -
Virtual Power Plant for Residential Demand Response
Vol. 3 No. 22 (2014) -
Enhanced Modelling and Efficient Realisation of Cyber-Physical Systems
Vol. 3 No. 21 (2014) -
Privacy Enforcement in a Cost-Effective Smart Grid
Vol. 3 No. 20 (2014) -
On Extensibility of Software Systems
Vol. 3 No. 19 (2014) -
Proceedings of the 11th Overture Workshop
Vol. 2 No. 17 (2013) -
System-Level Energy-Aware Design of Cyber-Physical Systems
Vol. 2 No. 16 (2013) -
Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison
Vol. 2 No. 15 (2013) -
Mobile Authentication with NFC enabled Smartphones
Vol. 2 No. 14 (2013) -
Semantics of the VDM Real-Time Dialect
Vol. 2 No. 13 (2013) -
Evaluation of Development Process and Methodology for Co-Models
Vol. 2 No. 12 (2013) -
A Methodology for transforming Java Applications towards real-time performance
Vol. 2 No. 11 (2013) -
Systems of Systems with Security
Vol. 2 No. 10 (2013) -
Modelling Dynamic Topologies via Extensions of VDM-RT
Vol. 1 No. 9 (2012) -
Secure Dynamic Cloud-based Collaboration with Hierarchical Access
Vol. 1 No. 8 (2012) -
Wildlife Communication
Vol. 1 No. 7 (2012) -
Kinect Depth Sensor Evaluation for Computer Vision Applications
Vol. 1 No. 6 (2012) -
Applying Co-Simulation for an Industrial Conveyor System
Vol. 1 No. 5 (2012) -
Enhancing Formal Modelling Tool Support with Increased Automation
Vol. 1 No. 4 (2012)
1-25 of 28
Next
