Ganesh Ram Santhanam

Suresh C. Kothari

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Human-on-the-Loop Automation for Detecting Software Side-Channel Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 13th International Conference, 2017

Selecting the minimal set of preferred responses to counter detected intrusions.

[BibT_eX]

[DOI]

Maheedhar Gunasekharan

Proceedings of the 12th Annual Conference on Cyber and Information Security Research, 2017

2016

Representing and Reasoning with Qualitative Preferences: Tools and Applications

[BibT_eX]

[DOI]

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01573-1, 2016

Qualitative optimization in software engineering: A short survey.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

2015

CRISNER: A Practically Efficient Reasoner for Qualitative Preferences.

[BibT_eX]

[DOI]

CoRR, 2015

Scalable modeling and analysis of requirements preferences: A qualitative approach using CI-Nets.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

FlowMiner: Automatic Summarization of Library Data-Flow for Malware Analysis.

[BibT_eX]

[DOI]

Tom Deering

Suresh C. Kothari

Proceedings of the Information Systems Security - 11th International Conference, 2015

A Knowledge Based Framework for Case-specific Diagnosis.

[BibT_eX]

Gopalakrishnan Sivaprakasam

Giora Slutzki

Proceedings of the ICAART 2015, 2015

2013

Pavement Life-Cycle Sustainability Assessment and Interpretation Using a Novel Qualitative Decision Procedure.

[BibT_eX]

[DOI]

Kasthurirangan Gopalakrishnan

J. Comput. Civ. Eng., 2013

Preference Based Service Adaptation Using Service Substitution.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, 2013

Identifying a preferred countermeasure strategy for attack graphs.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security and Information Intelligence, 2013

Verifying Preferential Equivalence and Subsumption via Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013

2012

A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Representing and Reasoning with Qualitative Preferences for Compositional Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

Automating analysis of qualitative preferences in goal-oriented requirements engineering.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Identifying Optimal Composite Services by Decomposing the Service Composition Problem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

Identifying Sustainable Designs Using Preferences over Sustainability Attributes.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Sustainable Design, 2011

Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Efficient Dominance Testing for Unconditional Preferences.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Decomposing the Service Composition Problem.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010

Dominance Testing via Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Web Service Substitution Based on Preferences Over Non-functional Attributes.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences.

[BibT_eX]

[DOI]