Daniela Cancila

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 7

Top Topics

Formal Analysis

Semantically Heterogeneous

Autonomous Vehicles

Secure Communication

Top Venues

Publications

Jérôme Hugues, Daniela Cancila
Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective. AISafety@IJCAI (2022)
Fabrice Mayran de Chamisso, Daniela Cancila, Laurent Soulier, Roberto Passerone, Michaël Aupetit
Lifelong Exploratory Navigation: An Architecture for Safer Mobile Robots. IEEE Des. Test 38 (5) (2021)
Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi
Predictive Formal Analysis of Resilience in Cyber-Physical Systems. IEEE Access 7 (2019)
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
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. IEEE Access 7 (2019)
Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. ICECCS (2017)
Daniela Cancila, Valeria Nuzzo, Milena Stoycheva, Wolfgang Birk, Fredrik Asplund, Martin Törngren
Experiences and reflections on three years of CPS summer schools within EIT digital. WESE (2016)
Daniela Cancila, Hadi Zaatiti, Roberto Passerone
Cyber-Physical System and Contract-Based Design: A Three Dimensional View. WESE (2015)
Jon Holt, Simon Perry, Mike Brownsword, Daniela Cancila, Stefan Hallerstede, Finn Overgaard Hansen
Model-based requirements engineering for system of systems. SoSE (2012)
Daniela Cancila, Huáscar Espinoza, Richard F. Paige
Special issue on Model Based Engineering for Embedded Systems Design. J. Syst. Archit. 58 (5) (2012)
Stefano Dalpez, Roberto Passerone, Daniela Cancila, François Terrier
An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis. ISORC Workshops (2010)
Marko Boskovic, Daniela Cancila, Claus Pahl, Bernhard Schätz
International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010). MoDELS (Workshops) (2010)
Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. IEEE Trans. Ind. Informatics 6 (2) (2010)
Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. ECMDA-FA (2009)
Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru
SOPHIA: a Modeling Language for Model-Based Safety Engineering. ACES-MB@MoDELS (2009)
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
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26 (3) (2009)
Daniela Cancila, Roberto Passerone
Functional and structural properties in the Model-Driven Engineering approach. ETFA (2008)
Daniela Cancila, Furio Honsell, Marina Lenisa
Functors Determined by Values on Objects. MFPS (2006)
Giorgio Brajnik, Daniela Cancila
Effectiveness, Productivity and Satisfaction of Persons with Sight and Motor Disabilities when Using Dynamic Text-Only Pages. J. Web Eng. 5 (4) (2006)
Daniela Cancila, Furio Honsell, Marina Lenisa
Some Properties and Some Problems on Set Functors. CMCS (2006)
Giorgio Brajnik, Daniela Cancila, Daniela Nicoli, Mery Pignatelli
Do text transcoders improve usability for disabled users? W4A (2005)
Giorgio Brajnik, Daniela Cancila, Daniela Nicoli, Mery Pignatelli
Do dynamic text-only web pages improve usability for PDA users? Usability Symposium (2005)
Daniela Cancila, Furio Honsell, Marina Lenisa
Properties of Set Functors. Electron. Notes Theor. Comput. Sci. 104 (2004)
Daniela Cancila, Furio Honsell
A Coalgebraic Description of Web Interactions. ICTCS (2003)
Daniela Cancila, Furio Honsell, Marina Lenisa
Generalized Coiteration Schemata. CMCS (2003)