Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif (NASA Formal Methods 2024 - NFM 2024) - NASA Formal Methods 2024

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

Who

Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernandez Adiego

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

Thu 6 Jun 2024 16:40 - 16:55 at Ballroom - FM for Software Engineering Chair(s): Sandy Lozito

Xaver Fink

CERN

Germany

Anastasia Mavridou

KBR / NASA Ames Research Center

United States

Andreas Katis

KBR / NASA Ames Research Center

United States

Borja Fernandez Adiego

CERN

France

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

Thu 6 Jun
Displayed time zone: Pacific Time (US & Canada) change

	16:00 - 16:55	FM for Software EngineeringNFM 2024 at Ballroom Chair(s): Sandy Lozito NASA Ames Research Center

	16:00 15m Talk		Structuring Formal Methods into the Undergraduate Computer Science Curriculum NFM 2024 Ramnath Sarnath SCSU, Stephen Walk SCSU
	16:15 25m Talk		Integrated Contract-based Unit and System Testing for Component-based Systems NFM 2024 John Hatcliff Kansas State University, Jason Belt Kansas State University, Robby Kansas State University, David Hardin Collins Aerospace
	16:40 15m Talk		Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif NFM 2024 Xaver Fink CERN, Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Borja Fernandez Adiego CERN