Daniela Cancila

发表

Safety and degraded mode in civilian applications of unmanned aerial systems

Hakima Chaouchi, Emine Laarouchi, Daniela Cancila, 2017, 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).

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

Daniela Cancila, Giorgio Brajnik, 2006, J. Web Eng..

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

Daniela Cancila, Giorgio Brajnik, Daniela Nicoli, 2005, Usability Symposium.

Properties of Set Functors

Furio Honsell, Marina Lenisa, Daniela Cancila, 2004, COMETA.

Metamodels in Europe: Languages, Tools, and Applications

Alberto L. Sangiovanni-Vincentelli, Sébastien Gérard, François Terrier, 2009, IEEE Design & Test of Computers.

Sûreté de Fonctionnement dans un processus basé sur l'Ingénierie Dirigée par les Modèles

Morayo Adedjouma, Daniela Cancila, Hubert Dubois, 2009 .

Feasibility Study in the use of contract-based approaches to deal with safety-related properties in CPS

Roberto Passerone, Daniela Cancila, Elie Soubiran, 2014 .

Model-based requirements engineering for system of systems

Simon Perry, Jon Holt, Daniela Cancila, 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).

Metamodels in Europe: Languages, Tools, and

François Terrier, Alberto Sangiovanni-Vincentelli, Albert Benveniste, 2009 .

Sharpening the Scythe of Technological Change: Socio-Technical Challenges of Autonomous and Adaptive Cyber-Physical Systems

Roberto Passerone, Daniela Cancila, Huascar Espinoza, 2018, Designs.

Lifelong Exploratory Navigation: an Architecture for Safer Mobile Robots

Roberto Passerone, Daniela Cancila, Michaël Aupetit, 2019 .

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

Martin Törngren, Daniela Cancila, Wolfgang Birk, 2016, WESE.

Predictive Formal Analysis of Resilience in Cyber-Physical Systems

Hakima Chaouchi, Daniela Cancila, Sebti Mouelhi, 2019, IEEE Access.

Functors Determined by Values on Objects

Furio Honsell, Marina Lenisa, Daniela Cancila, 2006, MFPS.

Some Properties and Some Problems on Set Functors

Furio Honsell, Marina Lenisa, Daniela Cancila, 2006, CMCS.

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

Bran Selic, Sébastien Gérard, Huáscar Espinoza, 2009, ECMDA-FA.

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

Amar Ramdane-Cherif, Daniela Cancila, Sebti Mouelhi, 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).

The 3rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010)

Bernhard Schätz, Claus Pahl, Marko Boskovic, 2010, MoDELS Workshops.

A Coalgebraic Description of Web Interactions

Furio Honsell, Daniela Cancila, 2003, ICTCS.

Do text transcoders improve usability for disabled users?

Daniela Cancila, Giorgio Brajnik, Daniela Nicoli, 2005, W4A '05.

SOPHIA: a Modeling Language for Model-Based Safety Engineering

Sébastien Gérard, François Terrier, Huáscar Espinoza, 2009, ACES-MB@MoDELS.

1st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010)

Fabrice Kordon, Bran Selic, Reda Bendraou, 2010 .

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

Roberto Passerone, Daniela Cancila, Hadi Zaatiti, 2015, WESE.

Using MARTE and SysML for Modeling Real‐Time Embedded Systems

Bran Selic, Daniela Cancila, Sébastien Gérard, 2013 .

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

Tullio Vardanega, Roberto Passerone, Daniela Cancila, 2010, IEEE Transactions on Industrial Informatics.

Special issue on Model Based Engineering for Embedded Systems Design

Huáscar Espinoza, Richard F. Paige, Daniela Cancila, 2012, Journal of systems architecture.

Generalized Coiteration Schemata

Furio Honsell, Marina Lenisa, Daniela Cancila, 2003, CMCS.

Functional and structural properties in the Model-Driven Engineering approach

Roberto Passerone, Daniela Cancila, R. Passerone, 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

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

Roberto Passerone, Erkki Jantunen, Michele Albano, 2019, IEEE Access.

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

François Terrier, Roberto Passerone, Daniela Cancila, 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.