AECM: an Aspect Enabled Component Model. - Saeed Jalili; Somayeh Malakuti; Khah Olun Abadi (APSEC, 2005)

RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach. - Saeed Jalili; Mehdi MirzaAghaei (SERA, 2007)

RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach. - Saeed Jalili; Mehdi MirzaAghaei (Software Engineering Research and Practice, 2007)

A multi-start quantum-inspired evolutionary algorithm for solving combinatorial optimization problems. - Parvaz Mahdabi; Saeed Jalili; Mahdi Abadi (GECCO, 2008)

Minimization Analysis of Network Attack Graphs Using Genetic Algorithms. - Mahdi Abadi; Saeed Jalili (Int. J. Comput. Their Appl., 2008)

Monitoring safety properties of composite web services at runtime using CSP. - Mohsen Khaxar; Saeed Jalili; Narges Khakpour; M. Shaban Jokhio (EDOCW, 2009)

Correlating Alerts into Compressed Graphs Using an Attribute-Based Method and Time Windows. - Seyed Hossein Ahmadinejad; Saeed Jalili (FGIT-SecTech, 2009)

Formal Analysis of Smart Home Policies using Compositional Verification. - Narges Khakpour; Marjan Sirjani; Saeed Jalili (ICFI, 2009)

A novel quantum-inspired evolutionary algorithm for solving combinatorial optimization problems. - Parvaz Mahdabi; Mahdi Abadi; Saeed Jalili (GECCO, 2009)

An Optical Wavelength-Based Solution to the 3-SAT Problem. - Sama Goliaei; Saeed Jalili (OSC, 2009)

Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d). - Narges Khakpour; Saeed Jalili (Appl. Artif. Intell., 2009)

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (FACS@FMWeek, 2009)

Optical Graph 3-Colorability. - Sama Goliaei; Saeed Jalili (OSC, 2010)

Formal analysis of policy-based self-adaptive systems. - Narges Khakpour; Ramtin Khosravi; Marjan Sirjani; Saeed Jalili (SAC, 2010)

A particle swarm optimization algorithm for minimization analysis of cost-sensitive attack graphs. - Mahdi Abadi; Saeed Jalili (ISC Int. J. Inf. Secur., 2010)

Identification of System Software Components Using Clustering Approach. - Gholamreza Shahmohammadi; Saeed Jalili; Seyed Mohammad Hossein Hasheminejad (J. Object Technol., 2010)

A hybrid model for correlating alerts of known and unknown attack scenarios and updating attack graphs. - Seyed Hossein Ahmadinejad; Saeed Jalili; Mahdi Abadi (Comput. Networks, 2011)

Anomaly detection based on an enhanced projection distance. - Shima Asgharian Jouibari; Saeed Jalili; Mohammad Rahmanimanesh (IST, 2012)

VoIP anomaly detection by combining OCSVM and PSO algorithm. - Mahboobeh Shakeri Miandare; Saeed Jalili (IST, 2012)

An Optical Polynomial Time Solution for the Satisfiability Problem. - Sama Goliaei; Saeed Jalili (OSC, 2012)

Protein secondary structure prediction using DWKF based on SVR-NSGAII. - Mohammad Hossein Zangooei; Saeed Jalili (Neurocomputing, 2012)

Design patterns selection: An automatic two-phase method. - Seyed Mohammad Hossein Hasheminejad; Saeed Jalili (J. Syst. Softw., 2012)

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. - Narges Khakpour; Saeed Jalili; Marjan Sirjani; Ursula Goltz; Bahareh Abolhasanzadeh (J. Syst. Softw., 2012)

PSSP with dynamic weighted kernel fusion based on SVM-PHGS. - Mohammad Hossein Zangooei; Saeed Jalili (Knowl. Based Syst., 2012)

Formal modeling of evolving self-adaptive systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2012)

WSCMon: runtime monitoring of web service orchestration based on refinement checking. - Mohsen Khaxar; Saeed Jalili (Serv. Oriented Comput. Appl., 2012)

An optical solution to the 3-SAT problem using wavelength based selectors. - Sama Goliaei; Saeed Jalili (J. Supercomput., 2012)

Dynamic clustering using combinatorial particle swarm optimization. - Hamid Masoud; Saeed Jalili; Seyed Mohammad Hossein Hasheminejad (Appl. Intell., 2013)

Multivariate microaggregation by iterative optimization. - Reza Mortazavi; Saeed Jalili; Hojjat Gohargazi (Appl. Intell., 2013)

A new light-based solution to the Hamiltonian path problem. - Javad Salimi Sartakhti; Saeed Jalili; Ali Gholami Rudi (Future Gener. Comput. Syst., 2013)

Fusion of one-class classifiers for protocol-based anomaly detection in AODV-based mobile ad hoc networks. - Mohammad Rahmanimanesh; Saeed Jalili; Ahmad R. Sharafat (Int. J. Ad Hoc Ubiquitous Comput., 2013)

Protein fold recognition with a two-layer method based on SVM-SA, WP-NN and C4.5 (TLM-SNC). - Mohammad Hossein Zangooei; Saeed Jalili (Int. J. Data Min. Bioinform., 2013)

An OpticalWavelength-Based Computational Machine. - Sama Goliaei; Saeed Jalili (Int. J. Unconv. Comput., 2013)

SCI-GA: Software Component Identification using Genetic Algorithm. - Seyed Mohammad Hossein Hasheminejad; Saeed Jalili (J. Object Technol., 2013)

RANGI: A Fast List-Colored Graph Motif Finding Algorithm. - Ali Gholami Rudi; Saeed Shahrivari; Saeed Jalili; Zahra Razaghi Moghadam Kashani (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

Iterative constraint satisfaction method for microaggregation problem. - Reza Mortazavi; Saeed Jalili (ISCISC, 2014)

An evolutionary approach to identify logical components. - Seyed Mohammad Hossein Hasheminejad; Saeed Jalili (J. Syst. Softw., 2014)

A clustering-based model for class responsibility assignment problem in object-oriented analysis. - Hamid Masoud; Saeed Jalili (J. Syst. Softw., 2014)

Fast data-oriented microaggregation algorithm for large numerical datasets. - Reza Mortazavi; Saeed Jalili (Knowl. Based Syst., 2014)

Source code and design conformance, design pattern detection from source code by classification approach. - Abdullah Chihada; Saeed Jalili; Seyed Mohammad Hossein Hasheminejad; Mohammad Hossein Zangooei (Appl. Soft Comput., 2015)

CAMWI: Detecting protein complexes using weighted clustering coefficient and weighted density. - Amir lakizadeh; Saeed Jalili; Sayed-Amir Marashi (Comput. Biol. Chem., 2015)

Image preprocessing with a parallel optoelectronic processor. - Ali Gholami Rudi; Saeed Jalili (Comput. Electr. Eng., 2015)

Distributed discovery of frequent subgraphs of a network using MapReduce. - Saeed Shahrivari; Saeed Jalili (Computing, 2015)

Routing anomaly detection in OLSR-based MANETs. - Hojjat Gohargazi; Saeed Jalili; Mohammad Rahmanimanesh (Int. J. Mob. Commun., 2015)

Preference-based anonymization of numerical datasets by multi-objective microaggregation. - Reza Mortazavi; Saeed Jalili (Inf. Fusion, 2015)

CCIC: Clustering analysis classes to identify software components. - Seyed Mohammad Hossein Hasheminejad; Saeed Jalili (Inf. Softw. Technol., 2015)

A novel local search method for microaggregation. - Reza Mortazavi; Saeed Jalili (ISC Int. J. Inf. Secur., 2015)

Automated software design using ant colony optimization with semantic network support. - Vali Tawosi; Saeed Jalili; Seyed Mohammad Hossein Hasheminejad (J. Syst. Softw., 2015)

Computation with optical sensitive sheets. - Sama Goliaei; Saeed Jalili (Nat. Comput., 2015)

Least squares twin multi-class classification support vector machine. - Jalal A. Nasiri; Nasrollah Moghadam Charkari; Saeed Jalili (Pattern Recognit., 2015)

Fast Parallel All-Subgraph Enumeration Using Multicore Machines. - Saeed Shahrivari; Saeed Jalili (Sci. Program., 2015)

High-performance parallel frequent subgraph discovery. - Saeed Shahrivari; Saeed Jalili (J. Supercomput., 2015)

A novel passive website fingerprinting attack on tor using fast fourier transform. - Hojjat Jahani; Saeed Jalili (Comput. Commun., 2016)

Enhancing aggregation phase of microaggregation methods for interval disclosure risk minimization. - Reza Mortazavi; Saeed Jalili (Data Min. Knowl. Discov., 2016)

Towards modeling and runtime verification of self-organizing systems. - Bahareh Abolhasanzadeh; Saeed Jalili (Expert Syst. Appl., 2016)

Single-pass and linear-time k-means clustering based on MapReduce. - Saeed Shahrivari; Saeed Jalili (Inf. Syst., 2016)

A multilayered approach for link prediction in heterogeneous complex networks. - Hadi Shakibian; Nasrollah Moghadam Charkari; Saeed Jalili (J. Comput. Sci., 2016)

TBM, a transformation based method for microaggregation of large volume mixed data. - Mostafa Salari; Saeed Jalili; Reza Mortazavi (Data Min. Knowl. Discov., 2017)

PbMMD: A novel policy based multi-process malware detection. - Seyyed Mojtaba Bidoki; Saeed Jalili; Asghar Tajoddin (Eng. Appl. Artif. Intell., 2017)

Fine granular proximity breach prevention during numerical data anonymization. - Reza Mortazavi; Saeed Jalili (Trans. Data Priv., 2017)

Multi-kernel one class link prediction in heterogeneous complex networks. - Hadi Shakibian; Nasrollah Moghadam Charkari; Saeed Jalili (Appl. Intell., 2018)

C-PUGP: A cluster-based positive unlabeled learning method for disease gene prediction and prioritization. - Akram Vasighizaker; Saeed Jalili (Comput. Biol. Chem., 2018)

Disease genes prediction by HMM based PU-learning using gene expression profiles. - Ozra Nikdelfaz; Saeed Jalili (J. Biomed. Informatics, 2018)

Voxel selection framework based on meta-heuristic search and mutual information for brain decoding. - Osama Hourani; Nasrollah Moghadam Charkari; Saeed Jalili (Int. J. Imaging Syst. Technol., 2019)

Online Tor Privacy Breach Through Website Fingerprinting Attack. - Hojjat Jahani; Saeed Jalili (J. Netw. Syst. Manag., 2019)

Adaptive three-phase support vector data description. - Mohammad Rahmanimanesh; Jalal A. Nasiri; Saeed Jalili; Nasrollah Moghaddam Charkari (Pattern Anal. Appl., 2019)

On the computational power of the light: A plan for breaking data encryption standard. - Javad Salimi Sartakhti; Saeed Jalili (Theor. Comput. Sci., 2019)

Effective defense against fingerprinting attack based on autocorrelation property minimization approach. - Hojjat Jahani; Saeed Jalili (J. Intell. Inf. Syst., 2020)

Aspects Extraction for Aspect Level Opinion Analysis Based on Deep CNN. - Ali Alemi Matin Pour; Saeed Jalili (CSICC, 2021)

File Fragment Type Classification by Bag-Of-Visual-Words. - Mina Erfan; Saeed Jalili (ISC Int. J. Inf. Secur., 2021)

Efficient Distributed k-Clique Mining for Large Networks Using MapReduce. - Saeed Shahrivari; Saeed Jalili (IEEE Trans. Knowl. Data Eng., 2021)

Secured location-aware mobility-enabled RPL. - Erfan Arvan; Mahshad Koohi Habibi Dehkordi; Saeed Jalili (J. Netw. Comput. Appl., 2023)

Decentralized control architecture for multi-authoring microgrids. - Seyed Hossein Alavi Soltani; Saeed Jalili; Mohammad Kazem Sheikh-El-Eslami (Computing, 2023)

FrMi: Fault-revealing Mutant Identification using killability severity. - Taha Rostami; Saeed Jalili (Inf. Softw. Technol., 2023)

Runtime verification of electronic stability control system in automated vehicles with STL3 formalism. - Fatemeh Yousefinejad; Saeed Jalili (Computing, 2025)

Energy-aware self-adaptive real-time job scheduling in a cloud environment using deep reinforcement learning focused on quality of service. - Hossein Zehtab Azari; Saeed Jalili (Clust. Comput., 2025)