Concepedia

Lorenzo Testa

LT

Statistics

Publications

2

Citations

29

H-Index

2

Active since

2018

Affiliations

University of Turin(Current)

Lorenzo Testa is an author at University of Turin specializing in engineering, systems engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsCloud ComputingProcess ControlInternet Of ThingsAutomated ReasoningDistributed SystemsFormal Verification

Publications per year

2018–2022

2

Publications

2

Aggregate processes as distributed adaptive services for the Industrial Internet of Things

Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani et al. · Pervasive and Mobile Computing · 2022 · 15 citations

Iot Data Analytics, Web Of Thing, Engineering +11

On checking delta-oriented product lines of statecharts

Michaël Lienhardt, Ferruccio Damiani, Lorenzo Testa et al. · Science of Computer Programming · 2018 · 14 citations · Full text

Engineering, Automated Reasoning, Verification +8

Rows per page

1–2 of 2