ECOOP and ISSTA 2023
Mon 17 - Fri 21 July 2023
Seattle (University of Washington campus), Washington, United States
Toggle navigation
Attending
Venue: Seattle
Conduct
Covid-19
Accommodation
Registration
Visas
Program
Complete Program
Your Program
Mon 17 Jul
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
ECOOP and ISSTA 2023
Doctoral Symposium
Keynotes
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Co-hosted Conferences
ECOOP
ECOOP
ECOOP
Awards
ECOOP
Keynotes
ECOOP
Research Papers
ECOOP
Artifacts
ISSTA
ISSTA
ISSTA
Technical Papers
ISSTA
Artifact Evaluation
ISSTA
Tool Demonstrations
ISSTA
Keynotes
Workshops
COP
DEBT
FTfJP
FUZZING
ICOOOLPS
VORTEX
Organization
ECOOP and ISSTA 2023 Committees
Track Committees
Doctoral Symposium
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
ECOOP
Organizing Committee
Research Papers
Program Committee
Research Papers
Extended Review Committee and External Reviewers
Artifacts
ISSTA
Organizing Committee
Technical Papers
Artifact Evaluation
Tool Demonstrations
Workshops
COP
Organizing Committee
Program Committee
DEBT
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
FUZZING
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
Search
Series
Series
ISSTA/ECOOP 2024
ECOOP and ISSTA 2023
ECOOP and ISSTA 2021
ECOOP and ISSTA 2018
Sign in
Sign up
ECOOP and ISSTA 2023
(
series
) /
Angelo Ferrando
ECOOP and ISSTA 2023 profile
conf.research.org general profile
ECOOP 2016 profile
ISSTA/ECOOP 2024 profile
NASA Formal Methods 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Registered user since Tue 4 Apr 2023
Name:
Angelo Ferrando
Contributions
2023
VORTEX
RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Show activities from other conferences
Share
ECOOP and ISSTA 2023-profile
View general profile
x
Fri 15 Nov 08:26