Search Results - "Laarouchi, Emine"
-
1
Predictive Formal Analysis of Resilience in Cyber-Physical Systems
Published in IEEE access (01-01-2019)“…The behavioral analysis of cyber-physical systems in safety-critical scenarios is a challenging task. In this paper, the endogenous and exogenous aspects of…”
Get full text
Journal Article -
2
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles
Published in IEEE access (2019)“…The automotive industry is increasing its effort towards scientific and technological innovations regarding autonomous vehicles. The expectation is a reduction…”
Get full text
Journal Article -
3
Safety and degraded mode in civilian applications of unmanned aerial systems
Published in 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC) (01-09-2017)“…Business Insider in the drone report clearly states that the market for commercial/civil drones will grow at a compound annual grow rate of 19% between 2015…”
Get full text
Conference Proceeding