Sepehr Sharifi

According to our database, Sepehr Sharifi authored at least 10 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search.

Sepehr Sharifi, Donghwan Shin, Lionel C. Briand, Nathan Aschbacher

IEEE Trans. Software Eng., December, 2023

Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search.

Sepehr Sharifi, Donghwan Shin, Lionel C. Briand, Nathan Aschbacher

CoRR, 2023

Engineering Smart Contracts with Symboleo: A Progress Report.

Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz

Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

2022

Specification and analysis of legal contracts with Symboleo.

Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos

Softw. Syst. Model., 2022

Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach.

Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

2021

Social Requirements Models for Services.

John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi

Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021

2020

Symboleo: Towards a Specification Language for Legal Contracts.

Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Goal Modeling for FinTech Certification.

Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, John Mylopoulos

Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

Social Dependence Relationships in Requirements Engineering.

John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi

Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo.

Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos

Proceedings of the Conceptual Modeling - 39th International Conference, 2020