MOBILESoft 2023
Mon 15 - Tue 16 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
Program
MOBILESoft Program
Your Program
Keynote
Mon 15 May
Tue 16 May
Tracks
MOBILESoft 2023
Research Track
NIER (Novel Ideas and Emerging Results)
Tools and Datasets
Leaders Forum
Awards
Organization
MOBILESoft 2023 Committees
Organizing Committee
Track Committees
Research Track
NIER (Novel Ideas and Emerging Results)
Tools and Datasets
Leaders Forum
Awards
Contributors
People Index
Search
Series
Series
MOBILESoft 2025
MOBILESoft 2024
MOBILESoft 2023
MOBILESoft 2022
MOBILESoft 2021
MOBILESoft 2020
MOBILESoft 2019
MobileSoft 2018
Sign in
Sign up
ICSE 2023
(
series
) /
MOBILESoft 2023
(
series
) /
Kirsten Winter
ICSE 2023 profile
conf.research.org general profile
* ICSE 2018 * profile
ICSE 2019 profile
ICSE 2024 profile
POPL 2019 profile
Registered user since Sat 2 Feb 2019
Name:
Kirsten Winter
Affiliation:
Defence Science and Technology Group, Australia
Contributions
2023
FormaliSE
Committee Member in Program Committee within the FormaliSE 2023-track
ICSE
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Sun 24 Nov 03:41