Search Results - "Sharifi, Sepehr"

Design of Anomaly Based Intrusion Detection System Using Support Vector Machine and Grasshopper Optimization Algorithm in IoT by Sepehr Sharifi, Soulmaz Gheisari

“…Computer networks play an important and practical role in communication and data exchange, and they also share resources with complete ease. Today, various…”
Get full text

Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search by Sharifi, Sepehr, Shin, Donghwan, Briand, Lionel C., Aschbacher, Nathan

“…In Machine Learning (ML)-enabled autonomous systems (MLASs), it is essential to identify the hazard boundary of ML Components (MLCs) in the MLAS under…”
Get full text

Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search by Sharifi, Sepehr, Shin, Donghwan, Briand, Lionel C., Aschbacher, Nathan

“…In Machine Learning (ML)-enabled autonomous systems (MLASs), it is essential to identify the hazard boundary of ML Components (MLCs) in the MLAS under…”
Get full text

Specification and analysis of legal contracts with Symboleo by Parvizimosaed, Alireza, Sharifi, Sepehr, Amyot, Daniel, Logrippo, Luigi, Roveri, Marco, Rasti, Aidin, Roudak, Ali, Mylopoulos, John

“…Legal contracts specify the terms and conditions—in essence, requirements—that apply to business transactions. This paper proposes a formal specification…”
Get full text

Comprehension of the role of created hydrogen bonds and adsorption energy in polyamide-nanosilica- Keggin hybrid/ water on enhancement of concrete compressive strength: DFT calculations and experimental investigations by Mozhdehi, Amir Mohammad, Bamoharram, Fatemeh F., Morsali, Ali, Sharifi, Amir Hossein, Sharifi, Sepehr, Ganjali, Ahmad

“…Despite the fact that additives ameliorate the concrete compressive strength, details about how they interact together on the surface at molecular scale have…”
Get full text

Perception of the reciprocal influences of the formed interactions and hydrogen bonds, and adsorption energies between zinc-titanate nanoparticles/nano-silica/Dawson heteropolyacid hybrid- water on the positive alternation trends of the strength and properties of ordinary and self-compacting concrete: A systematic study through the quantum mechanical theory and experimental engineering studies by Mozhdehi, Amir Mohammad, Sharifi, Amir Hossein, Ganjali, Ahmad, Morsali, Ali, Sharifi, Sepehr, Naghavi, Farnaz, Bamoharram, Fatemeh F., Sillanpää, Mika

“…It is a fact that utilizing additives is a effectual approach to create an ameliorated concrete, but researchers still have a long way to gain a deep insight…”
Get full text

System Safety Monitoring of Learned Components Using Temporal Metric Forecasting by Sharifi, Sepehr, Stocco, Andrea, Briand, Lionel C

“…In learning-enabled autonomous systems, safety monitoring of learned components is crucial to ensure their outputs do not lead to system safety violations,…”
Get full text

Symboleo: Towards a Specification Language for Legal Contracts by Sharifi, Sepehr, Parvizimosaed, Alireza, Amyot, Daniel, Logrippo, Luigi, Mylopoulos, John

“…Legal contracts specify the terms and conditions (in essence, requirements) that apply to business transactions. Smart contracts are software systems that…”
Get full text

Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search by Sharifi, Sepehr, Shin, Donghwan, Briand, Lionel C, Aschbacher, Nathan

“…In Machine Learning (ML)-enabled autonomous systems (MLASs), it is essential to identify the hazard boundary of ML Components (MLCs) in the MLAS under…”
Get full text

Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach by Sharifi, Sepehr, Amyot, Daniel, Mylopoulos, John, McLaughlin, Patrick, Feodoroff, Ray

“…Context: Financial Technology (FinTech) systems, especially those involving custody of digital assets such as cryptocurrencies, are quickly emerging as a new…”
Get full text