Pietro Ferrara

ETH Zurich, Ca' Foscari University of Venice

Papers

3

Total Citations

17

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 17 citations
Programming language3 · 17 citations
Static analysis3 · 17 citations
Artificial intelligence2 · 14 citations
Abstract interpretation1 · 11 citations
Control flow1 · 11 citations
Model checking1 · 11 citations
Database1 · 11 citations
Data flow diagram1 · 11 citations
Engineering1 · 11 citations
Formal verification1 · 11 citations
Functional verification1 · 11 citations

Key Achievements

3
H-Index
3
Papers
17
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Static analysis techniques for robotics software verification
11 citations · 2013
📈 Most Prolific Year: 2024 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: ETH Zurich, Ca' Foscari University of Venice

Top Papers

  1. 1
    Static analysis techniques for robotics software verification
    11 citations · 2013
  2. 2
    Automating ROS2 Security Policies Extraction through Static Analysis
    3 citations · 2024
  3. 3
    Inference of access policies through static analysis
    3 citations · 2024

Key Collaborators

LNLuca Negrini2 shared papersGCGianluca Caiazza2 shared papersGZGiacomo Zanatta2 shared papersRWRuffin White1 shared papersNCNabendu Chaki1 shared papersACAgostino Cortesi1 shared papers
Not generated yet