E-LIB Suche - Ergebnisse für: Cancila, Daniela

1

5G Communication and Security in Connected Vehicles:

Imbruglia, Antonio ; Cancila, Daniela ; Settembre, Marina
ACM SIGAda Ada Letters. 42 (2023) 2 - p. 109-113 , 2023

Link: https://doi.org/10.1145/..

2

Adoption of ACPS in Nuclear Reactor Analysis:

Castagna, Christian ; Cancila, Daniela ; Cammi, Antonio
ACM SIGAda Ada Letters. 41 (2022) 1 - p. 69-73 , 2022

Link: https://doi.org/10.1145/..

3

Correction: Sharpening the Scythe of Technological Change: ..:

Cancila, Daniela ; Gerstenmayer, Jean-Louis ; Espinoza, Huascar.
Designs. 3 (2019) 1 - p. 14 , 2019

Link: https://doi.org/10.3390/..

4

A Methodology for the Design of Safety-Compliant and Secure..:

Passerone, Roberto ; Cancila, Daniela ; Albano, Michele...
IEEE Access. 7 (2019) - p. 125022-125037 , 2019

Link: https://doi.org/10.1109/..

5

Sharpening the Scythe of Technological Change: Socio-Techni..:

Cancila, Daniela ; Gerstenmayer, Jean-Louis ; Espinoza, Huascar.
Designs. 2 (2018) 4 - p. 52 , 2018

Link: https://doi.org/10.3390/..

6

Experiences and reflections on three years of CPS summer sc..:

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

Cancila, Daniela ; Nuzzo, Valeria ; Stoycheva, Milena... - p. 1-4 , 2016

Link: https://dl.acm.org/doi/1..

7

Cyber-Physical System and Contract-Based Design : A Thre..:

, In: Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education,

Cancila, Daniela ; Zaatiti, Hadi ; Passerone, Roberto - p. 1-4 , 2015

Link: https://dl.acm.org/doi/1..

8

Special issue on Model Based Engineering for Embedded Syste..:

Cancila, Daniela ; Espinoza, Huascar ; Paige, Richard F.
Journal of Systems Architecture. 58 (2012) 5 - p. 177 , 2012

Link: https://doi.org/10.1016/..

9

The 3 rd International Workshop on Non-functional System Pr..:

, In: Models in Software Engineering; Lecture Notes in Computer Science,

Bošković, Marko ; Cancila, Daniela ; Pahl, Claus. - p. 308-311 , 2011

Link: https://doi.org/10.1007/..

10

The 3rd international workshop on non-functional system pro..:

, In: Proceedings of the 2010 international conference on Models in software engineering,

Bošković, Marko ; Cancila, Daniela ; Pahl, Claus. - p. 308-311 , 2010

Link: https://dl.acm.org/doi/1..

11

Metamodels in Europe: Languages, Tools, and Applications:

Passerone, Roberto ; Hafaiedh, Imene Ben ; Graf, Susanne...
IEEE Design & Test of Computers. 26 (2009) 3 - p. 38-53 , 2009

Link: https://doi.org/10.1109/..

12

Functors Determined by Values on Objects:

Cancila, Daniela ; Honsell, Furio ; Lenisa, Marina
Electronic Notes in Theoretical Computer Science. 158 (2006) - p. 151-169 , 2006

Link: https://doi.org/10.1016/..

13

Some Properties and Some Problems on Set Functors:

Cancila, Daniela ; Honsell, Furio ; Lenisa, Marina
Electronic Notes in Theoretical Computer Science. 164 (2006) 1 - p. 67-84 , 2006

Link: https://doi.org/10.1016/..

14

Do text transcoders improve usability for disabled users?:

, In: Proceedings of the 2005 International Cross-Disciplinary Workshop on Web Accessibility (W4A),

Brajnik, Giorgio ; Cancila, Daniela ; Nicoli, Daniela. - p. 9-17 , 2005

Link: https://dl.acm.org/doi/1..

15

Properties of Set Functors:

Cancila, Daniela ; Honsell, Furio ; Lenisa, Marina
Electronic Notes in Theoretical Computer Science. 104 (2004) - p. 61-80 , 2004

Link: https://doi.org/10.1016/..