Checking Consistency of CP-Theory Preferences in Polynomial Time.

Samik Basu 0001 Iowa State University, Department of Computer Science, Ames, USA https://www.cs.iastate.edu/people/samik-basu-0 https://scholar.google.com/citations?user=qa9dTwkAAAAJ https://orcid.org/0000-0002-2430-6827 https://www.wikidata.org/entity/Q102309215 https://mathgenealogy.org/id.php?id=109494 https://d-nb.info/gnd/1045854468 https://id.loc.gov/authorities/names/nb2013026401 Samik Basu Samik Basu 0002 Vivekananda University, Belur, India Samik Basu 0003 CoreEL Technologies, Bangalore, India Erik Rauer Samik Basu 0001 Vasant G. Honavar Checking Consistency of CP-Theory Preferences in Polynomial Time. 15126-15133 2025 AAAI https://doi.org/10.1609/aaai.v39i14.33659 conf/aaai/2025 db/conf/aaai/aaai2025.html#RauerBH25 Eshita Zaman Christopher Johannsen Andrew S. Miner Gianfranco Ciardo Samik Basu 0001 CTL Model Checking Partially Specified Systems. 81-98 2025 iFM https://doi.org/10.1007/978-3-032-10794-7_5 conf/ifm/2025 db/conf/ifm/ifm2025.html#ZamanJMCB25 streams/conf/ifm Yanhui Zhu Samik Basu 0001 Aduri Pavan Fairness in Monotone k-submodular Maximization: Algorithms and Applications. 173-178 2024 IEEE Big Data https://doi.org/10.1109/BigData62323.2024.10825264 conf/bigdataconf/2024 db/conf/bigdataconf/bigdataconf2024.html#Zhu0P24 Yanhui Zhu Samik Basu 0001 A. Pavan 0001 Regularized Unconstrained Weakly Submodular Maximization. 3537-3548 2024 CIKM https://doi.org/10.1145/3627673.3679651 conf/cikm/2024 db/conf/cikm/cikm2024.html#Zhu0024 Yanhui Zhu Samik Basu 0001 A. Pavan 0001 Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints. 7082-7090 2024 IJCAI https://www.ijcai.org/proceedings/2024/783 conf/ijcai/2024 db/conf/ijcai/ijcai2024.html#Zhu0024 Md Rayhanul Islam Tichakorn Wongpiromsarn Samik Basu 0001 Analysis of the Effects of Perception Inconsistency Among Interacting Vehicles in Partially Observable Environments. 176-183 2024 ITSC https://doi.org/10.1109/ITSC58415.2024.10920209 conf/itsc/2024 db/conf/itsc/itsc2024.html#IslamW024 Karthik Hanumanthaiah Samik Basu 0001 Iterative Counter-Example Guided Robustness Verification for Neural Networks. 179-187 2024 SAIV https://doi.org/10.1007/978-3-031-65112-0_9 conf/saiv/2024 db/conf/saiv/saiv2024.html#HanumanthaiahB14 streams/conf/saiv

Yanhui Zhu Samik Basu 0001 A. Pavan 0001 Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints. 2024 abs/2405.05942 CoRR https://doi.org/10.48550/arXiv.2405.05942 db/journals/corr/corr2405.html#abs-2405-05942

Le Chang Saitej Yavvari Rance Cleaveland Samik Basu 0001 Liyi Li 0002 DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems. 2024 abs/2407.09710 CoRR https://doi.org/10.48550/arXiv.2407.09710 db/journals/corr/corr2407.html#abs-2407-09710 streams/journals/corr

Yanhui Zhu Samik Basu 0001 A. Pavan 0001 Regularized Unconstrained Weakly Submodular Maximization. 2024 abs/2408.04620 CoRR https://doi.org/10.48550/arXiv.2408.04620 db/journals/corr/corr2408.html#abs-2408-04620 streams/journals/corr

Yanhui Zhu Samik Basu 0001 A. Pavan 0001 Fairness in Monotone <i>k</i>-submodular Maximization: Algorithms and Applications. 2024 abs/2411.05318 CoRR https://doi.org/10.48550/arXiv.2411.05318 db/journals/corr/corr2411.html#abs-2411-05318 streams/journals/corr

Samik Basu 0001 Vasant G. Honavar Ganesh Ram Santhanam Jia Tao 0001 Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. 206-213 2023 ECAI https://doi.org/10.3233/FAIA230272 conf/ecai/2023 db/conf/ecai/ecai2023.html#0001HS023 Guanyu Nie Yanhui Zhu Yididiya Y. Nadew Samik Basu 0001 A. Pavan 0001 Christopher John Quinn Size-constrained k-submodular maximization in near-linear time. 1545-1554 2023 UAI https://proceedings.mlr.press/v216/nie23a.html conf/uai/2023 db/conf/uai/uai2023.html#NieZNBPQ23 Madhavan R. Padmanabhan Yanhui Zhu Samik Basu 0001 Aduri Pavan Maximizing submodular functions under submodular constraints. 1618-1627 2023 UAI https://proceedings.mlr.press/v216/padmanabhan23a.html conf/uai/2023 db/conf/uai/uai2023.html#PadmanabhanZ0P23

Samik Basu 0001 Vasant G. Honavar Ganesh Ram Santhanam Jia Tao 0001 Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. 2023 abs/2307.16307 CoRR https://doi.org/10.48550/arXiv.2307.16307 db/journals/corr/corr2307.html#abs-2307-16307

Samik Basu 0001 Ratnesh Kumar 0001 Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting. 953-970 2021 8 IEEE CAA J. Autom. Sinica 5 https://doi.org/10.1109/JAS.2021.1003964 db/journals/ieeejas/ieeejas8.html#BasuK21

Xiaoyun Fu Madhavan R. Padmanabhan Raj Gaurav Kumar Samik Basu 0001 Shawn F. Dorius A. Pavan 0001 Measuring the impact of influence on individuals: roadmap to quantifying attitude. 61 2021 11 Soc. Netw. Anal. Min. 1 https://doi.org/10.1007/s13278-021-00763-x db/journals/snam/snam11.html#FuPKBDP21

Xiaoyun Fu Rishabh Rajendra Bhatt Samik Basu 0001 Aduri Pavan Multi-Objective Submodular Optimization with Approximate Oracles and Influence Maximization. 328-334 2021 IEEE BigData https://doi.org/10.1109/BigData52589.2021.9671756 conf/bigdataconf/2021 db/conf/bigdataconf/bigdataconf2021.html#FuB0P21 Xiaoyun Fu Madhavan R. Padmanabhan Raj Gaurav Kumar Samik Basu 0001 Shawn F. Dorius Aduri Pavan Measuring the Impact of Influence on Individuals: Roadmap to Quantifying Attitude. 227-231 2020 ASONAM https://doi.org/10.1109/ASONAM49781.2020.9381300 conf/asunam/2020 db/conf/asunam/asonam2020.html#FuPK0DP20 Raj Gaurav Kumar Preeti Bhardwaj Samik Basu 0001 Aduri Pavan Disrupting Diffusion: Critical Nodes in Network. 397-404 2020 WI/IAT https://doi.org/10.1109/WIIAT50758.2020.00058 conf/webi/2020 db/conf/webi/webi2020.html#KumarB0P20

Xiaoyun Fu Madhavan Rajagopal Padmanabhan Raj Gaurav Kumar Samik Basu 0001 Shawn F. Dorius Aduri Pavan Measuring the Impact of Influence on Individuals: Roadmap to Quantifying Attitude. 2020 abs/2010.13304 CoRR https://arxiv.org/abs/2010.13304 db/journals/corr/corr2010.html#abs-2010-13304

Madhavan R. Padmanabhan Naresh Somisetty Samik Basu 0001 A. Pavan 0001 Influence Maximization in Social Networks With Non-Target Constraints. 771-780 2018 IEEE BigData https://doi.org/10.1109/BigData.2018.8621973 conf/bigdataconf/2018 db/conf/bigdataconf/bigdataconf2018.html#PadmanabhanSBP18 Maheedhar Gunasekharan Samik Basu 0001 Ganesh Ram Santhanam Selecting the minimal set of preferred responses to counter detected intrusions. 5:1-5:8 2017 CISRC https://doi.org/10.1145/3064814.3064824 conf/csiirw/2017 db/conf/csiirw/cisrc2017.html#GunasekharanBS17 Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Representing and Reasoning with Qualitative Preferences: Tools and Applications Representing and Reasoning with Qualitative Preferences Morgan & Claypool Publishers 2016 Synthesis Lectures on Artificial Intelligence and Machine Learning 978-3-031-00445-2 978-3-031-01573-1 https://doi.org/10.2200/S00689ED1V01Y201512AIM031 https://doi.org/10.1007/978-3-031-01573-1 https://www.wikidata.org/entity/Q29040860

Samik Basu 0001 Tevfik Bultan On deciding synchronizability for asynchronously communicating systems. 60-75 2016 656 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2016.09.023 db/journals/tcs/tcs656.html#BasuB16

Chris Strasburg Samik Basu 0001 Johnny S. Wong A Cross-Domain Comparable Measurement Framework to Quantify Intrusion Detection Effectiveness. 11:1-11:8 2016 CISRC https://doi.org/10.1145/2897795.2897816 conf/csiirw/2016 db/conf/csiirw/cisrc2016.html#StrasburgBW16 Samik Basu 0001 Tevfik Bultan Automated Choreography Repair. 13-30 2016 FASE https://doi.org/10.1007/978-3-662-49665-7_2 conf/fase/2016 db/conf/fase/fase2016.html#BasuB16 Ganesh Ram Santhanam Gopalakrishnan Sivaprakasam Giora Slutzki Samik Basu 0001 A Knowledge Based Framework for Case-specific Diagnosis. 482-488 2015 ICAART (2) conf/icaart/2015-2 db/conf/icaart/icaart2015-2.html#SanthanamSSB15 Zachary J. Oster Ganesh Ram Santhanam Samik Basu 0001 Scalable modeling and analysis of requirements preferences: A qualitative approach using CI-Nets. 214-219 2015 RE https://doi.org/10.1109/RE.2015.7320425 https://doi.ieeecomputersociety.org/10.1109/RE.2015.7320425 conf/re/2015 db/conf/re/re2015.html#OsterSB15

Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar CRISNER: A Practically Efficient Reasoner for Qualitative Preferences. 2015 abs/1507.08559 CoRR http://arxiv.org/abs/1507.08559 db/journals/corr/corr1507.html#SanthanamBH15

Tanmoy Sarkar Samik Basu 0001 Johnny Wong 0001 iConSMutate: Concolic Testing of Database Applications Using Existing Database States Guided by SQL Mutants. 479-484 2014 ITNG https://doi.org/10.1109/ITNG.2014.82 https://doi.ieeecomputersociety.org/10.1109/ITNG.2014.82 conf/itng/2014 db/conf/itng/itng2014.html#SarkarBW14 Samik Basu 0001 Tevfik Bultan Automatic verification of interactions in asynchronous systems with unbounded buffers. 743-754 2014 ASE https://doi.org/10.1145/2642937.2643016 conf/kbse/2014 db/conf/kbse/ase2014.html#BasuB14

Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Representing and Reasoning with Qualitative Preferences for Compositional Systems. 2014 abs/1401.3899 CoRR http://arxiv.org/abs/1401.3899 db/journals/corr/corr1401.html#SanthanamBH14

Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Verifying Preferential Equivalence and Subsumption via Model Checking. 324-335 2013 ADT https://doi.org/10.1007/978-3-642-41575-3_25 conf/aldt/2013 db/conf/aldt/adt2013.html#SanthanamBH13 Chris Strasburg Samik Basu 0001 Johnny S. Wong S-MAIDS: A Semantic Model for Automated Tuning, Correlation, and Response Selection in Intrusion Detection Systems. 319-328 2013 COMPSAC https://doi.org/10.1109/COMPSAC.2013.57 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2013.57 conf/compsac/2013 db/conf/compsac/compsac2013.html#StrasburgBW13 Ganesh Ram Santhanam Zachary J. Oster Samik Basu 0001 Identifying a preferred countermeasure strategy for attack graphs. 11 2013 CSIIRW https://doi.org/10.1145/2459976.2459988 conf/csiirw/2013 db/conf/csiirw/csiirw2013.html#SanthanamOB13 Tanmoy Sarkar Samik Basu 0001 Johnny Wong 0001 SynConSMutate: Concolic Testing of Database Applications via Synthetic Data Guided by SQL Mutants. 337-342 2013 ITNG https://doi.org/10.1109/ITNG.2013.54 https://doi.ieeecomputersociety.org/10.1109/ITNG.2013.54 conf/itng/2013 db/conf/itng/itng2013.html#SarkarBW13 Michelle Ruse Samik Basu 0001 Detecting Cross-Site Scripting Vulnerability Using Concolic Testing. 633-638 2013 ITNG https://doi.org/10.1109/ITNG.2013.97 https://doi.ieeecomputersociety.org/10.1109/ITNG.2013.97 conf/itng/2013 db/conf/itng/itng2013.html#RuseB13 Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Preference Based Service Adaptation Using Service Substitution. 487-493 2013 Web Intelligence https://doi.org/10.1109/WI-IAT.2013.68 https://doi.ieeecomputersociety.org/10.1109/WI-IAT.2013.68 https://www.wikidata.org/entity/Q57015128 conf/webi/2013 db/conf/webi/webi2013.html#SanthanamBH13 Samik Basu 0001 Cesare Pautasso Liang Zhang 0019 Xiang Fu 0001 Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings 2013 Springer Lecture Notes in Computer Science 8274 https://doi.org/10.1007/978-3-642-45005-1 https://www.wikidata.org/entity/Q134464527 978-3-642-45004-4 ICSOC db/conf/icsoc/icsoc2013.html

Natalia Stakhanova Chris Strasburg Samik Basu 0001 Johnny S. Wong Towards cost-sensitive assessment of intrusion response selection. 169-198 2012 20 J. Comput. Secur. 2-3 https://doi.org/10.3233/JCS-2011-0436 db/journals/jcs/jcs20.html#StakhanovaSBW12

Paul Jennings Arka P. Ghosh Samik Basu 0001 A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. 18:1-18:35 2012 21 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/2211616.2211621 db/journals/tosem/tosem21.html#JenningsGB12

Roopak Sinha Partha S. Roop Zoran Salcic Samik Basu 0001 Correct-by-construction multi-component SoC design. 647-652 2012 DATE https://doi.org/10.1109/DATE.2012.6176551 https://doi.ieeecomputersociety.org/10.1109/DATE.2012.6176551 http://dl.acm.org/citation.cfm?id=2492871 conf/date/2012 db/conf/date/date2012.html#SinhaRSB12 Zachary J. Oster Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure. 205-223 2012 FACS https://doi.org/10.1007/978-3-642-35861-6_13 https://www.wikidata.org/entity/Q57015121 conf/facs2/2012 db/conf/facs2/facs2012.html#OsterSBH12 Tanmoy Sarkar Samik Basu 0001 Johnny S. Wong ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. 462-477 2012 ICFEM https://doi.org/10.1007/978-3-642-34281-3_32 conf/icfem/2012 db/conf/icfem/icfem2012.html#SarkarBW12 Zachary J. Oster Syed Adeel Ali Ganesh Ram Santhanam Samik Basu 0001 Partha S. Roop A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis. 283-297 2012 ICSOC https://doi.org/10.1007/978-3-642-34321-6_19 conf/icsoc/2012 db/conf/icsoc/icsoc2012.html#OsterASBR12 Samik Basu 0001 Tevfik Bultan Meriem Ouederni Deciding choreography realizability. 191-202 2012 POPL https://doi.org/10.1145/2103656.2103680 https://doi.org/10.1145/2103621.2103680 conf/popl/2012 db/conf/popl/popl2012.html#BasuBO12 Samik Basu 0001 Tevfik Bultan Meriem Ouederni Synchronizability for Verification of Asynchronously Communicating Systems. 56-71 2012 VMCAI https://doi.org/10.1007/978-3-642-27940-9_5 conf/vmcai/2012 db/conf/vmcai/vmcai2012.html#BasuBO12

Jing Liu Samik Basu 0001 Robyn R. Lutz Compositional model checking of software product lines using variation point obligations. 39-76 2011 18 Autom. Softw. Eng. 1 https://doi.org/10.1007/s10515-010-0075-7 db/journals/ase/ase18.html#LiuBL11

Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Representing and Reasoning with Qualitative Preferences for Compositional Systems. 211-274 2011 42 J. Artif. Intell. Res. http://jair.org/papers/paper3339.html db/journals/jair/jair42.html#SanthanamBH11

Ganesh Ram Santhanam Yuly Suvorov Samik Basu 0001 Vasant G. Honavar Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. 2011 AAAI https://doi.org/10.1609/aaai.v25i1.7804 conf/aaai/2011 db/conf/aaai/aaai2011.html#SanthanamSBH11 1408-1414 Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Identifying Sustainable Designs Using Preferences over Sustainability Attributes. 2011 AAAI Spring Symposium: Artificial Intelligence and Sustainable Design http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2461 conf/aaaiss/2011-2 db/conf/aaaiss/aaaiss2011-2.html#SanthanamBH11 Zachary J. Oster Ganesh Ram Santhanam Samik Basu 0001 Identifying Optimal Composite Services by Decomposing the Service Composition Problem. 267-274 2011 ICWS https://doi.org/10.1109/ICWS.2011.110 https://doi.ieeecomputersociety.org/10.1109/ICWS.2011.110 conf/icws/2011 db/conf/icws/icws2011.html#OsterSB11 Zachary J. Oster Ganesh Ram Santhanam Samik Basu 0001 Automating analysis of qualitative preferences in goal-oriented requirements engineering. 448-451 2011 ASE https://doi.org/10.1109/ASE.2011.6100096 https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100096 conf/kbse/2011 db/conf/kbse/ase2011.html#OsterSB11 Samik Basu 0001 Tevfik Bultan Choreography conformance via synchronizability. 795-804 2011 WWW https://doi.org/10.1145/1963405.1963516 conf/www/2011 db/conf/www/www2011.html#BasuB11

Natalia Stakhanova Samik Basu 0001 Johnny Wong 0001 On the symbiosis of specification-based and anomaly-based detection. 253-268 2010 29 Comput. Secur. 2 https://doi.org/10.1016/j.cose.2009.08.007 https://www.wikidata.org/entity/Q115061693 db/journals/compsec/compsec29.html#StakhanovaBW10

Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Dominance Testing via Model Checking. 2010 AAAI https://doi.org/10.1609/aaai.v24i1.7599 conf/aaai/2010 db/conf/aaai/aaai2010.html#SanthanamBH10 357-362 Igors Svecs Tanmoy Sarkar Samik Basu 0001 Johnny S. Wong XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment. 287-292 2010 COMPSAC Workshops https://doi.org/10.1109/COMPSACW.2010.57 https://doi.ieeecomputersociety.org/10.1109/COMPSACW.2010.57 conf/compsac/2010w db/conf/compsac/compsac2010w.html#SvecsSBW10 Zachary J. Oster Ganesh Ram Santhanam Samik Basu 0001 Decomposing the Service Composition Problem. 163-170 2010 ECOWS https://doi.org/10.1109/ECOWS.2010.15 https://doi.ieeecomputersociety.org/10.1109/ECOWS.2010.15 conf/ecows/2010 db/conf/ecows/ecows2010.html#OsterSB10 Youssef Hanna David Samuelson Samik Basu 0001 Hridesh Rajan Automating Cut-off for Multi-parameterized Systems. 338-354 2010 ICFEM https://doi.org/10.1007/978-3-642-16901-4_23 conf/icfem/2010 db/conf/icfem/icfem2010.html#HannaSBR10 Hongyu Sun 0001 Samik Basu 0001 Vasant G. Honavar Robyn R. Lutz Automata-Based Verification of Security Requirements of Composite Web Services. 348-357 2010 ISSRE https://doi.org/10.1109/ISSRE.2010.20 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2010.20 https://www.wikidata.org/entity/Q57015169 conf/issre/2010 db/conf/issre/issre2010.html#SunBHL10 Ru He Paul Jennings Samik Basu 0001 Arka P. Ghosh Huaiqing Wu A bounded statistical approach for model checking of unbounded until properties. 225-234 2010 ASE https://doi.org/10.1145/1858996.1859043 conf/kbse/2010 db/conf/kbse/ase2010.html#HeJBGW10 Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Efficient Dominance Testing for Unconditional Preferences. 2010 KR https://aaai.org/papers/72-1268-efficient-dominance-testing-for-unconditional-preferences/ conf/kr/2010 db/conf/kr/kr2010.html#SanthanamBH10 Michelle Ruse Tanmoy Sarkar Samik Basu 0001 Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of Programs. 31-37 2010 SAINT https://doi.org/10.1109/SAINT.2010.60 https://doi.ieeecomputersociety.org/10.1109/SAINT.2010.60 conf/saint/2010 db/conf/saint/saint2010.html#RuseSB10 Chris Strasburg Sandeep Krishnan Karin S. Dorman Samik Basu 0001 Johnny S. Wong Masquerade Detection in Network Environments. 38-44 2010 SAINT https://doi.org/10.1109/SAINT.2010.66 https://doi.ieeecomputersociety.org/10.1109/SAINT.2010.66 conf/saint/2010 db/conf/saint/saint2010.html#StrasburgKDBW10 Dinanath Nadkarni Samik Basu 0001 Vasant G. Honavar Robyn R. Lutz Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. 161-175 2010 WS-FM https://doi.org/10.1007/978-3-642-19589-1_11 https://www.wikidata.org/entity/Q57015147 conf/wsfm/2010 db/conf/wsfm/wsfm2010.html#NadkarniBHL10 Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar Web Service Substitution Based on Preferences Over Non-functional Attributes. 210-217 2009 IEEE SCC https://doi.org/10.1109/SCC.2009.21 https://doi.ieeecomputersociety.org/10.1109/SCC.2009.21 https://www.wikidata.org/entity/Q57015217 conf/IEEEscc/2009 db/conf/IEEEscc/scc2009.html#SanthanamBH09 Chris Strasburg Natalia Stakhanova Samik Basu 0001 Johnny S. Wong Intrusion response cost assessment methodology. 388-391 2009 AsiaCCS https://doi.org/10.1145/1533057.1533112 conf/ccs/2009asia db/conf/ccs/asiaccs2009.html#StrasburgSBW09 Chris Strasburg Natalia Stakhanova Samik Basu 0001 Johnny S. Wong A Framework for Cost Sensitive Assessment of Intrusion Response Selection. 355-360 2009 COMPSAC (1) https://doi.org/10.1109/COMPSAC.2009.54 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2009.54 conf/compsac/2009 db/conf/compsac/compsac2009-1.html#StrasburgSBW09 Roopak Sinha Partha S. Roop Samik Basu 0001 Zoran Salcic Multi-clock Soc design using protocol conversion. 123-128 2009 DATE https://doi.org/10.1109/DATE.2009.5090644 http://dl.acm.org/citation.cfm?id=1874650 conf/date/2009 db/conf/date/date2009.html#SinhaRBS09 Samik Basu 0001 Arka P. Ghosh Ru He Approximate Model Checking of PCTL Involving Unbounded Path Properties. 326-346 2009 ICFEM https://doi.org/10.1007/978-3-642-10373-5_17 conf/icfem/2009 db/conf/icfem/icfem2009.html#BasuGH09 Zachary J. Oster Samik Basu 0001 Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. 572-575 2009 ICTAI https://doi.org/10.1109/ICTAI.2009.107 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.107 conf/ictai/2009 db/conf/ictai/ictai2009.html#OsterB09 Saayan Mitra Ratnesh Kumar 0001 Samik Basu 0001 A Framework for Optimal Decentralized Service-Choreography. 493-500 2009 ICWS https://doi.org/10.1109/ICWS.2009.71 https://doi.ieeecomputersociety.org/10.1109/ICWS.2009.71 conf/icws/2009 db/conf/icws/icws2009.html#MitraRB09 Xia Wang Johnny S. Wong Fred Stanley Samik Basu 0001 Cross-Layer Based Anomaly Detection in Wireless Mesh Networks. 9-15 2009 SAINT https://doi.org/10.1109/SAINT.2009.11 https://doi.ieeecomputersociety.org/10.1109/SAINT.2009.11 conf/saint/2009 db/conf/saint/saint2009.html#WangWSB09 Youssef Hanna Samik Basu 0001 Hridesh Rajan Behavioral automata composition for automatic topology independent verification of parameterized systems. 325-334 2009 ESEC/SIGSOFT FSE https://doi.org/10.1145/1595696.1595758 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#HannaBR09 Hongyu Sun 0001 Robyn R. Lutz Samik Basu 0001 Product-line-based requirements customization for web service compositions. 141-150 2009 SPLC https://dl.acm.org/citation.cfm?id=1753255 conf/splc/2009 db/conf/splc/splc2009.html#SunLB09

Roopak Sinha Partha S. Roop Samik Basu 0001 SoC Design Approach Using Convertibility Verification. 2008 2008 EURASIP J. Embed. Syst. https://doi.org/10.1155/2008/296206 https://www.wikidata.org/entity/Q59215959 db/journals/ejes/ejes2008.html#SinhaRB08

Jyotishman Pathak Samik Basu 0001 Robyn R. Lutz Vasant G. Honavar MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. 109-138 2008 17 Int. J. Artif. Intell. Tools 1 https://doi.org/10.1142/S0218213008003807 https://www.wikidata.org/entity/Q56675405 db/journals/ijait/ijait17.html#PathakBLH08

Jyotishman Pathak Samik Basu 0001 Vasant G. Honavar Composing Web Services through Automatic Reformulation of Service Specifications. 361-369 2008 IEEE SCC (1) https://doi.org/10.1109/SCC.2008.124 https://doi.ieeecomputersociety.org/10.1109/SCC.2008.124 https://www.wikidata.org/entity/Q57015231 conf/IEEEscc/2008 db/conf/IEEEscc/scc2008.html#PathakBH08 Saayan Mitra Ratnesh Kumar 0001 Samik Basu 0001 Optimum Decentralized Choreography for Web Services Composition. 395-402 2008 IEEE SCC (2) https://doi.org/10.1109/SCC.2008.82 https://doi.ieeecomputersociety.org/10.1109/SCC.2008.82 conf/IEEEscc/2008 db/conf/IEEEscc/scc2008.html#MitraKB08 Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar TCP-Compose* - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. 453-467 2008 ICSOC https://doi.org/10.1007/978-3-540-89652-4_34 conf/icsoc/2008 db/conf/icsoc/icsoc2008.html#SanthanamBH08 Natalia Stakhanova Chris Strasburg Samik Basu 0001 Johnny S. Wong On Evaluation of Response Cost for Intrusion Response Systems. 390-391 2008 RAID https://doi.org/10.1007/978-3-540-87403-4_21 conf/raid/2008 db/conf/raid/raid2008.html#StakhanovaSBW08 Ganesh Ram Santhanam Samik Basu 0001 Vasant G. Honavar On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. 538-544 2008 SERVICES I https://doi.org/10.1109/SERVICES-1.2008.15 https://doi.ieeecomputersociety.org/10.1109/SERVICES-1.2008.15 https://www.wikidata.org/entity/Q57015242 conf/services/2008-1 db/conf/services/services2008-1.html#SanthanamBH08 Roopak Sinha Partha S. Roop Samik Basu 0001 A Module Checking Based Converter Synthesis Approach for SoCs. 492-501 2008 VLSI Design https://doi.org/10.1109/VLSI.2008.109 https://doi.ieeecomputersociety.org/10.1109/VLSI.2008.109 conf/vlsid/2008 db/conf/vlsid/vlsid2008.html#SinhaRB08

Natalia Stakhanova Samik Basu 0001 Johnny Wong 0001 A taxonomy of intrusion response systems. 169-184 2007 1 Int. J. Inf. Comput. Secur. 1/2 https://doi.org/10.1504/IJICS.2007.012248 https://www.wikidata.org/entity/Q114964544 db/journals/ijics/ijics1.html#StakhanovaBW07

Samik Basu 0001 Scott A. Smolka Model checking the Java metalocking algorithm. 2007 16 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/1243987.1243990 db/journals/tosem/tosem16.html#BasuS07 12

Natalia Stakhanova Samik Basu 0001 Wensheng Zhang 0001 Xia Wang Johnny Wong 0001 Specification Synthesis for Monitoring and Analysis of MANET Protocols. 183-187 2007 conf/aina/2007w1 AINA Workshops (1) https://doi.org/10.1109/AINAW.2007.342 https://doi.ieeecomputersociety.org/10.1109/AINAW.2007.342 db/conf/aina/ainaw2007-1.html#StakhanovaBZWW07 Natalia Stakhanova Samik Basu 0001 Johnny Wong 0001 A Cost-Sensitive Model for Preemptive Intrusion Response Systems. 428-435 2007 conf/aina/2007 AINA https://doi.org/10.1109/AINA.2007.9 https://doi.ieeecomputersociety.org/10.1109/AINA.2007.9 db/conf/aina/aina2007.html#StakhanovaBW07 Samik Basu 0001 Ratnesh Kumar 0001 Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications. 5294-5299 2007 CDC https://doi.org/10.1109/CDC.2007.4434955 conf/cdc/2007 db/conf/cdc/cdc2007.html#BasuK07 Jyotishman Pathak Samik Basu 0001 Vasant G. Honavar On Context-Specific Substitutability of Web Services. 192-199 2007 conf/icws/2007 ICWS https://doi.org/10.1109/ICWS.2007.134 https://doi.ieeecomputersociety.org/10.1109/ICWS.2007.134 https://www.wikidata.org/entity/Q57015268 db/conf/icws/icws2007.html#PathakBH07 Saayan Mitra Ratnesh Kumar 0001 Samik Basu 0001 Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. 364-371 2007 conf/icws/2007 ICWS https://doi.org/10.1109/ICWS.2007.47 https://doi.ieeecomputersociety.org/10.1109/ICWS.2007.47 db/conf/icws/icws2007.html#MitraKB07 Flavian Vasile Samik Basu 0001 Cost-based Analysis of Multiple Counter-Examples. 33-38 2007 conf/seke/2007 SEKE db/conf/seke/seke2007.html#VasileB07 Saayan Mitra Samik Basu 0001 Ratnesh Kumar 0001 Local and On-the-fly Choreography-based Web Service Composition. 521-527 2007 conf/webi/2007 Web Intelligence https://doi.org/10.1109/WI.2007.100 https://doi.ieeecomputersociety.org/10.1109/WI.2007.100 db/conf/webi/webi2007.html#MitraBK07 Roopak Sinha Partha S. Roop Samik Basu 0001 A Model Checking Approach to Protocol Conversion. 81-94 2007 conf/slap/2007 SLA++P https://doi.org/10.1016/j.entcs.2008.05.012 db/conf/slap/slap2007.html#SinhaRB08 Jyotishman Pathak Samik Basu 0001 Vasant G. Honavar Assembling Composite Web Services from Autonomous Components. 394-405 2007 Emerging Artificial Intelligence Applications in Computer Engineering series/faia/2007-160 db/series/faia/faia160.html#PathakBH07 https://ebooks.iospress.nl/volumearticle/3694

Samik Basu 0001 C. R. Ramakrishnan 0001 Compositional analysis for verification of parameterized systems. 211-229 2006 354 Theor. Comput. Sci. 2 https://doi.org/10.1016/j.tcs.2005.11.016 db/journals/tcs/tcs354.html#BasuR06

Ratnesh Kumar 0001 Changyan Zhou Samik Basu 0001 Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. 1-6 2006 ACC https://doi.org/10.1109/ACC.2006.1657692 conf/amcc/2006 db/conf/amcc/acc2006.html#0001Z006 Samik Basu 0001 Ratnesh Kumar 0001 Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. 6041-6046 2006 CDC https://doi.org/10.1109/CDC.2006.376737 conf/cdc/2006 db/conf/cdc/cdc2006.html#0001006a Natalia Stakhanova Samik Basu 0001 Robyn R. Lutz Johnny Wong 0001 Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring. 333-340 2006 conf/dasc/2006 DASC https://doi.org/10.1109/DASC.2006.23 https://doi.ieeecomputersociety.org/10.1109/DASC.2006.23 db/conf/dasc/dasc2006.html#StakhanovaBLW06 Jyotishman Pathak Samik Basu 0001 Robyn R. Lutz Vasant G. Honavar Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. 3-12 2006 conf/ecows/2006 ECOWS https://doi.org/10.1109/ECOWS.2006.30 https://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.30 db/conf/ecows/ecows2006.html#PathakBLH06 Jyotishman Pathak Samik Basu 0001 Robyn R. Lutz Vasant G. Honavar MoSCoE: A Framework for Modeling Web Service Composition and Execution. 143 2006 conf/icde/2006w ICDE Workshops https://doi.org/10.1109/ICDEW.2006.96 https://doi.ieeecomputersociety.org/10.1109/ICDEW.2006.96 db/conf/icde/icdew2006.html#PathakBLH06 Jyotishman Pathak Samik Basu 0001 Vasant G. Honavar Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. 314-326 2006 conf/icsoc/2006 ICSOC https://doi.org/10.1007/11948148_26 https://www.wikidata.org/entity/Q57015280 db/conf/icsoc/icsoc2006.html#PathakBH06 Jyotishman Pathak Samik Basu 0001 Robyn R. Lutz Vasant G. Honavar Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. 445-454 2006 conf/ictai/2006 ICTAI https://doi.org/10.1109/ICTAI.2006.102 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2006.102 https://www.wikidata.org/entity/Q57015282 db/conf/ictai/ictai2006.html#PathakBLH06 Andrew S. Miner Samik Basu 0001 Verification of software via integration of design and implementation. 2006 conf/ipps/2006 IPDPS https://doi.org/10.1109/IPDPS.2006.1639581 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2006.1639581 db/conf/ipps/ipdps2006.html#MinerB06 Ping Yang 0002 Samik Basu 0001 C. R. Ramakrishnan 0001 Parameterized Verification of pi-Calculus Systems. 42-57 2006 conf/tacas/2006 TACAS https://doi.org/10.1007/11691372_3 db/conf/tacas/tacas2006.html#YangBR06 Samik Basu 0001 Partha S. Roop Roopak Sinha Local Module Checking for CTL Specifications. 125-141 2006 conf/fesca/2006 FESCA@ETAPS https://doi.org/10.1016/j.entcs.2006.02.035 db/conf/fesca/fesca2006.html#BasuRS07 Natalia Stakhanova Samik Basu 0001 Johnny Wong 0001 Oleg Stakhanov Trust Framework for P2P Networks Using Peer-Profile Based Anomaly Technique. 203-209 2005 conf/icdcsw/2005 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2005.137 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2005.137 db/conf/icdcsw/icdcsw2005.html#StakhanovaBWS05 Curtis W. Keller Diptikalyan Saha Samik Basu 0001 Scott A. Smolka FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. 563-569 https://doi.org/10.1007/978-3-540-31980-1_39 2005 conf/tacas/2005 TACAS db/conf/tacas/tacas2005.html#KellerSBS05 Samik Basu 0001 Diptikalyan Saha Scott A. Smolka Localizing Program Errors for Cimple Debugging. 79-96 https://doi.org/10.1007/978-3-540-30232-2_6 2004 conf/forte/2004 FORTE db/conf/forte/forte2004.html#BasuSS04 Samik Basu 0001 Prem Uppuluri Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. 353-362 https://doi.org/10.1007/978-3-540-30555-2_41 2004 conf/icdcit/2004 ICDCIT db/conf/icdcit/icdcit2004.html#BasuU04 Prem Uppuluri Samik Basu 0001 LASE: Layered Approach for Sensor Security and Efficiency. 346-353 2004 conf/icppw/2004 ICPP Workshops https://doi.org/10.1109/ICPPW.2004.1328038 https://doi.ieeecomputersociety.org/10.1109/ICPPW.2004.1328038 db/conf/icppw/icppw2004.html#UppuluriB04 Samik Basu 0001 Diptikalyan Saha Yow-Jian Lin Scott A. Smolka Generation of All Counter-Examples for Push-Down Systems. 79-94 https://doi.org/10.1007/978-3-540-39979-7_6 2003 conf/forte/2003 FORTE db/conf/forte/forte2003.html#BasuSLS03 R. Sekar 0001 V. N. Venkatakrishnan Samik Basu 0001 Sandeep Bhatkar Daniel C. DuVarney Model-carrying code: a practical approach for safe execution of untrusted applications. 15-28 2003 conf/sosp/2003 SOSP https://doi.org/10.1145/945445.945448 db/conf/sosp/sosp2003.html#SekarVBBD03 Samik Basu 0001 C. R. Ramakrishnan 0001 Compositional Analysis for Verification of Parameterized Systems. 315-330 2003 conf/tacas/2003 TACAS https://doi.org/10.1007/3-540-36577-X_23 db/conf/tacas/tacas2003.html#BasuR03 Samik Basu 0001 K. Narayan Kumar L. Robert Pokorny C. R. Ramakrishnan 0001 Resource-Constrained Model Checking of Recursive Programs. 236-250 2002 conf/tacas/2002 TACAS https://doi.org/10.1007/3-540-46002-0_17 db/conf/tacas/tacas2002.html#BasuKPR02 Samik Basu 0001 Madhavan Mukund C. R. Ramakrishnan 0001 I. V. Ramakrishnan Rakesh M. Verma Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. 166-180 2001 conf/iclp/2001 ICLP https://doi.org/10.1007/3-540-45635-X_19 db/conf/iclp/iclp2001.html#BasuMRRV01 Samik Basu 0001 Scott A. Smolka Orson R. Ward Model Checking the Java Meta-Locking Algorithm. 342-350 2000 conf/ecbs/2000 ECBS https://doi.org/10.1109/ECBS.2000.839894 https://doi.ieeecomputersociety.org/10.1109/ECBS.2000.839894 db/conf/ecbs/ecbs2000.html#BasuSW00 Syed Adeel Ali Preeti Bhardwaj Sandeep Bhatkar Rishabh Rajendra Bhatt Tevfik Bultan Le Chang Gianfranco Ciardo Rance Cleaveland Shawn F. Dorius Karin S. Dorman Daniel C. DuVarney Xiang Fu 0001 Xiaoyun Fu Arka P. Ghosh Maheedhar Gunasekharan Youssef Hanna Karthik Hanumanthaiah Ru He Vasant G. Honavar Md Rayhanul Islam Paul Jennings Christopher Johannsen Curtis W. Keller Sandeep Krishnan K. Narayan Kumar Raj Gaurav Kumar Ratnesh Kumar 0001 Liyi Li 0002 Yow-Jian Lin Jing Liu Robyn R. Lutz Andrew S. Miner Saayan Mitra Madhavan Mukund Yididiya Y. Nadew Dinanath Nadkarni Guanyu Nie Zachary J. Oster Meriem Ouederni Madhavan R. PadmanabhanMadhavan Rajagopal Padmanabhan Jyotishman Pathak Cesare Pautasso Aduri PavanA. Pavan 0001 L. Robert Pokorny Christopher J. QuinnChristopher John Quinn Hridesh Rajan C. R. Ramakrishnan 0001 I. V. Ramakrishnan Erik Rauer Partha S. Roop Michelle Ruse Diptikalyan Saha Zoran A. SalcicZoran Salcic David Samuelson Ganesh Ram Santhanam Tanmoy Sarkar R. Sekar 0001 Roopak Sinha Gopalakrishnan Sivaprakasam Giora Slutzki Scott A. Smolka Naresh Somisetty Oleg Stakhanov Natalia Stakhanova Fred Stanley Chris Strasburg Hongyu Sun 0001 Yuly Suvorov Igors Svecs Jia Tao 0001 Premchand UppuluriPrem Uppuluri Flavian Vasile V. N. Venkatakrishnan Rakesh M. Verma Xia Wang Orson R. Ward Johnny S. WongJohnny Wong 0001 Tichakorn Wongpiromsarn Huaiqing Wu Ping Yang 0002 Saitej Yavvari Eshita Zaman Liang Zhang 0019 Wensheng Zhang 0001 Changyan Zhou Yanhui Zhu