Concepedia

Stefano Tonetta

ST

34

Publications

968

Citations

19

H-Index

2006

Active since

Affiliations

Fondazione Bruno Kessler(Current)

Università della Svizzera italiana

University of Trento

University of Oxford

University of York

Stefano Tonetta is an author at Fondazione Bruno Kessler specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationAutomated ReasoningVerificationComputer ScienceSystems EngineeringSoftware AnalysisComputer EngineeringProgram Analysis

Publications per year

2006–2024

34

Publications

34

OCRA: A tool for checking the refinement of temporal contracts

Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta · 2013 · 121 citations

Software Maintenance, Engineering, Verification +25

A Property-Based Proof System for Contract-Based Design

Alessandro Cimatti, Stefano Tonetta · 2012 · 75 citations

Engineering, Verification, Software Engineering +22

Contracts-refinement proof system for component-based embedded systems

Alessandro Cimatti, Stefano Tonetta · Science of Computer Programming · 2014 · 71 citations

Hardware Security, Formal Specification, Engineering +11

Parameter synthesis with IC3

Alessandro Cimatti, Alberto Griggio, Sergio Mover et al. · 2013 · 56 citations

Validation of requirements for hybrid systems

Alessandro Cimatti, Marco Roveri, Angelo Susi et al. · ACM Transactions on Software Engineering and Methodology · 2012 · 51 citations

Informal Requirements, Engineering, Verification +20

Rows per page

1–5 of 34