CUFinder

giuseppe cicala

About giuseppe cicala

giuseppe cicala, With an exceptional h-index of 3 and a recent h-index of 3 (since 2020), a distinguished researcher at Università degli Studi di Genova, specializes in the field of Software verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

A comparison of declarative AI techniques for computer automated design of elevator systems

Formalizing the execution context of behavior trees for runtime verification of deliberative policies

A Toolchain to Design, Execute, and Monitor Robots Behaviors

Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis

giuseppe cicala Information

University

Position

___

Citations(all)

47

Citations(since 2020)

18

Cited By

39

hIndex(all)

3

hIndex(since 2020)

3

i10Index(all)

2

i10Index(since 2020)

0

Email

University Profile Page

Google Scholar

giuseppe cicala Skills & Research Interests

Software verification

Top articles of giuseppe cicala

A comparison of declarative AI techniques for computer automated design of elevator systems

Intelligenza Artificiale

2022/1/1

Giuseppe Cicala
Giuseppe Cicala

H-Index: 2

Marco Menapace
Marco Menapace

H-Index: 2

Armando Tacchella
Armando Tacchella

H-Index: 16

Formalizing the execution context of behavior trees for runtime verification of deliberative policies

2021/9/27

Giuseppe Cicala
Giuseppe Cicala

H-Index: 2

Armando Tacchella
Armando Tacchella

H-Index: 16

A Toolchain to Design, Execute, and Monitor Robots Behaviors

arXiv preprint arXiv:2106.15211

2021/6/29

Giuseppe Cicala
Giuseppe Cicala

H-Index: 2

Armando Tacchella
Armando Tacchella

H-Index: 16

Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis

2021

Dario Guidotti
Dario Guidotti

H-Index: 3

Giuseppe Cicala
Giuseppe Cicala

H-Index: 2

Armando Tacchella
Armando Tacchella

H-Index: 16

See List of Professors in giuseppe cicala University(Università degli Studi di Genova)