ASE 2023
Mon 11 - Fri 15 September 2023
Kirchberg, Luxembourg
Toggle navigation
Attending
Venue: European Convention Center Luxembourg (ECCL)
Registration
Author Information
Accommodation
Social Activities
Travel Support
Program
ASE Program
Your Program
Schedule Overview
Keynote
Mon 11 Sep
Tue 12 Sep
Wed 13 Sep
Thu 14 Sep
Fri 15 Sep
Tracks
ASE 2023
Research Papers
SATE - Software Engineering at the Era of LLMs
Keynotes
Journal-first Papers
Industry Showcase (Papers)
Industry Challenge (Competition)
Doctoral Forum
New Faculty Symposium
NIER Track
Tool Demonstrations
Tutorials
Most Influential Papers (MIP)
Workshops
[Workshop] ASYDE
[Workshop] CPAchecker
[Workshop] A-Mobile
[Workshop] HCSE-CS
[Workshop] A-TEST
Social Events
Organization
ASE 2023 Committees
Organizing Committee
Track Committees
Research Papers
Research Papers Chair
Program Committee
SATE - Software Engineering at the Era of LLMs
Journal-first Papers
Journal-first Papers Chair
Program Committee
Industry Showcase (Papers)
Industry Showcase Chairs
Program Committee
Industry Challenge (Competition)
Industry Challenge Chairs
Program Committee
Doctoral Forum
Doctoral Forum Chair
Expert Panel Members
New Faculty Symposium
NIER Track
NIER Chairs
Program Committee
Tool Demonstrations
Tool Demonstrations Chair
Program Committee
Tutorials
Tutorials Chair
Program Committee
Most Influential Papers (MIP)
Most Influential Papers (MIP) Chair
Program Committee
Workshops
Contributors
People Index
Search
Series
Series
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2023
(
series
) /
European Convention Center Luxembourg (ECCL)
/
Room information: Room PT
Venue
European Convention Center Luxembourg (ECCL)
Room name
Room PT
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 11 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:00
Opening CPAchecker
[Workshop] CPAchecker
at
Room PT
09:00 - 10:00
Keynote 1
[Workshop] CPAchecker
at
Room PT
09:00
60m
Talk
An Exploration of Automated Software Testing, Verification, and Repair Strategies using ESBMC and ChatGPT
[Workshop] CPAchecker
Lucas C. Cordeiro
University of Manchester, UK and Federal University of Amazonas, Brazil
Link to publication
10:30 - 12:00
Latest Analysis Techniques around CPAchecker
[Workshop] CPAchecker
at
Room PT
10:30
20m
Talk
Can ChatGPT Support CPAchecker with Useful Loop Invariants?
[Workshop] CPAchecker
Cedric Richter
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
10:50
20m
Talk
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification
[Workshop] CPAchecker
Po-Chun Chien
LMU Munich
Pre-print
Media Attached
File Attached
11:10
20m
Talk
A Unifying Approach for Control-Flow-Based Loop Abstraction
[Workshop] CPAchecker
Marian Lingsch-Rosenfeld
LMU Munich
Link to publication
File Attached
11:30
20m
Talk
Backward Bounded Model Checking in CPAchecker
[Workshop] CPAchecker
Bas Laarakker
University of Amsterdam
13:30 - 14:30
Keynote 2
[Workshop] CPAchecker
at
Room PT
13:30
60m
Talk
Software Model Checking: 20 Years and Beyond
[Workshop] CPAchecker
Dirk Beyer
LMU Munich
DOI
Media Attached
14:30 - 15:00
Lightning Talks
[Workshop] CPAchecker
at
Room PT
14:30
5m
Talk
Enhancing CPAchecker: A Framework for Distributed Analyses
[Workshop] CPAchecker
Matthias Kettl
LMU Munich
14:35
5m
Talk
Scaling Formal Verification: Parallel Analysis of Functions
[Workshop] CPAchecker
George Granberry
Chalmers University of Technology
14:40
5m
Talk
Dual Approximated Reachability Model Checking in CPAchecker
[Workshop] CPAchecker
Marek Jankola
LMU Munich
14:45
5m
Talk
Current State of Memory-Safety Analysis in CPAchecker
[Workshop] CPAchecker
Daniel Baier
Ludwig Maximilian University of Munich
14:50
5m
Talk
CPAdaemon: Progress and Demo
[Workshop] CPAchecker
Henrik Wachowitz
LMU Munich
15:30 - 17:00
Insights from Using CPAchecker
[Workshop] CPAchecker
at
Room PT
15:30
20m
Talk
Timeout Prediction for Software Analyses
[Workshop] CPAchecker
Nicola Thoben
University of Oldenburg
15:50
20m
Talk
Real-World Software Verification with CPAchecker
[Workshop] CPAchecker
Thomas Lemberger
LMU Munich
16:10
20m
Talk
Using CPAchecker in Teaching
[Workshop] CPAchecker
Jan Haltermann
University of Oldenburg
File Attached
16:30
20m
Talk
Handling Flaky Regression Tests in CPAchecker
[Workshop] CPAchecker
Philipp Wendler
LMU Munich
17:00 - 17:30
Discussion and Closing
[Workshop] CPAchecker
at
Room PT
Mon 11 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room PT
[Workshop] CPAchecker
Opening CPAchecker
[Workshop] CPAchecker
Keynote 1
[Workshop] CPAchecker
Latest Analysis Techniques around CPAchecker
[Workshop] CPAchecker
Keynote 2
[Workshop] CPAchecker
Lightning Talks
[Workshop] CPAchecker
Insights from Using CPAchecker
[Workshop] CPAchecker
Discussion and Closing
Mon 11 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room PT
ASE [Workshop] CPAchecker
An Exploration of Automated Software Testing, Verification, and Repair ...
09:00 - 10:00
ASE [Workshop] CPAchecker
Can ChatGPT Support CPAchecker with Useful Loop Invariants?
10:30 - 10:50
ASE [Workshop] CPAchecker
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Veri ...
10:50 - 11:10
ASE [Workshop] CPAchecker
A Unifying Approach for Control-Flow-Based Loop Abstraction
11:10 - 11:30
ASE [Workshop] CPAchecker
Backward Bounded Model Checking in CPAchecker
11:30 - 11:50
ASE [Workshop] CPAchecker
Software Model Checking: 20 Years and Beyond
13:30 - 14:30
ASE [Workshop] CPAchecker
Enhancing CPAchecker: A Framework for Distributed Analyses
14:30 - 14:35
ASE [Workshop] CPAchecker
Scaling Formal Verification: Parallel Analysis of Functions
14:35 - 14:40
ASE [Workshop] CPAchecker
Dual Approximated Reachability Model Checking in CPAchecker
14:40 - 14:45
ASE [Workshop] CPAchecker
Current State of Memory-Safety Analysis in CPAchecker
14:45 - 14:50
ASE [Workshop] CPAchecker
CPAdaemon: Progress and Demo
14:50 - 14:55
ASE [Workshop] CPAchecker
Timeout Prediction for Software Analyses
15:30 - 15:50
ASE [Workshop] CPAchecker
Real-World Software Verification with CPAchecker
15:50 - 16:10
ASE [Workshop] CPAchecker
Using CPAchecker in Teaching
16:10 - 16:30
ASE [Workshop] CPAchecker
Handling Flaky Regression Tests in CPAchecker
16:30 - 16:50
x
Thu 21 Nov 11:42