Giuseppe Cicala

University of Genoa

Papers

2

Total Citations

20

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
2
Papers
20
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
12 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Genoa

Top Papers

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

Key Collaborators

LNLorenzo Natale2 shared papersATArmando Tacchella2 shared papersSPS.B. Pathak1 shared papersAKAli Khalili1 shared papersDEDaniele E. Domenichelli1 shared papersGMGiorgio Metta1 shared papersLPLuca Pulina1 shared papersMCMichele Colledanchise1 shared papers
Not generated yet