Daniela Cancila

Publications

109

Citations

H-Index

2010

Active since

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

CEA Paris-Saclay

University of Trento

École Centrale d'Électronique

Daniela Cancila is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in software engineering, engineering, and software design.

ORCID

Top concepts

EngineeringSoftware DesignSystems EngineeringSoftware EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationFormal SpecificationDesign

Publications per year

2010–2019

Publications

Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems

Daniela Cancila, Roberto Passerone, Tullio Vardanega et al. · IEEE Transactions on Industrial Informatics · 2010 · 35 citations

Engineering, Verification, Software Engineering +27

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

Roberto Passerone, Daniela Cancila, Michele Albano et al. · IEEE Access · 2019 · 27 citations · Full text

Model-based requirements engineering for system of systems

Jon Holt, Simon Perry, Mike Brownsword et al. · 2012 · 25 citations

Engineering, Model-based Requirements Engineering, Industrial Engineering +16

Predictive Formal Analysis of Resilience in Cyber-Physical Systems

Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila et al. · IEEE Access · 2019 · 22 citations · Full text

Engineering, Software Engineering, Resilient Control System +18

Rows per page

1–4 of 4