PROMISE 2023
Fri 8 Dec 2023
San Francisco, California, United States
co-located with
ESEC/FSE 2023
Toggle navigation
Attending
Venue: San Francisco Marriott Marquis
ESEC/FSE 2023
Diversity and Inclusion Statement
Code of Conduct
Registration
Visa Application Support
Hotel
Travel Support
Social Excursion at Exploratorium
Virtual Attendance
In-person Attendance Information
Program
PROMISE Program
Your Program
ESEC/FSE 2023
Awards
Proceedings
Fri 8 Dec
Track/Call
Organization
PROMISE 2023 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Info
ESEC/FSE 2023
Sponsorship Opportunities
Sponsors and Supporters
Search
Series
Series
PROMISE 2024
PROMISE 2023
PROMISE'22
Sign in
Sign up
ESEC/FSE 2023
(
series
) /
PROMISE 2023 (
series
) /
Mohamed Amine Ferrag
ESEC/FSE 2023 profile
conf.research.org general profile
FSE 2024 profile
ICSME 2024 profile
Registered user since Wed 24 Apr 2024
Name:
Mohamed Amine Ferrag
Affiliation:
Technology Innovation Institute
Contributions
2023
PROMISE
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
Show activities from other conferences
Share
ESEC/FSE 2023-profile
View general profile
x
Wed 18 Dec 19:15