Write a Blog >>
RE2021
Mon 20 - Fri 24 September 2021
VenueVirtual
Room nameFitzpatrick-8
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 21 Sep

Displayed time zone: Eastern Time (US & Canada) change

08:00 - 12:00
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 Innopolis University & 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
11:45
15m
Day closing
Wrap-up and closure
Workshops

Tue 21 Sep

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:0030
Fitzpatrick-8
Hide past events