• Sign in
  • Sign up
conf.researchr.org / Davide Basile
  • ICSE 2020 profile
  • ICSE 2023 profile
  • ICSE 2024 profile

Registered user since Fri 24 Jan 2020

Name:Davide Basile
Affiliation:University of Florence

Contributions

2024

FormaliSE

  • Author of Time for Networks: Mutation Testing for Timed Automata Networks within the FormaliSE 2024-track

2023

FormaliSE

  • Author of Mutant Equivalence as Monotonicity in Parametric Timed Games within the FormaliSE 2023-track

2020

ICSE

  • Author of Comparing Formal Tools for System Design: a Judgment Study within the Technical Papers-track
Share
xTue 2 Sep 00:03
using conf.researchr.org (v1.70.0)
Support page
Sign Up