Write a Blog >>
AST 2022
Tue 17 - Wed 18 May 2022
Midspace Room
co-located with
ICSE 2022
Toggle navigation
Attending
Virtual: AST Midspace Room
Venue: David Lawrence Convention Center
Virtual: Midspace
ICSE 2022
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Program
AST Program
Your Program
Tue 17 May
Wed 18 May
Track/Call
Organization
AST 2022 Committees
Track Committees
Organizing Committee
AST Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
AST 2025
AST 2024
AST 2023
AST 2022
AST 2021
AST 2020
Sign in
Sign up
ICSE 2022
(
series
) /
AST 2022 (
series
) /
Richard Bubel
ICSE 2022 profile
conf.research.org general profile
ECOOP 2016 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
SPLASH 2021 profile
Registered user since Fri 19 Feb 2016
Name:
Richard Bubel
Country:
Germany
Affiliation:
Technische Universität Darmstadt
Contributions
2022
FormaliSE
Automatic Loop Invariant Generation for Data Dependence Analysis
Show activities from other conferences
Share
ICSE 2022-profile
View general profile
x
Sun 24 Nov 14:09