Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
ECOOP and ISSTA 2021
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Sponsorship
ECOOP and ISSTA 2021
Sponsorship
Sponsors and Supporters
Program
Complete Program
Your Program
ECOOP and ISSTA 2021
Schedule Overview
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Tracks
ISSTA 2021
Technical Papers
Artifact Evaluation
Tool Demonstrations
Keynotes
ECOOP and ISSTA 2021
ECOOP and ISSTA Opening
Sponsors
Summer School
Doctoral Symposium
Discussions with Experts
Posters
Workshops
2022 Previews
Co-hosted Conferences
REBASE
Workshops
AISTA
COP
FTfJP
ICOOOLPS
IWACO
[Cancelled]
VORTEX
WOSCA
[Cancelled]
Organization
ISSTA 2021 Committees
Organizing Comittee
Program Committee
Track Committees
Artifact Evaluation
Tool Demonstrations
ECOOP and ISSTA
Summer School
Doctoral Symposium
Doctoral Symposium Committee
Program Committee
Discussions with Experts
Posters
Workshops
Contributors
People Index
Co-hosted Conferences
REBASE
REBASE
Workshops
AISTA
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Program Committee
Organizing Committee
IWACO
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WOSCA
N/A - check homepage
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
ISSTA 2021
(
series
) /
Michael Giardino
ECOOP and ISSTA 2021 profile
conf.research.org general profile
Not registered as user yet
Name:
Michael Giardino
Country:
Switzerland
Affiliation:
ETH Zurich
Contributions
2021
SPIN
A model-checked I2C specification
Show activities from other conferences
Share
ECOOP and ISSTA 2021-profile
View general profile
x
Sat 9 Nov 02:36