Tools Lightning Talks (NASA Formal Methods 2024 - NFM 2024)

Who

Lukas Westhofen, Ovini V.W. Gunasekera, Andrew Schoer, Xaver Fink, Andreas Katis, Victoria Marie Tuck, Federico Rossi

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

Save

When

Wed 5 Jun 2024 11:45 - 12:20 at Ballroom - Tools Lightning Session Chair(s): Nija Shi

Abstract

Topllet: Answering Metric Temporal Conjunctive Queries

Lukas Westhofen

Real Arithmetic in TLAPM

Ovini Gunasekera

Control Barrier Function Toolbox

Andrew Schoer

PLCverif - FRET integration: Extending the specification capabilities for verification

Xaver Fink, Andreas Katis

SMT Solving for Dynamic Multi-Robot Task Allocation

Victoria Tuck

Towards formal verification of neural networks in cyber-physical systems

Federico Rossi

Lukas Westhofen

DLR e.V. Institute of Systems Engineering for Future Mobility

Germany

Ovini V.W. Gunasekera

Lancaster University

United Kingdom

Andrew Schoer

MIT Lincoln Laboratory

United States

Xaver Fink

CERN

Germany

Andreas Katis

KBR / NASA Ames Research Center

United States

Victoria Marie Tuck

University of California, Berkeley

United States

Federico Rossi

Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Italy

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

Display full programSpecify a time band

Save

Session Program

Wed 5 Jun
Displayed time zone: Pacific Time (US & Canada) change

11:45 - 12:20	Tools Lightning SessionNFM 2024 at Ballroom Chair(s): Nija Shi NASA Ames Research Center Participants in the Tools Demonstration Session will give a 5 minute lightning talk to introduce their tools.

11:45 35m Talk		Tools Lightning Talks NFM 2024 Lukas Westhofen DLR e.V. Institute of Systems Engineering for Future Mobility, Ovini V.W. Gunasekera Lancaster University, Andrew Schoer MIT Lincoln Laboratory, Xaver Fink CERN, Andreas Katis KBR / NASA Ames Research Center, Victoria Marie Tuck University of California, Berkeley, Federico Rossi Università di Pisa, Dipartimento di Ingegneria dell'Informazione