Samuele Germiniani

University of Verona

Papers

4

Total Citations

19

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
4
Papers
19
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
A containerized ROS-compliant verification environment for robotic systems
8 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 35
🏛 Institutions: University of Verona

Top Papers

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

Key Collaborators

NBNicola Bombieri4 shared papersGPGraziano Pravadelli4 shared papersSAStefano Aldegheri2 shared papersLGLuca Geretti2 shared papersMDMirco De Marchi2 shared papersMBMichele Boldo2 shared papersGMGloria Menegaz1 shared papersFPFederica Paci1 shared papersSFSilvia Francesca Storti1 shared papersFFFranco Fummi1 shared papersTVTiziano Villa1 shared papersECEttore Cinquetti1 shared papersMPMarco Panato1 shared papersFCFederico Cunico1 shared papersLCLuigi Capogrosso1 shared papersFGFederico Girella1 shared papersFLFrancesco Lumpp1 shared papersNZNicola Zannone1 shared papersFDFlorenc Demrozi1 shared papersMCMarco Cristani1 shared papers
Not generated yet