ASE 2025
Sun 16 - Thu 20 November 2025
Seoul, South Korea
Toggle navigation
Attending
Venue: Grand Walkerhill Seoul
Transportation to Venue
Accommodations
Registration
Visa Letter
About Seoul
Code of Conduct
Diversity and Inclusion Plan
Travel Support
Sponsorship
Program
ASE Program
Your Program
Program Overview
Sun 16 Nov
Mon 17 Nov
Tue 18 Nov
Wed 19 Nov
Thu 20 Nov
Tracks
ASE 2025
Keynote
Research Papers
Journal-First Track
Industry Showcase
NIER Track
Tool Demonstration Track
MIP Award
Workshops
Doctoral Symposium
New Faculty Symposium
Student Research Competition
Tutorials
Student Volunteers
Posters
Co-hosted Conferences
AIware
AIware
AIware
Keynotes
AIware
Main Track
AIware
ArXiv Track
AIware
Benchmark & Dataset Track
AIware
Industry Demo Track
Workshops
A-Mobile
AgenticSE
AISM
ASYDE
Code Completion Challenge
Ex-ASE
Intelligent SE
MAS-GAIN
VARSE
Co-hosted Symposia
SSBSE
SSBSE
SSBSE
Hot-off-the-Press
SSBSE
RENE/NIER
SSBSE
Research Papers
SSBSE
Challenge
Organization
ASE 2025 Committees
Organizing Committee
Track Committees
Research Papers
Journal-First Track
Industry Showcase
NIER Track
Tool Demonstration Track
Workshops
Doctoral Symposium
Doctoral Symposium Committee
Doctoral Symposium Panel
New Faculty Symposium
Student Research Competition
Student Research Competition Chair
Program Committee
Tutorials
Student Volunteers
Contributors
People Index
Co-hosted Conferences
AIware
Steering Committee
Organizing Committee
Main Track
ArXiv Track
Benchmark & Dataset Track
Workshops
A-Mobile
N/A - check homepage
AgenticSE
N/A - check homepage
AISM
N/A - check homepage
ASYDE
N/A - check homepage
Code Completion Challenge
N/A - check homepage
Ex-ASE
N/A - check homepage
Intelligent SE
N/A - check homepage
MAS-GAIN
N/A - check homepage
VARSE
N/A - check homepage
Co-hosted Symposia
SSBSE
Organizing Committee
Steering Committee
Hot-off-the-Press
RENE/NIER
Research Papers
SSBSE Challenge
Search
Series
Series
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2025
(
series
) /
Nicolas Amat
ASE 2025 profile
conf.research.org general profile
Not registered as user
Name:
Nicolas Amat
Affiliation:
ONERA - The French Aerospace Lab
Contributions
2025
ASE
How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs
Show activities from other conferences
Share
Using general profile
x
Sun 26 Oct 22:48