AIware 2025
Wed 19 - Thu 20 November 2025
co-located with
ASE 2025
Toggle navigation
Attending
Attending: Registration
Venue: Grand Walkerhill Seoul
About Seoul
Accommodations
Transportation
Program
AIware Program
Your Program
Wed 19 Nov
Thu 20 Nov
Tracks
AIware 2025
Keynotes
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
Organization
AIware 2025 Committees
Steering Committee
Organizing Committee
Track Committees
Main Track
ArXiv Track
Benchmark & Dataset Track
Contributors
People Index
Search
Series
Series
AIware 2025
AIware 2024
Sign in
Sign up
ASE 2025
(
series
) /
AIware 2025
(
series
) /
Dor Ma'ayan
ASE 2025 profile
conf.research.org general profile
ICSE 2023 profile
ICSE 2025 profile
MODELS 2022 profile
Registered user since Fri 13 Jan 2023
Name:
Dor Ma'ayan
Country:
Israel
Affiliation:
Tel Aviv University
Personal website:
https://dormaayan.github.io/
Contributions
2025
ASE
Evolution-Aware Heuristics for GR(1) Realizability Checking
Show activities from other conferences
Share
Using general profile
x
Tue 4 Nov 19:12