| 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 Int’l 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 |
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoVerified email at unitn.it
