daniela cancila
daniela cancila
Verified email at
Cited by
Cited by
Challenges in combining SysML and MARTE for model-based design of embedded systems
H Espinoza, D Cancila, B Selic, S Gérard
Model Driven Architecture-Foundations and Applications: 5th European …, 2009
Sophia: a modeling language for model-based safety engineering
D Cancila, F Terrier, F Belmonte, H Dubois, H Espinoza, S Gérard, ...
Proc. 2nd Int. Workshop on Model Based Architecting and Construction of …, 2009
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
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
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
Non-commutative logic programming language NoClog
R Baudot
Symposium LICS, Santa Barbara, 3-9, 2000
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
Predictive formal analysis of resilience in cyber-physical systems
S Mouelhi, ME Laarouchi, D Cancila, H Chaouchi
IEEE Access 7, 33741-33758, 2019
Generalized coiteration schemata
D Cancila, F Honsell, M Lenisa
Electronic Notes in Theoretical Computer Science 82 (1), 76-93, 2003
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
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
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
Cyber-physical system and contract-based design: A three dimensional view
D Cancila, H Zaatiti, R Passerone
Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems …, 2015
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
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
Functional and structural properties in the Model-Driven Engineering approach
D Cancila, R Passerone
2008 IEEE International Conference on Emerging Technologies and Factory …, 2008
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
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
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
Investigations in the Categorical Foundations and Applications of Coalgebras and Hypersets
D Cancila
Forum, 2004
The system can't perform the operation now. Try again later.
Articles 1–20