Samuele Germiniani

University of Verona

论文数

4

总引用数

19

H-Index

3

关于

暂无简介。

研究焦点

Computer science4 · 19 次引用
Real-time computing2 · 12 次引用
Cloud computing2 · 11 次引用
Operating system2 · 11 次引用
Formal verification1 · 8 次引用
Runtime verification1 · 8 次引用
Edge computing1 · 8 次引用
Distributed computing1 · 8 次引用
Functional verification1 · 8 次引用
Embedded system1 · 8 次引用
Plug-in1 · 8 次引用
Software portability1 · 8 次引用

主要成就

3
H 指数
4
论文
19
总引用数
5
篇均引用
🏆 最高被引论文
A containerized ROS-compliant verification environment for robotic systems
8 次引用 · 2021
📈 最高产年份: 2021 (1 论文)
🤝 主要合作者: 35
🏛 所属机构: University of Verona

代表论文

  1. 1
    A containerized ROS-compliant verification environment for robotic systems
    8 次引用 · 2021
  2. 2
    Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
    4 次引用 · 2024
  3. 3
    Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation
    4 次引用 · 2022
  4. 4
    Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications
    3 次引用 · 2025

主要合作者

NBNicola Bombieri4 篇合著论文GPGraziano Pravadelli4 篇合著论文SAStefano Aldegheri2 篇合著论文LGLuca Geretti2 篇合著论文MDMirco De Marchi2 篇合著论文MBMichele Boldo2 篇合著论文GMGloria Menegaz1 篇合著论文FPFederica Paci1 篇合著论文SFSilvia Francesca Storti1 篇合著论文FFFranco Fummi1 篇合著论文TVTiziano Villa1 篇合著论文ECEttore Cinquetti1 篇合著论文MPMarco Panato1 篇合著论文FCFederico Cunico1 篇合著论文LCLuigi Capogrosso1 篇合著论文FGFederico Girella1 篇合著论文FLFrancesco Lumpp1 篇合著论文NZNicola Zannone1 篇合著论文FDFlorenc Demrozi1 篇合著论文MCMarco Cristani1 篇合著论文
尚未生成