Follow
daniela cancila
daniela cancila
Verified email at cea.fr
Title
Cited by
Cited by
Year
Challenges in combining SysML and MARTE for model-based design of embedded systems
H Espinoza, D Cancila, B Selic, S Gérard
European Conference on Model Driven Architecture-Foundations and …, 2009
1182009
Metamodels in Europe: Languages, tools, and applications
R Passerone, IB Hafaiedh, S Graf, A Benveniste, D Cancila, A Cuccuru, ...
IEEE Design & Test of Computers 26 (3), 38-53, 2009
472009
Toward correctness in the specification and handling of non-functional attributes of high-integrity real-time embedded systems
D Cancila, R Passerone, T Vardanega, M Panunzio
IEEE Transactions on Industrial Informatics 6 (2), 181-194, 2010
452010
SOPHIA: a Modeling Language for Model-Based Safety Engineering.
D Cancila, F Terrier, F Belmonte, H Dubois, H Espinoza, S Gérard, ...
ACES-MB@ MoDELS, 2009
442009
Non-commutative logic programming language NoClog
R Baudot
Symposium LICS, Santa Barbara, 3-9, 2000
352000
Model-based requirements engineering for system of systems
J Holt, S Perry, M Brownsword, D Cancila, S Hallerstede, FO Hansen
2012 7th International Conference on System of Systems Engineering (SoSE …, 2012
342012
Generalized coiteration schemata
D Cancila, F Honsell, M Lenisa
Electronic Notes in Theoretical Computer Science 82 (1), 76-93, 2003
242003
Do text transcoders improve usability for disabled users?
G Brajnik, D Cancila, D Nicoli, M Pignatelli
Proceedings of the 2005 international cross-disciplinary workshop on Web …, 2005
192005
A methodology for the design of safety-compliant and secure communication of autonomous vehicles
R Passerone, D Cancila, M Albano, S Mouelhi, S Plosz, E Jantunen, ...
IEEE Access 7, 125022-125037, 2019
142019
Predictive formal analysis of resilience in cyber-physical systems
S Mouelhi, ME Laarouchi, D Cancila, H Chaouchi
IEEE Access 7, 33741-33758, 2019
142019
Distributed object-oriented design of autonomous control systems for connected vehicle platoons
S Mouelhi, D Cancila, A Ramdane-Cherif
2017 22nd International Conference on Engineering of Complex Computer …, 2017
92017
Experiences and reflections on three years of CPS summer schools within EIT digital
D Cancila, V Nuzzo, M Stoycheva, W Birk, F Asplund, M Torngren
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems …, 2016
92016
Composability for high-integrity real-time embedded systems
D Cancila, R Passerone, T Vardanega
1st Int’l Workshop on Compositional Theory and Technology for Real-Time …, 2008
62008
Functional and structural properties in the Model-Driven Engineering approach
D Cancila, R Passerone
2008 IEEE International Conference on Emerging Technologies and Factory …, 2008
62008
Safety and degraded mode in civilian applications of unmanned aerial systems
E Laarouchi, D Cancila, H Chaouchi
2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), 1-7, 2017
52017
Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPS
D Cancila, E Soubiran, R Passerone
Ada User Journal 35 (4), 272-277, 2014
52014
Some properties and some problems on set functors
D Cancila, F Honsell, M Lenisa
Electronic Notes in Theoretical Computer Science 164 (1), 67-84, 2006
52006
Investigations in the Categorical Foundations and Applications of Coalgebras and Hypersets
D Cancila
Forum, 2004
52004
Sharpening the scythe of technological change: Socio-technical challenges of autonomous and adaptive cyber-physical systems
D Cancila, JL Gerstenmayer, H Espinoza, R Passerone
Designs 2 (4), 52, 2018
42018
Ensuring dependability and performance for CPS design: application to a signaling system
E Soubiran, F Guenab, D Cancila, A Koudri, L Wouters
Cyber-Physical Systems, 363-375, 2017
42017
The system can't perform the operation now. Try again later.
Articles 1–20