Pietro Ferrara

ETH Zurich, Ca' Foscari University of Venice

论文数

3

总引用数

17

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
3
论文
17
总引用数
6
篇均引用
🏆 最高被引论文
Static analysis techniques for robotics software verification
11 次引用 · 2013
📈 最高产年份: 2024 (2 论文)
🤝 主要合作者: 6
🏛 所属机构: ETH Zurich, Ca' Foscari University of Venice

代表论文

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

主要合作者

LNLuca Negrini2 篇合著论文GCGianluca Caiazza2 篇合著论文GZGiacomo Zanatta2 篇合著论文RWRuffin White1 篇合著论文NCNabendu Chaki1 篇合著论文ACAgostino Cortesi1 篇合著论文
尚未生成