Browse Title Index


 
Issue Title
 
Vol 2, No 11 (2013): A Methodology for transforming Java Applications towards real-time performance A Methodology for Transforming Java Applications Towards Real-Time Performance Abstract   PDF
Mads von Qualen, Martin Askov Andersen
 
Vol 1, No 5 (2012): Applying Co-Simulation for an Industrial Conveyor System Applying Co-Simulation for an Industrial Conveyor System Abstract   PDF
Kim Bjerge, Peter Gorm Larsen
 
Vol 5, No 29 (2017): Automated translation of VDM-SL to JML-annotated Java Automated translation of VDM-SL to JML-annotated Java Abstract   PDF
Peter W. V. Tran-Jørgensen
 
Vol 4, No 24 (2016): Demand Response Driven Load Scheduling in Formal Smart Grid Framework Demand Response Driven Load Scheduling in Formal Smart Grid Framework Abstract   PDF
Armin Ghasem Azar
 
Vol 1, No 3 (2012): Development Process for Multi-Disciplinary Embedded Control Systems Development Process for Multi-Disciplinary Embedded Control Systems Abstract   PDF
Sune Wolff
 
Vol 3, No 21 (2014): Enhanced Modelling and Efficient Realisation of Cyber-Physical Systems Enhanced Modelling and Efficient Realisation of Cyber- Physical Systems Abstract   PDF
Peter Würtz Vinther Jørgensen
 
Vol 1, No 4 (2012): Enhancing Formal Modelling Tool Support with Increased Automation Enhancing Formal Modelling Tool Support with Increased Automation Abstract   PDF
Kenneth Lausdahl
 
Vol 2, No 12 (2013): Evaluation of Development Process and Methodology for Co-Models Evaluation of Development Process and Methodology for Co-Models Abstract   PDF
Peter Würtz Vinther Jørgensen
 
Vol 4, No 26 (2016): Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS Abstract   PDF
Casper Thule
 
Vol 1, No 6 (2012): Kinect Depth Sensor Evaluation for Computer Vision Applications Kinect Depth Sensor Evaluation for Computer Vision Applications Abstract   PDF
M.R. Andersen, T. Jensen, P. Lisouski, A.K. Mortensen, M.K. Hansen, Torben Gregersen, Peter Ahrendt
 
Vol 2, No 14 (2013): Mobile Authentication with NFC enabled Smartphones Mobile Authentication with NFC enabled Smartphones Abstract   PDF
Rawad Kilani, Kenneth Jensen
 
Vol 4, No 23 (2016): Model-Based Development and Evaluation of Control for Complex Multi-Domain Systems: Attitude Control for a Quadrotor UAV Model-Based Development and Evaluation of Control for Complex Multi-Domain Systems: Attitude Control for a Quadrotor UAV Abstract   PDF
Ivan Grujic, René Nilsson
 
Vol 1, No 9 (2012): Modelling Dynamic Topologies via Extensions of VDM-RT Modelling Dynamic Topologies via Extensions of VDM-RT Abstract   PDF
Claus Ballegaard Nielsen
 
Vol 4, No 25 (2016): Modelling field robot software using AADL Modelling field robot software using AADL Abstract   PDF
Morten Larsen
 
Vol 2, No 15 (2013): Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison Abstract   PDF
Sune Wolff, Ken Pierce, Patricia Derler
 
Vol 3, No 19 (2014): On Extensibility of Software Systems On Extensibility of Software Systems Abstract   PDF
Luís Diogo Couto
 
Vol 3, No 20 (2014): Privacy Enforcement in a Cost-Effective Smart Grid Privacy Enforcement in a Cost-Effective Smart Grid Abstract   PDF
Søren Aagaard Mikkelsen
 
Vol 2, No 17 (2013): Proceedings of the 11th Overture Workshop Proceedings of the 11th Overture Workshop Abstract   PDF
Ken Pierce, Stefan Hallerstede
 
Vol 1, No 2 (2012): Proceedings of the 9th Overture Workshop Proceedings of the 9th Overture Workshop Abstract   PDF
Sune Wolff, John Fitzgerald
 
Vol 1, No 8 (2012): Secure Dynamic Cloud-based Collaboration with Hierarchical Access Secure Dynamic Cloud-based Collaboration with Hierarchical Access Abstract   PDF
Chris Piechotta, Adam Enø Jensen, Martin Grooss Olsen
 
Vol 2, No 13 (2013): Semantics of the VDM Real-Time Dialect Semantics of the VDM Real-Time Dialect Abstract   PDF
Kenneth Lausdahl, Joey W. Coleman, Peter Gorm Larsen
 
Vol 2, No 16 (2013): System-Level Energy-Aware Design of Cyber-Physical Systems System-Level Energy-Aware Design of Cyber-Physical Systems Abstract   PDF
José Antonio Esparza Isasa
 
Vol 2, No 10 (2013): Systems of Systems with Security Systems of Systems with Security Abstract   PDF
Rasmus Winther Lauritsen
 
Vol 4, No 28 (2016): The 14th Overture Workshop: Towards Analytical Tool Chains The 14th Overture Workshop: Towards Analytical Tool Chains Abstract   PDF
Peter Gorm Larsen, Nico Plat, Nick Battle
 
Vol 1, No 1 (2012): Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft Abstract   PDF
Sune Wolff
 
1 - 25 of 28 Items 1 2 > >> 
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK