Survey and Consistency Checking of Formal Requirements Animations (Requirements Engineering 2021 - Workshops) - Requirements Engineering 2021

Write a Blog >>

Mon 20 - Fri 24 September 2021

Who

Christophe Ponsard, Jean-Christophe Deprez

Track

Requirements Engineering 2021 Workshops

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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 21 Sep 2021 11:15 - 11:45 at Fitzpatrick-8 - Workshop: FormReq

Christophe Ponsard

CETIC

Belgium

Jean-Christophe Deprez

CETIC

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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 21 Sep
Displayed time zone: Eastern Time (US & Canada) change

	08:00 - 12:00	Workshop: FormReqWorkshops at Fitzpatrick-8 Formal Requirements Go to midspace (Zoom Rooms for tutorials are linked there)

	08:00 15m Day opening		Opening and Wellcome Workshops
	08:15 75m Keynote		Keynote by Panagiotis Katsaros from Aristotle University of Thessaloniki: Formalisation and analysis of natural language system requirements Workshops
	09:30 30m Break		Break Workshops
	10:00 25m Talk		A Natural Language Processing Technique for Formalization of Systems Requirement Specifications Workshops Viktoria Koscinski Rochester Institute of Technology, Celeste Gambardella Rochester Institute of Technology, Estey Gerstner Rochester Institute of Technology, Mark Zappavigna Air Force Research Laboratory, Jennifer Cassetti Air Force Research Laboratory, Mehdi Mirakhorli Rochester Institute of Technology
	10:25 25m Talk		Security requirements classification into groups using NLP Transformers Workshops Vasily Varenov Innopolis Universily, Aydar Gabdrahmanov Innopolis Universily
	10:50 25m Talk		Security Requirements as Code: Example from VeriDevOps Project Workshops Alexandr Naumchev Schaffhausen Institute of Technology, Andrey Sadovykh Softeam, Khaled Ismaeel Innopolis University, Dragos Truscan Åbo Akademi University, Eduard Paul Enoiu Mälardalen University, Cristina Seceleanu Mälardalen University
	11:15 30m Talk		Survey and Consistency Checking of Formal Requirements Animations Workshops Christophe Ponsard CETIC, Jean-Christophe Deprez CETIC
	11:45 15m Day closing		Wrap-up and closure Workshops