Livia Lestingi

Politecnico di Milano

Papers

13

Total Citations

120

H-Index

7

About

No biography available yet.

Research Focus

Computer science13 · 120 citations
Software engineering11 · 105 citations
Artificial intelligence12 · 104 citations
Human–computer interaction9 · 85 citations
Robot9 · 85 citations
Programming language7 · 64 citations
Engineering6 · 54 citations
Service (business)5 · 49 citations
Systems engineering5 · 48 citations
Human–robot interaction4 · 41 citations
Software4 · 40 citations
Domain (mathematical analysis)4 · 40 citations

Key Achievements

7
H-Index
13
Papers
120
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Specification, stochastic modeling and analysis of interactive service robotic applications
21 citations · 2023
📈 Most Prolific Year: 2023 (4 Papers)
🤝 Key Collaborators: 18
🏛 Institutions: Politecnico di Milano

Top Papers

  1. 1
    Specification, stochastic modeling and analysis of interactive service robotic applications
    21 citations · 2023
  2. 2
    Formally-based Model-Driven Development of Collaborative Robotic Applications
    16 citations · 2021
  3. 3
    Formal Verification of Human-Robot Interaction in Healthcare Scenarios
    14 citations · 2020
  4. 4
    A Deployment Framework for Formally Verified Human-Robot Interactions
    12 citations · 2021
  5. 5
    A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
    11 citations · 2023
  6. 6
    Formal modeling and verification of multi-robot interactive scenarios in service settings
    11 citations · 2022
  7. 7
    Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior
    10 citations · 2022
  8. 8
    A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
    6 citations · 2020
  9. 9
    HRC-Team : a model-driven approach to formal verification and deployment of collaborative robotic applications
    6 citations · 2017
  10. 10
    Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
    4 citations · 2023

Key Collaborators

MRMatteo Rossi12 shared papersMMMarcello M. Bersani9 shared papersMAMehrnoosh Askarpour6 shared papersPSPatrizia Scandurra2 shared papersMCMatteo Camilli2 shared papersRMRaffaela Mirandola2 shared papersSLSamuele Longoni2 shared papersFVFederico Vicentini2 shared papersGRGiorgio Romeo1 shared papersDMDavide Marinaro1 shared papersFBFederico Buran1 shared papersCSCristian Sbrolli1 shared papersNINiccolò Iannacci1 shared papersDZDavide Zerla1 shared papersAMAndrea Manglaviti1 shared papersPSPasquale Scarmozzino1 shared papersATAlberto Tagliaferro1 shared papersLMLuca Marinello1 shared papers
Not generated yet