Giuseppe Cicala

University of Genoa

论文数

2

总引用数

20

H-Index

2

关于

暂无简介。

研究焦点

Software engineering2 · 20 次引用
Computer science2 · 20 次引用
Operating system2 · 20 次引用
Runtime verification1 · 12 次引用
Scalability1 · 12 次引用
Distributed computing1 · 12 次引用
Formal verification1 · 12 次引用
Context (archaeology)1 · 12 次引用
Model checking1 · 12 次引用
Programming language1 · 12 次引用
Asynchronous communication1 · 12 次引用
Systems engineering1 · 8 次引用

主要成就

2
H 指数
2
论文
20
总引用数
10
篇均引用
🏆 最高被引论文
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
12 次引用 · 2021
📈 最高产年份: 2021 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Genoa

代表论文

  1. 1
    Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
    12 次引用 · 2021
  2. 2
    Engineering Approaches and Methods to Verify Software in Autonomous Systems
    8 次引用 · 2015

主要合作者

LNLorenzo Natale2 篇合著论文ATArmando Tacchella2 篇合著论文SPS.B. Pathak1 篇合著论文AKAli Khalili1 篇合著论文DEDaniele E. Domenichelli1 篇合著论文GMGiorgio Metta1 篇合著论文LPLuca Pulina1 篇合著论文MCMichele Colledanchise1 篇合著论文
尚未生成