Daniela Cancila

According to our database, Daniela Cancila authored at least 26 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective.

Jérôme Hugues, Daniela Cancila

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

From high-integrity embedded systems to resiliant autonomous cyber-physical systems.

Daniela Cancila

, 2022

2021

Lifelong Exploratory Navigation: An Architecture for Safer Mobile Robots.

Fabrice Mayran de Chamisso, Daniela Cancila, Laurent Soulier, Roberto Passerone, Michaël Aupetit

IEEE Des. Test, 2021

2019

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

Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sándor Plósz, Erkki Jantunen, Anna Ryabokon, Mohamed-Emine Laarouchi, Csaba Hegedüs, Pál Varga

IEEE Access, 2019

Predictive Formal Analysis of Resilience in Cyber-Physical Systems.

Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi

IEEE Access, 2019

2017

Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons.

Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Experiences and reflections on three years of CPS summer schools within EIT digital.

Daniela Cancila, Valeria Nuzzo, Milena Stoycheva, Wolfgang Birk, Fredrik Asplund, Martin Törngren

Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016

2015

Cyber-Physical System and Contract-Based Design: A Three Dimensional View.

Daniela Cancila, Hadi Zaatiti, Roberto Passerone

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

2012

Special issue on Model Based Engineering for Embedded Systems Design.

Daniela Cancila, Huáscar Espinoza, Richard F. Paige

J. Syst. Archit., 2012

Model-based requirements engineering for system of systems.

Jon Holt, Simon Perry, Mike Brownsword, Daniela Cancila, Stefan Hallerstede, Finn Overgaard Hansen

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

2010

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

Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio

IEEE Trans. Ind. Informatics, 2010

The 3^<i>rd</i> International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010).

Marko Boskovic, Daniela Cancila, Claus Pahl, Bernhard Schätz

Proceedings of the Models in Software Engineering, 2010

An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis.

Stefano Dalpez, Roberto Passerone, Daniela Cancila, François Terrier

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

2009

Metamodels in Europe: Languages, Tools, and Applications.

Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli

IEEE Des. Test Comput., 2009

SOPHIA: a Modeling Language for Model-Based Safety Engineering.

Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.

Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard

Proceedings of the Model Driven Architecture, 2009

2008

Functional and structural properties in the Model-Driven Engineering approach.

Daniela Cancila, Roberto Passerone

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2006

Effectiveness, Productivity and Satisfaction of Persons with Sight and Motor Disabilities when Using Dynamic Text-Only Pages.

Giorgio Brajnik, Daniela Cancila

J. Web Eng., 2006

Some Properties and Some Problems on Set Functors.

Daniela Cancila, Furio Honsell, Marina Lenisa

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

Functors Determined by Values on Objects.

Daniela Cancila, Furio Honsell, Marina Lenisa

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005

Investigations in the categorical foundations and applications of coalgebras and hypersets.

Daniela Cancila

PhD thesis, 2005

Do text transcoders improve usability for disabled users?

Giorgio Brajnik, Daniela Cancila, Daniela Nicoli, Mery Pignatelli

Proceedings of the International Cross-Disciplinary Workshop on Web Accessibility, 2005

Do dynamic text-only web pages improve usability for PDA users?

Giorgio Brajnik, Daniela Cancila, Daniela Nicoli, Mery Pignatelli

Proceedings of the Empowering Software Quality: How can Usability Engineering reach these goals? 1st Usability Symposium, 2005

2003

Properties of Set Functors.

Daniela Cancila, Furio Honsell, Marina Lenisa

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Generalized Coiteration Schemata.

Daniela Cancila, Furio Honsell, Marina Lenisa

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

A Coalgebraic Description of Web Interactions.

Daniela Cancila, Furio Honsell

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003