The visual object tracking vot2015 challenge results
Abstract The Visual Object Tracking challenge 2015, VOT2015, aims at comparing short-
term single-object visual trackers that do not apply pre-learned models of object …
term single-object visual trackers that do not apply pre-learned models of object …
Improving security in cloud by formal modeling of IaaS resources
Nowadays, it is a matter of fact that Cloud is a “must” for all complex services requiring great
amount of resources. Big-Data Services are a striking example: they actually perform many …
amount of resources. Big-Data Services are a striking example: they actually perform many …
Verification and validation of a cyber-physical system in the automotive domain
Software development for Cyber-Physical Systems (CPS), eg, autonomous vehicles,
requires both functional and non-functional quality assurance to guarantee that the CPS …
requires both functional and non-functional quality assurance to guarantee that the CPS …
A methodology for formal analysis and verification of EAST-ADL models
The architectural design of embedded software has a direct impact on the final
implementation, with respect to performance and other quality attributes. Therefore …
implementation, with respect to performance and other quality attributes. Therefore …
Schedulability analysis support for automotive systems: from requirement to implementation
Modeling and analysis of precise non-functional properties, such as energy and timing
constraints, is key to the correct development of automotive systems. Automotive …
constraints, is key to the correct development of automotive systems. Automotive …
Model-based analysis of timing and energy constraints in an autonomous vehicle system
Modeling and analysis of non-functional properties is crucial in energy-aware real-time
(ERT) automotive systems. EAST-ADL is an architectural language dedicated to safety …
(ERT) automotive systems. EAST-ADL is an architectural language dedicated to safety …
Model-based verification of energy-aware real-time automotive systems
EAST-ADL is an architectural description language dedicated to safety-critical automotive
embedded system design with a focus on structural specification and behavioral constraints …
embedded system design with a focus on structural specification and behavioral constraints …
Thermal-aware verification and monitoring of service providers in metamorp (h) osy
With new technologies and the growing focus on green architectures, temperature and
power consumption have become a major issue to be considered in systems design …
power consumption have become a major issue to be considered in systems design …
Model-based Verification and Validation of an Autonomous Vehicle System
The software development for Cyber-Physical Systems (CPS), eg, autonomous vehicles,
requires both functional and non-functional quality assurance to guarantee that the CPS …
requires both functional and non-functional quality assurance to guarantee that the CPS …
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems
Energy-aware Real-Time (ERT) systems are increasingly complex and have pervaded
various areas, from automotive to telecommunication systems. EAST-ADL, an automotive …
various areas, from automotive to telecommunication systems. EAST-ADL, an automotive …