DREE 2022
Dates to be announced
co-located with
ICSE 2022
Toggle navigation
Attending
Venue: David Lawrence Convention Center
Virtual: Midspace
Program
DREE Program
Your Program
Sat 31 Dec
Track/Call
Organization
DREE 2022 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2022
(
series
) /
DREE 2022 (
series
) /
David Lawrence Convention Center
/
Room information: GHC 6115 (at Carnegie Mellon University)
Venue
David Lawrence Convention Center
Room name
GHC 6115 (at Carnegie Mellon University)
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-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07: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-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05: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-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Sun 22 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:00 - 10:45
Check-in (with light breakfast)
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
10:45 - 12:00
Opening and Keynote
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
10:45
75m
Keynote
Integrating Usability into Language and Type System Design
FormaliSE
Jonathan Aldrich
Carnegie Mellon University
14:00 - 16:00
Technical Session
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
14:00
30m
Paper
Towards Automated Input Generation for Sketching Alloy Models
FormaliSE
Ana Jovanovic
,
Allison Sullivan
University of Texas at Arlington
14:30
30m
Paper
Automating Cryptographic Protocol Language Generation from Structured Specifications
FormaliSE
Roberto Metere
Newcastle University
,
Luca Arnaboldi
The University of Edinburgh
15:00
30m
Talk
Counterexample-Guided Inductive Repair of Reactive Contracts
FormaliSE
Soha Hussein
University of Minnesota, USA / Ain Shams University, Egypt
,
Sanjai Rayadurgam
University of Minnesota
,
Stephen McCamant
University of Minnesota, USA
,
Vaibhav Sharma
Amazon
,
Mats Heimdahl
University of Minnesota
15:30
30m
Talk
Property-Driven Testing of Black-Box Functions
FormaliSE
Arnab Sharma
University of Paderborn
,
Vitalik Melnikov
,
Eyke Hüllermeier
,
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
16:00 - 16:30
Coffee Break
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
16:30 - 17:30
Tutorial and Closing
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
16:30
60m
Tutorial
Formally validating Model-Based Safety Assurance Cases
FormaliSE
Torin Viger
Sun 22 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
GHC 6115 (at Carnegie Mellon University)
FormaliSE
Check-in (with light breakfast)
FormaliSE
Opening and Keynote
FormaliSE
Technical Session
FormaliSE
Coffee Break
FormaliSE
Tutorial and Closing
Sun 22 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
17:00
15
30
45
GHC 6115 (at Carnegie Mellon University)
FormaliSE
Integrating Usability into Language and Type System Design
10:45 - 12:00
FormaliSE
Towards Automated Input Generation for Sketching Alloy Models
14:00 - 14:30
FormaliSE
Automating Cryptographic Protocol Language Generation from Structured S ...
14:30 - 15:00
FormaliSE
Counterexample-Guided Inductive Repair of Reactive Contracts
15:00 - 15:30
FormaliSE
Property-Driven Testing of Black-Box Functions
15:30 - 16:00
FormaliSE
Formally validating Model-Based Safety Assurance Cases
16:30 - 17:30
x
Tue 31 Dec 11:35