Write a Blog >>
SoHeal 2021
Sat 29 May 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
SoHeal Program
Your Program
Sat 29 May
Track/Call
Organization
SoHeal 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2021
(
series
) /
SoHeal 2021 (
series
) /
Enrico Viganò
ICSE 2021 profile
conf.research.org general profile
ASE 2023 profile
ICSE 2023 profile
ICST 2024 profile
Not registered as user yet
Name:
Enrico Viganò
Country:
Luxembourg
Affiliation:
University of Luxembourg
Contributions
2021
ICSE
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
ThEodorE: a Trace Checker for CPS Properties
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Sun 24 Nov 10:45