Distributional Probabilistic Model Checking (NASA Formal Methods 2024 - NFM 2024) - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Who

Ingy Elsayed-Aly, David Parker, Lu Feng

Track

NASA Formal Methods 2024 NFM

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

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 programSpecify a time band

When

Tue 4 Jun 2024 11:45 - 12:10 at Ballroom - Advances in Solver Technology Chair(s): Ivan Perez

Ingy Elsayed-Aly

University of Virginia

United States

David Parker

University of Oxford

United Kingdom

Lu Feng

University of Virginia

United States

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

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 programSpecify a time band

Session Program

Tue 4 Jun
Displayed time zone: Pacific Time (US & Canada) change

	10:30 - 12:30	Advances in Solver Technology NFM 2024 at Ballroom Chair(s): Ivan Perez NASA Ames Research Center

	10:30 25m Talk		Structure-guided Cube-and-conquer for MaxSAT NFM 2024 Max Bannach European Space Agency, Advanced Concepts Team, Markus Hecher MIT
	10:55 25m Talk		Tackling the polarity initialization problem in SAT solving using a genetic algorithm NFM 2024 Sabrine Saouli Sorbonne Université (LIP6), Souheib Baarir EPITA (LRE), Claude Dutheillet LIP6 Universite Pierre et Marie Curie
	11:20 25m Talk		Formalization of asymptotic convergence for Stationary Iterative Methods NFM 2024 Mohit Tekriwal Lawrence Livermore National Laboratory, Joshua Miller University of Michigan, Ann Arbor, Jean-Baptiste Jeannin University of Michigan at Ann Arbor
	11:45 25m Talk		Distributional Probabilistic Model Checking NFM 2024 Ingy Elsayed-Aly University of Virginia, David Parker University of Oxford, Lu Feng University of Virginia