Q-SE 2022
Wed 18 May 2022
co-located with
ICSE 2022
Toggle navigation
Attending
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
Q-SE Program
Your Program
Wed 18 May
Track/Call
Organization
Q-SE 2022 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Q-SE 2025
Q-SE 2024
Q-SE 2023
Q-SE 2022
Q-SE 2021
Sign in
Sign up
ICSE 2022
(
series
) /
Q-SE 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
Wed 11 Dec 22:12