Daniela Cancila

28 papers A* 1B 2C 1Journal 8Unranked 14

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