ECOOP 2024
Mon 16 - Fri 20 September 2024
Vienna, Austria
co-located with
ISSTA/ECOOP 2024
Toggle navigation
Attending
Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus
Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz
Banquet: Fuhrgassl-Huber
ISSTA/ECOOP 2024
Equity, Diversity and Inclusion
Code of Conduct
Visa Support Letters
Accomodation
Registration
Program
ECOOP Program
Your Program
ISSTA/ECOOP 2024
Schedule Overview
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Tracks
ECOOP 2024
Awards
Technical Papers
Artifact Evaluation
ISSTA/ECOOP 2024
Diversity
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Organization
ECOOP 2024 Committees
Organizing Committee
Track Committees
Technical Papers
Program Committee
Extended Review Committee and External Reviewers
Artifact Evaluation
ISSTA/ECOOP
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Contributors
People Index
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ISSTA/ECOOP 2024
(
series
) /
ECOOP 2024
(
series
) /
Norbert Tihanyi
ISSTA/ECOOP 2024 profile
conf.research.org general profile
Not registered as user
Name:
Norbert Tihanyi
Affiliation:
Eotvos Lorand University
Contributions
2024
ECOOP/ISSTA
JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Show activities from other conferences
Share
ISSTA/ECOOP 2024-profile
View general profile
x
Mon 30 Dec 17:06