Search results for "Saeed Jalili"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Seyed Mohammad Hossein Hasheminejad, Saeed Jalili	Design patterns selection: An automatic two-phase method.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Mohammad Hossein Zangooei, Saeed Jalili	PSSP with dynamic weighted kernel fusion based on SVM-PHGS.	Knowl.-Based Syst.	2012	DBLP DOI BibTeX RDF
1	Mohsen Khaxar, Saeed Jalili	WSCMon: runtime monitoring of web service orchestration based on refinement checking.	Service Oriented Computing and Applications	2012	DBLP DOI BibTeX RDF
1	Seyed Hossein Ahmadinejad, Saeed Jalili, Mahdi Abadi	A hybrid model for correlating alerts of known and unknown attack scenarios and updating attack graphs.	Computer Networks	2011	DBLP DOI BibTeX RDF
1	Gholamreza Shahmohammadi, Saeed Jalili, Seyed Mohammad Hossein Hasheminejad	Identification of System Software Components Using Clustering Approach.	Journal of Object Technology	2010	DBLP DOI BibTeX RDF
1	Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi	PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Sama Goliaei, Saeed Jalili	Optical Graph 3-Colorability.	OSC	2010	DBLP DOI BibTeX RDF
1	Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili	Formal analysis of policy-based self-adaptive systems.	SAC	2010	DBLP DOI BibTeX RDF
1	Narges Khakpour, Saeed Jalili	Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d).	Applied Artificial Intelligence	2009	DBLP DOI BibTeX RDF
1	Sama Goliaei, Saeed Jalili	An Optical Wavelength-Based Solution to the 3-SAT Problem.	OSC	2009	DBLP DOI BibTeX RDF	Wavelength-Based Approach, 3-SAT Problem, NP- Complete, Optical Computing, Unconventional Computing
1	Parvaz Mahdabi, Mahdi Abadi, Saeed Jalili	A novel quantum-inspired evolutionary algorithm for solving combinatorial optimization problems.	GECCO	2009	DBLP DOI BibTeX RDF	NK-landscapes problem, evolutionary algorithms, combinatorial optimization, quantum computing, knapsack problem
1	Narges Khakpour, Marjan Sirjani, Saeed Jalili	Formal Analysis of Smart Home Policies using Compositional Verification.	ICFI	2009	DBLP DOI BibTeX RDF
1	Mohsen Khaxar, Saeed Jalili, Narges Khakpour, M. Shaban Jokhio	Monitoring safety properties of composite web services at runtime using CSP.	EDOCW	2009	DBLP DOI BibTeX RDF
1	Seyed Hossein Ahmadinejad, Saeed Jalili	Correlating Alerts into Compressed Graphs Using an Attribute-Based Method and Time Windows.	FGIT-SecTech	2009	DBLP DOI BibTeX RDF
1	Mahdi Abadi, Saeed Jalili	Minimization Analysis of Network Attack Graphs Using Genetic Algorithms.	I. J. Comput. Appl.	2008	DBLP BibTeX RDF
1	Parvaz Mahdabi, Saeed Jalili, Mahdi Abadi	A multi-start quantum-inspired evolutionary algorithm for solving combinatorial optimization problems.	GECCO	2008	DBLP DOI BibTeX RDF	evolutionary algorithms, combinatorial optimization, quantum computing, knapsack problem
1	Saeed Jalili, Mehdi MirzaAghaei	RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.	SERA	2007	DBLP DOI BibTeX RDF	Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach
1	Saeed Jalili, Mehdi MirzaAghaei	RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach.	Software Engineering Research and Practice	2007	DBLP BibTeX RDF
1	Saeed Jalili, Somayeh Malakuti, Khah Olun Abadi	AECM: an Aspect Enabled Component Model.	APSEC	2005	DBLP DOI BibTeX RDF

Publications of "Saeed Jalili" ( http://dblp.L3S.de/Authors/Saeed_Jalili )