WADT 2026
Tue 30 Jun 2026
co-located with
STAF 2026
Toggle navigation
Attending
Venue: How to get to INRIA Center, University of Rennes ?
Program
WADT Program
Your Program
Tue 30 Jun
Tracks
WADT 2026
WADT 2026
STAF 2026
Social Events
Organization
WADT 2026 Committees
Programme Committee
Track Committees
Organizers
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
WADT 2026
WADT 2024
Sign in
Sign up
STAF 2026
(
series
) /
WADT 2026
(
series
) /
Rosemary Monahan
STAF 2026 profile
conf.research.org general profile
ECOOP and ISSTA 2023 profile
FM 2026 profile
ICSE 2026 profile
ISSTA/ECOOP 2024 profile
REFSQ 2025 profile
STAF 2025 profile
Not registered as user
Name:
Rosemary Monahan
Country:
Ireland
Contributions
2026
ECMFA
Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification
WADT
Committee Member in Programme Committee
Heterogeneous Specification via Institutions for Event-B and Temporal Logic
Show activities from other conferences
Share
Using general profile
x
Tue 16 Jun 14:58