Login / Signup
Sepehr Sharifi
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 11
Top Topics
Temporal Consistency
Legal Information
Uncertain Environments
Activity Diagrams
Top Venues
CoRR
iStar
CASCON
RE
</>
Publications
</>
Sepehr Sharifi
,
Andrea Stocco
,
Lionel C. Briand
System Safety Monitoring of Learned Components Using Temporal Metric Forecasting.
CoRR
(2024)
Daniel Amyot
,
Luigi Logrippo
,
John Mylopoulos
,
Marco Roveri
,
Amal Ahmed Anda
,
Alireza Parvizimosaed
,
Sofana Alfuhaid
,
Sepehr Sharifi
,
Aidin Rasti
,
Regan Meloche
,
Daniel Sousa-Diaz
Engineering Smart Contracts with Symboleo: A Progress Report.
CASCON
(2023)
Sepehr Sharifi
,
Donghwan Shin
,
Lionel C. Briand
,
Nathan Aschbacher
Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search.
CoRR
(2023)
Sepehr Sharifi
,
Donghwan Shin
,
Lionel C. Briand
,
Nathan Aschbacher
Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search.
IEEE Trans. Software Eng.
49 (12) (2023)
Alireza Parvizimosaed
,
Sepehr Sharifi
,
Daniel Amyot
,
Luigi Logrippo
,
Marco Roveri
,
Aidin Rasti
,
Ali Roudak
,
John Mylopoulos
Specification and analysis of legal contracts with Symboleo.
Softw. Syst. Model.
21 (6) (2022)
Sepehr Sharifi
,
Daniel Amyot
,
John Mylopoulos
,
Patrick McLaughlin
,
Ray Feodoroff
Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach.
RE Workshops
(2022)
John Mylopoulos
,
Daniel Amyot
,
Luigi Logrippo
,
Alireza Parvizimosaed
,
Sepehr Sharifi
Social Requirements Models for Services.
Next-Gen Digital Services
(2021)
Sepehr Sharifi
,
Alireza Parvizimosaed
,
Daniel Amyot
,
Luigi Logrippo
,
John Mylopoulos
Symboleo: Towards a Specification Language for Legal Contracts.
RE
(2020)
Alireza Parvizimosaed
,
Sepehr Sharifi
,
Daniel Amyot
,
Luigi Logrippo
,
John Mylopoulos
Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo.
ER
(2020)
Sepehr Sharifi
,
Patrick McLaughlin
,
Daniel Amyot
,
John Mylopoulos
Goal Modeling for FinTech Certification.
iStar
(2020)
John Mylopoulos
,
Daniel Amyot
,
Luigi Logrippo
,
Alireza Parvizimosaed
,
Sepehr Sharifi
Social Dependence Relationships in Requirements Engineering.
iStar
(2020)