◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

S. Tini

16 papers hereh-index 17868 citations104 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author1
  • last author15

Across the 16 of 16 papers where every author was matched, so the position is known.

fields
  • cs.LO14
  • cs.PL1
  • eess.SY1

identity via Semantic Scholar / OpenAlex

activity
20102024
most citedLogical Characterization of Bisimulation Metrics

23 citations · 100 across the 15 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021★ 8 cited

A framework to measure the robustness of programs in the unpredictable environment

Valentina Castiglioni, Michele Loreti, Simone Tini

Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient b…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.