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 | 124 | 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 | 50 | 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 | 49 | 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 | 46 | 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 | 45 | 2012 |
Non-commutative logic programming language NoClog R Baudot Symposium LICS, Santa Barbara, 3-9, 2000 | 35 | 2000 |
Predictive formal analysis of resilience in cyber-physical systems S Mouelhi, ME Laarouchi, D Cancila, H Chaouchi IEEE Access 7, 33741-33758, 2019 | 33 | 2019 |
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 | 29 | 2019 |
Generalized coiteration schemata D Cancila, F Honsell, M Lenisa Electronic Notes in Theoretical Computer Science 82 (1), 76-93, 2003 | 24 | 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 | 20 | 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 | 10 | 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 | 9 | 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 | 6 | 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 | 6 | 2014 |
Composability for high-integrity real-time embedded systems D Cancila, R Passerone, T Vardanega 1st Intl Workshop on Compositional Theory and Technology for Real-Time
, 2008 | 6 | 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 | 6 | 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 | 6 | 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 | 5 | 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 | 5 | 2017 |
Investigations in the Categorical Foundations and Applications of Coalgebras and Hypersets D Cancila Forum, 2004 | 5 | 2004 |