Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Samik Basu 0001
@inproceedings{DBLP:conf/ecai/0001HS023,
author = {Samik Basu and
Vasant G. Honavar and
Ganesh Ram Santhanam and
Jia Tao},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Representing and Reasoning with Multi-Stakeholder Qualitative Preference
Queries},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {206--213},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230272},
doi = {10.3233/FAIA230272},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/0001HS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/NieZNBPQ23,
author = {Guanyu Nie and
Yanhui Zhu and
Yididiya Y. Nadew and
Samik Basu and
A. Pavan and
Christopher John Quinn},
editor = {Robin J. Evans and
Ilya Shpitser},
title = {Size-constrained k-submodular maximization in near-linear time},
booktitle = {Uncertainty in Artificial Intelligence, {UAI} 2023, July 31 - 4 August
2023, Pittsburgh, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {216},
pages = {1545--1554},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v216/nie23a.html},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uai/NieZNBPQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/PadmanabhanZ0P23,
author = {Madhavan R. Padmanabhan and
Yanhui Zhu and
Samik Basu and
Aduri Pavan},
editor = {Robin J. Evans and
Ilya Shpitser},
title = {Maximizing submodular functions under submodular constraints},
booktitle = {Uncertainty in Artificial Intelligence, {UAI} 2023, July 31 - 4 August
2023, Pittsburgh, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {216},
pages = {1618--1627},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v216/padmanabhan23a.html},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uai/PadmanabhanZ0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-16307,
author = {Samik Basu and
Vasant G. Honavar and
Ganesh Ram Santhanam and
Jia Tao},
title = {Representing and Reasoning with Multi-Stakeholder Qualitative Preference
Queries},
journal = {CoRR},
volume = {abs/2307.16307},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.16307},
doi = {10.48550/ARXIV.2307.16307},
eprinttype = {arXiv},
eprint = {2307.16307},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-16307.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeejas/BasuK21,
author = {Samik Basu and
Ratnesh Kumar},
title = {Control of Non-Deterministic Systems With {\textdollar}{\textbackslash}mu{\textdollar}-Calculus
Specifications Using Quotienting},
journal = {{IEEE} {CAA} J. Autom. Sinica},
volume = {8},
number = {5},
pages = {953--970},
year = {2021},
url = {https://doi.org/10.1109/JAS.2021.1003964},
doi = {10.1109/JAS.2021.1003964},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeejas/BasuK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/snam/FuPKBDP21,
author = {Xiaoyun Fu and
Madhavan R. Padmanabhan and
Raj Gaurav Kumar and
Samik Basu and
Shawn F. Dorius and
A. Pavan},
title = {Measuring the impact of influence on individuals: roadmap to quantifying
attitude},
journal = {Soc. Netw. Anal. Min.},
volume = {11},
number = {1},
pages = {61},
year = {2021},
url = {https://doi.org/10.1007/s13278-021-00763-x},
doi = {10.1007/S13278-021-00763-X},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/snam/FuPKBDP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/FuB0P21,
author = {Xiaoyun Fu and
Rishabh Rajendra Bhatt and
Samik Basu and
Aduri Pavan},
editor = {Yixin Chen and
Heiko Ludwig and
Yicheng Tu and
Usama M. Fayyad and
Xingquan Zhu and
Xiaohua Hu and
Suren Byna and
Xiong Liu and
Jianping Zhang and
Shirui Pan and
Vagelis Papalexakis and
Jianwu Wang and
Alfredo Cuzzocrea and
Carlos Ordonez},
title = {Multi-Objective Submodular Optimization with Approximate Oracles and
Influence Maximization},
booktitle = {2021 {IEEE} International Conference on Big Data (Big Data), Orlando,
FL, USA, December 15-18, 2021},
pages = {328--334},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/BigData52589.2021.9671756},
doi = {10.1109/BIGDATA52589.2021.9671756},
timestamp = {Fri, 13 Jan 2023 17:06:49 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/FuB0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/FuPK0DP20,
author = {Xiaoyun Fu and
Madhavan R. Padmanabhan and
Raj Gaurav Kumar and
Samik Basu and
Shawn F. Dorius and
Aduri Pavan},
editor = {Martin Atzm{\"{u}}ller and
Michele Coscia and
Rokia Missaoui},
title = {Measuring the Impact of Influence on Individuals: Roadmap to Quantifying
Attitude},
booktitle = {{IEEE/ACM} International Conference on Advances in Social Networks
Analysis and Mining, {ASONAM} 2020, The Hague, Netherlands, December
7-10, 2020},
pages = {227--231},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ASONAM49781.2020.9381300},
doi = {10.1109/ASONAM49781.2020.9381300},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asunam/FuPK0DP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/KumarB0P20,
author = {Raj Gaurav Kumar and
Preeti Bhardwaj and
Samik Basu and
Aduri Pavan},
editor = {Jing He and
Hemant Purohit and
Guangyan Huang and
Xiaoying Gao and
Ke Deng},
title = {Disrupting Diffusion: Critical Nodes in Network},
booktitle = {{IEEE/WIC/ACM} International Joint Conference on Web Intelligence
and Intelligent Agent Technology, {WI/IAT} 2020, Melbourne, Australia,
December 14-17, 2020},
pages = {397--404},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/WIIAT50758.2020.00058},
doi = {10.1109/WIIAT50758.2020.00058},
timestamp = {Mon, 28 Jun 2021 11:58:10 +0200},
biburl = {https://dblp.org/rec/conf/webi/KumarB0P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13304,
author = {Xiaoyun Fu and
Madhavan Rajagopal Padmanabhan and
Raj Gaurav Kumar and
Samik Basu and
Shawn F. Dorius and
Aduri Pavan},
title = {Measuring the Impact of Influence on Individuals: Roadmap to Quantifying
Attitude},
journal = {CoRR},
volume = {abs/2010.13304},
year = {2020},
url = {https://arxiv.org/abs/2010.13304},
eprinttype = {arXiv},
eprint = {2010.13304},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/PadmanabhanSBP18,
author = {Madhavan R. Padmanabhan and
Naresh Somisetty and
Samik Basu and
A. Pavan},
editor = {Naoki Abe and
Huan Liu and
Calton Pu and
Xiaohua Hu and
Nesreen K. Ahmed and
Mu Qiao and
Yang Song and
Donald Kossmann and
Bing Liu and
Kisung Lee and
Jiliang Tang and
Jingrui He and
Jeffrey S. Saltz},
title = {Influence Maximization in Social Networks With Non-Target Constraints},
booktitle = {{IEEE} International Conference on Big Data {(IEEE} BigData 2018),
Seattle, WA, USA, December 10-13, 2018},
pages = {771--780},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BigData.2018.8621973},
doi = {10.1109/BIGDATA.2018.8621973},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/PadmanabhanSBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/GunasekharanBS17,
author = {Maheedhar Gunasekharan and
Samik Basu and
Ganesh Ram Santhanam},
editor = {Joseph P. Trien and
Stacy J. Prowell and
John R. Goodall and
Justin M. Beaver and
Robert A. Bridges},
title = {Selecting the minimal set of preferred responses to counter detected
intrusions},
booktitle = {Proceedings of the 12th Annual Conference on Cyber and Information
Security Research, {CISRC} 2017, Oak Ridge, TN, USA, April 4 - 6,
2017},
pages = {5:1--5:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064814.3064824},
doi = {10.1145/3064814.3064824},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/GunasekharanBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2016Santhanam,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {Representing and Reasoning with Qualitative Preferences: Tools and
Applications},
series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
publisher = {Morgan {\&} Claypool Publishers},
year = {2016},
url = {https://doi.org/10.2200/S00689ED1V01Y201512AIM031},
doi = {10.2200/S00689ED1V01Y201512AIM031},
isbn = {978-3-031-00445-2},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2016Santhanam.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BasuB16,
author = {Samik Basu and
Tevfik Bultan},
title = {On deciding synchronizability for asynchronously communicating systems},
journal = {Theor. Comput. Sci.},
volume = {656},
pages = {60--75},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.09.023},
doi = {10.1016/J.TCS.2016.09.023},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BasuB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/StrasburgBW16,
author = {Chris Strasburg and
Samik Basu and
Johnny S. Wong},
editor = {Joseph P. Trien and
Stacy J. Prowell and
John R. Goodall and
Robert A. Bridges},
title = {A Cross-Domain Comparable Measurement Framework to Quantify Intrusion
Detection Effectiveness},
booktitle = {Proceedings of the 11th Annual Cyber and Information Security Research
Conference, {CISRC} 2016, Oak Ridge, TN, USA, April 5-7, 2016},
pages = {11:1--11:8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897795.2897816},
doi = {10.1145/2897795.2897816},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/StrasburgBW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BasuB16,
author = {Samik Basu and
Tevfik Bultan},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Automated Choreography Repair},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {13--30},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_2},
doi = {10.1007/978-3-662-49665-7\_2},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/BasuB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SanthanamSSB15,
author = {Ganesh Ram Santhanam and
Gopalakrishnan Sivaprakasam and
Giora Slutzki and
Samik Basu},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {A Knowledge Based Framework for Case-specific Diagnosis},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {482--488},
publisher = {SciTePress},
year = {2015},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/SanthanamSSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/OsterSB15,
author = {Zachary J. Oster and
Ganesh Ram Santhanam and
Samik Basu},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {Scalable modeling and analysis of requirements preferences: {A} qualitative
approach using CI-Nets},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {214--219},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320425},
doi = {10.1109/RE.2015.7320425},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/OsterSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SanthanamBH15,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {{CRISNER:} {A} Practically Efficient Reasoner for Qualitative Preferences},
journal = {CoRR},
volume = {abs/1507.08559},
year = {2015},
url = {http://arxiv.org/abs/1507.08559},
eprinttype = {arXiv},
eprint = {1507.08559},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SanthanamBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/SarkarBW14,
author = {Tanmoy Sarkar and
Samik Basu and
Johnny Wong},
editor = {Shahram Latifi},
title = {iConSMutate: Concolic Testing of Database Applications Using Existing
Database States Guided by {SQL} Mutants},
booktitle = {11th International Conference on Information Technology: New Generations,
{ITNG} 2014, Las Vegas, NV, USA, April 7-9, 2014},
pages = {479--484},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ITNG.2014.82},
doi = {10.1109/ITNG.2014.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/SarkarBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BasuB14,
author = {Samik Basu and
Tevfik Bultan},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Automatic verification of interactions in asynchronous systems with
unbounded buffers},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {743--754},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643016},
doi = {10.1145/2642937.2643016},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BasuB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SanthanamBH14,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {Representing and Reasoning with Qualitative Preferences for Compositional
Systems},
journal = {CoRR},
volume = {abs/1401.3899},
year = {2014},
url = {http://arxiv.org/abs/1401.3899},
eprinttype = {arXiv},
eprint = {1401.3899},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SanthanamBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aldt/SanthanamBH13,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
editor = {Patrice Perny and
Marc Pirlot and
Alexis Tsouki{\`{a}}s},
title = {Verifying Preferential Equivalence and Subsumption via Model Checking},
booktitle = {Algorithmic Decision Theory - Third International Conference, {ADT}
2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8176},
pages = {324--335},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41575-3\_25},
doi = {10.1007/978-3-642-41575-3\_25},
timestamp = {Mon, 03 Jan 2022 22:21:02 +0100},
biburl = {https://dblp.org/rec/conf/aldt/SanthanamBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/StrasburgBW13,
author = {Chris Strasburg and
Samik Basu and
Johnny S. Wong},
title = {{S-MAIDS:} {A} Semantic Model for Automated Tuning, Correlation, and
Response Selection in Intrusion Detection Systems},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {319--328},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.57},
doi = {10.1109/COMPSAC.2013.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/StrasburgBW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/SanthanamOB13,
author = {Ganesh Ram Santhanam and
Zachary J. Oster and
Samik Basu},
editor = {Frederick T. Sheldon and
Annarita Giani and
Axel W. Krings and
Robert K. Abercrombie},
title = {Identifying a preferred countermeasure strategy for attack graphs},
booktitle = {Cyber Security and Information Intelligence, {CSIIRW} '13, Oak Ridge,
TN, USA, January 8-10, 2013},
pages = {11},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2459976.2459988},
doi = {10.1145/2459976.2459988},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/SanthanamOB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/SarkarBW13,
author = {Tanmoy Sarkar and
Samik Basu and
Johnny Wong},
editor = {Shahram Latifi},
title = {SynConSMutate: Concolic Testing of Database Applications via Synthetic
Data Guided by {SQL} Mutants},
booktitle = {Tenth International Conference on Information Technology: New Generations,
{ITNG} 2013, 15-17 April, 2013, Las Vegas, Nevada, {USA}},
pages = {337--342},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ITNG.2013.54},
doi = {10.1109/ITNG.2013.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/SarkarBW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/RuseB13,
author = {Michelle Ruse and
Samik Basu},
editor = {Shahram Latifi},
title = {Detecting Cross-Site Scripting Vulnerability Using Concolic Testing},
booktitle = {Tenth International Conference on Information Technology: New Generations,
{ITNG} 2013, 15-17 April, 2013, Las Vegas, Nevada, {USA}},
pages = {633--638},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ITNG.2013.97},
doi = {10.1109/ITNG.2013.97},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/RuseB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/SanthanamBH13,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {Preference Based Service Adaptation Using Service Substitution},
booktitle = {2013 {IEEE/WIC/ACM} International Conferences on Web Intelligence,
{WI} 2013, Atlanta, GA, USA, November 17-20, 2013},
pages = {487--493},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WI-IAT.2013.68},
doi = {10.1109/WI-IAT.2013.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/SanthanamBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2013,
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1},
doi = {10.1007/978-3-642-45005-1},
isbn = {978-3-642-45004-4},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/StakhanovaSBW12,
author = {Natalia Stakhanova and
Chris Strasburg and
Samik Basu and
Johnny S. Wong},
title = {Towards cost-sensitive assessment of intrusion response selection},
journal = {J. Comput. Secur.},
volume = {20},
number = {2-3},
pages = {169--198},
year = {2012},
url = {https://doi.org/10.3233/JCS-2011-0436},
doi = {10.3233/JCS-2011-0436},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/StakhanovaSBW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/JenningsGB12,
author = {Paul Jennings and
Arka P. Ghosh and
Samik Basu},
title = {A two-phase approximation for model checking probabilistic unbounded
until properties of probabilistic systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {21},
number = {3},
pages = {18:1--18:35},
year = {2012},
url = {https://doi.org/10.1145/2211616.2211621},
doi = {10.1145/2211616.2211621},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/JenningsGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SinhaRSB12,
author = {Roopak Sinha and
Partha S. Roop and
Zoran Salcic and
Samik Basu},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Correct-by-construction multi-component SoC design},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {647--652},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176551},
doi = {10.1109/DATE.2012.6176551},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/SinhaRSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/OsterSBH12,
author = {Zachary J. Oster and
Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Model Checking of Qualitative Sensitivity Preferences to Minimize
Credential Disclosure},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {205--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_13},
doi = {10.1007/978-3-642-35861-6\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/OsterSBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SarkarBW12,
author = {Tanmoy Sarkar and
Samik Basu and
Johnny S. Wong},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {ConSMutate: {SQL} Mutants for Guiding Concolic Testing of Database
Applications},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {462--477},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_32},
doi = {10.1007/978-3-642-34281-3\_32},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SarkarBW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/OsterASBR12,
author = {Zachary J. Oster and
Syed Adeel Ali and
Ganesh Ram Santhanam and
Samik Basu and
Partha S. Roop},
editor = {Chengfei Liu and
Heiko Ludwig and
Farouk Toumani and
Qi Yu},
title = {A Service Composition Framework Based on Goal-Oriented Requirements
Engineering, Model Checking, and Qualitative Preference Analysis},
booktitle = {Service-Oriented Computing - 10th International Conference, {ICSOC}
2012, Shanghai, China, November 12-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7636},
pages = {283--297},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34321-6\_19},
doi = {10.1007/978-3-642-34321-6\_19},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/OsterASBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BasuBO12,
author = {Samik Basu and
Tevfik Bultan and
Meriem Ouederni},
editor = {John Field and
Michael Hicks},
title = {Deciding choreography realizability},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {191--202},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103680},
doi = {10.1145/2103656.2103680},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BasuBO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BasuBO12,
author = {Samik Basu and
Tevfik Bultan and
Meriem Ouederni},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Synchronizability for Verification of Asynchronously Communicating
Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {56--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_5},
doi = {10.1007/978-3-642-27940-9\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BasuBO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LiuBL11,
author = {Jing Liu and
Samik Basu and
Robyn R. Lutz},
title = {Compositional model checking of software product lines using variation
point obligations},
journal = {Autom. Softw. Eng.},
volume = {18},
number = {1},
pages = {39--76},
year = {2011},
url = {https://doi.org/10.1007/s10515-010-0075-7},
doi = {10.1007/S10515-010-0075-7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/LiuBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SanthanamBH11,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {Representing and Reasoning with Qualitative Preferences for Compositional
Systems},
journal = {J. Artif. Intell. Res.},
volume = {42},
pages = {211--274},
year = {2011},
url = {http://jair.org/papers/paper3339.html},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SanthanamBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SanthanamSBH11,
author = {Ganesh Ram Santhanam and
Yuly Suvorov and
Samik Basu and
Vasant G. Honavar},
editor = {Wolfram Burgard and
Dan Roth},
title = {Verifying Intervention Policies to Counter Infection Propagation over
Networks: {A} Model Checking Approach},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {1408--1414},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7804},
doi = {10.1609/AAAI.V25I1.7804},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SanthanamSBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/SanthanamBH11,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {Identifying Sustainable Designs Using Preferences over Sustainability
Attributes},
booktitle = {Artificial Intelligence and Sustainable Design, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-02, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2461},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/SanthanamBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/OsterSB11,
author = {Zachary J. Oster and
Ganesh Ram Santhanam and
Samik Basu},
title = {Identifying Optimal Composite Services by Decomposing the Service
Composition Problem},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington,
DC, USA, July 4-9, 2011},
pages = {267--274},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICWS.2011.110},
doi = {10.1109/ICWS.2011.110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/OsterSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/OsterSB11,
author = {Zachary J. Oster and
Ganesh Ram Santhanam and
Samik Basu},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automating analysis of qualitative preferences in goal-oriented requirements
engineering},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {448--451},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100096},
doi = {10.1109/ASE.2011.6100096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/OsterSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BasuB11,
author = {Samik Basu and
Tevfik Bultan},
editor = {Sadagopan Srinivasan and
Krithi Ramamritham and
Arun Kumar and
M. P. Ravindra and
Elisa Bertino and
Ravi Kumar},
title = {Choreography conformance via synchronizability},
booktitle = {Proceedings of the 20th International Conference on World Wide Web,
{WWW} 2011, Hyderabad, India, March 28 - April 1, 2011},
pages = {795--804},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1963405.1963516},
doi = {10.1145/1963405.1963516},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/BasuB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/StakhanovaBW10,
author = {Natalia Stakhanova and
Samik Basu and
Johnny Wong},
title = {On the symbiosis of specification-based and anomaly-based detection},
journal = {Comput. Secur.},
volume = {29},
number = {2},
pages = {253--268},
year = {2010},
url = {https://doi.org/10.1016/j.cose.2009.08.007},
doi = {10.1016/J.COSE.2009.08.007},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/StakhanovaBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SanthanamBH10,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
editor = {Maria Fox and
David Poole},
title = {Dominance Testing via Model Checking},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {357--362},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7599},
doi = {10.1609/AAAI.V24I1.7599},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SanthanamBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SvecsSBW10,
author = {Igors Svecs and
Tanmoy Sarkar and
Samik Basu and
Johnny S. Wong},
title = {{XIDR:} {A} Dynamic Framework Utilizing Cross-Layer Intrusion Detection
for Effective Response Deployment},
booktitle = {Workshop Proceedings of the 34th Annual {IEEE} International Computer
Software and Applications Conference, {COMPSAC} Workshops 2010, Seoul,
Korea, 19-23 July 2010},
pages = {287--292},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSACW.2010.57},
doi = {10.1109/COMPSACW.2010.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SvecsSBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/OsterSB10,
author = {Zachary J. Oster and
Ganesh Ram Santhanam and
Samik Basu},
editor = {Antonio Brogi and
Cesare Pautasso and
George Angelos Papadopoulos},
title = {Decomposing the Service Composition Problem},
booktitle = {8th {IEEE} European Conference on Web Services {(ECOWS} 2010), 1-3
December 2010, Ayia Napa, Cyprus},
pages = {163--170},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ECOWS.2010.15},
doi = {10.1109/ECOWS.2010.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/OsterSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HannaSBR10,
author = {Youssef Hanna and
David Samuelson and
Samik Basu and
Hridesh Rajan},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Automating Cut-off for Multi-parameterized Systems},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {338--354},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_23},
doi = {10.1007/978-3-642-16901-4\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HannaSBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SunBHL10,
author = {Hongyu Sun and
Samik Basu and
Vasant G. Honavar and
Robyn R. Lutz},
title = {Automata-Based Verification of Security Requirements of Composite
Web Services},
booktitle = {{IEEE} 21st International Symposium on Software Reliability Engineering,
{ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010},
pages = {348--357},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISSRE.2010.20},
doi = {10.1109/ISSRE.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/SunBHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HeJBGW10,
author = {Ru He and
Paul Jennings and
Samik Basu and
Arka P. Ghosh and
Huaiqing Wu},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {A bounded statistical approach for model checking of unbounded until
properties},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {225--234},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859043},
doi = {10.1145/1858996.1859043},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HeJBGW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SanthanamBH10,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Efficient Dominance Testing for Unconditional Preferences},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1268},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SanthanamBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/RuseSB10,
author = {Michelle Ruse and
Tanmoy Sarkar and
Samik Basu},
title = {Analysis {\&} Detection of {SQL} Injection Vulnerabilities via
Automatic Test Case Generation of Programs},
booktitle = {Tenth Annual International Symposium on Applications and the Internet,
{SAINT} 2010, Seoul, Korea, 19-23 July, 2010, Proceedings},
pages = {31--37},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SAINT.2010.60},
doi = {10.1109/SAINT.2010.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/RuseSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/StrasburgKDBW10,
author = {Chris Strasburg and
Sandeep Krishnan and
Karin S. Dorman and
Samik Basu and
Johnny S. Wong},
title = {Masquerade Detection in Network Environments},
booktitle = {Tenth Annual International Symposium on Applications and the Internet,
{SAINT} 2010, Seoul, Korea, 19-23 July, 2010, Proceedings},
pages = {38--44},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SAINT.2010.66},
doi = {10.1109/SAINT.2010.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/StrasburgKDBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/NadkarniBHL10,
author = {Dinanath Nadkarni and
Samik Basu and
Vasant G. Honavar and
Robyn R. Lutz},
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Failure Analysis for Composition of Web Services Represented as Labeled
Transition Systems},
booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
pages = {161--175},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19589-1\_11},
doi = {10.1007/978-3-642-19589-1\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/NadkarniBHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/SanthanamBH09,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {Web Service Substitution Based on Preferences Over Non-functional
Attributes},
booktitle = {2009 {IEEE} International Conference on Services Computing {(SCC}
2009), 21-25 September 2009, Bangalore, India},
pages = {210--217},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SCC.2009.21},
doi = {10.1109/SCC.2009.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/SanthanamBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/StrasburgSBW09,
author = {Chris Strasburg and
Natalia Stakhanova and
Samik Basu and
Johnny S. Wong},
editor = {Wanqing Li and
Willy Susilo and
Udaya Kiran Tupakula and
Reihaneh Safavi{-}Naini and
Vijay Varadharajan},
title = {Intrusion response cost assessment methodology},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2009, Sydney, Australia, March
10-12, 2009},
pages = {388--391},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1533057.1533112},
doi = {10.1145/1533057.1533112},
timestamp = {Fri, 18 Mar 2022 11:47:58 +0100},
biburl = {https://dblp.org/rec/conf/ccs/StrasburgSBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/StrasburgSBW09,
author = {Chris Strasburg and
Natalia Stakhanova and
Samik Basu and
Johnny S. Wong},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {A Framework for Cost Sensitive Assessment of Intrusion Response Selection},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1},
pages = {355--360},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.54},
doi = {10.1109/COMPSAC.2009.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/StrasburgSBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SinhaRBS09,
author = {Roopak Sinha and
Partha S. Roop and
Samik Basu and
Zoran Salcic},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Multi-clock Soc design using protocol conversion},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {123--128},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090644},
doi = {10.1109/DATE.2009.5090644},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/SinhaRBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BasuGH09,
author = {Samik Basu and
Arka P. Ghosh and
Ru He},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Approximate Model Checking of {PCTL} Involving Unbounded Path Properties},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {326--346},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_17},
doi = {10.1007/978-3-642-10373-5\_17},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BasuGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/OsterB09,
author = {Zachary J. Oster and
Samik Basu},
title = {Extending Substitutability in Composite Services by Allowing Asynchronous
Communication with Message Buffers},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {572--575},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.107},
doi = {10.1109/ICTAI.2009.107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/OsterB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/MitraRB09,
author = {Saayan Mitra and
Ratnesh Kumar and
Samik Basu},
title = {A Framework for Optimal Decentralized Service-Choreography},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {493--500},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.71},
doi = {10.1109/ICWS.2009.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/MitraRB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/WangWSB09,
author = {Xia Wang and
Johnny S. Wong and
Fred Stanley and
Samik Basu},
title = {Cross-Layer Based Anomaly Detection in Wireless Mesh Networks},
booktitle = {Ninth Annual International Symposium on Applications and the Internet,
{SAINT} 2009, Bellevue, Washington, USA, July 20-24, 2009, Proceedings},
pages = {9--15},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SAINT.2009.11},
doi = {10.1109/SAINT.2009.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/WangWSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HannaBR09,
author = {Youssef Hanna and
Samik Basu and
Hridesh Rajan},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Behavioral automata composition for automatic topology independent
verification of parameterized systems},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {325--334},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595758},
doi = {10.1145/1595696.1595758},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HannaBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SunLB09,
author = {Hongyu Sun and
Robyn R. Lutz and
Samik Basu},
editor = {Dirk Muthig and
John D. McGregor},
title = {Product-line-based requirements customization for web service compositions},
booktitle = {Software Product Lines, 13th International Conference, {SPLC} 2009,
San Francisco, California, USA, August 24-28, 2009, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {446},
pages = {141--150},
publisher = {{ACM}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1753255},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/SunLB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/SinhaRB08,
author = {Roopak Sinha and
Partha S. Roop and
Samik Basu},
title = {SoC Design Approach Using Convertibility Verification},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2008},
year = {2008},
url = {https://doi.org/10.1155/2008/296206},
doi = {10.1155/2008/296206},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/SinhaRB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/PathakBLH08,
author = {Jyotishman Pathak and
Samik Basu and
Robyn R. Lutz and
Vasant G. Honavar},
title = {{MOSCOE:} an Approach for Composing Web Services through Iterative
Reformulation of Functional Specifications},
journal = {Int. J. Artif. Intell. Tools},
volume = {17},
number = {1},
pages = {109--138},
year = {2008},
url = {https://doi.org/10.1142/S0218213008003807},
doi = {10.1142/S0218213008003807},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijait/PathakBLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/PathakBH08,
author = {Jyotishman Pathak and
Samik Basu and
Vasant G. Honavar},
title = {Composing Web Services through Automatic Reformulation of Service
Specifications},
booktitle = {2008 {IEEE} International Conference on Services Computing {(SCC}
2008), 8-11 July 2008, Honolulu, Hawaii, {USA}},
pages = {361--369},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCC.2008.124},
doi = {10.1109/SCC.2008.124},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/PathakBH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MitraKB08,
author = {Saayan Mitra and
Ratnesh Kumar and
Samik Basu},
title = {Optimum Decentralized Choreography for Web Services Composition},
booktitle = {2008 {IEEE} International Conference on Services Computing {(SCC}
2008), 8-11 July 2008, Honolulu, Hawaii, {USA}},
pages = {395--402},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCC.2008.82},
doi = {10.1109/SCC.2008.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/MitraKB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SanthanamBH08,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {TCP-Compose* - {A} TCP-Net Based Algorithm for Efficient Composition
of Web Services Using Qualitative Preferences},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {453--467},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_34},
doi = {10.1007/978-3-540-89652-4\_34},
timestamp = {Sun, 02 Jun 2019 21:20:23 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/SanthanamBH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/StakhanovaSBW08,
author = {Natalia Stakhanova and
Chris Strasburg and
Samik Basu and
Johnny S. Wong},
editor = {Richard Lippmann and
Engin Kirda and
Ari Trachtenberg},
title = {On Evaluation of Response Cost for Intrusion Response Systems},
booktitle = {Recent Advances in Intrusion Detection, 11th International Symposium,
{RAID} 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5230},
pages = {390--391},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87403-4\_21},
doi = {10.1007/978-3-540-87403-4\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/raid/StakhanovaSBW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/SanthanamBH08,
author = {Ganesh Ram Santhanam and
Samik Basu and
Vasant G. Honavar},
title = {On Utilizing Qualitative Preferences in Web Service Composition: {A}
CP-net Based Approach},
booktitle = {2008 {IEEE} Congress on Services, Part I, {SERVICES} {I} 2008, Honolulu,
Hawaii, USA, July 6-11, 2008},
pages = {538--544},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SERVICES-1.2008.15},
doi = {10.1109/SERVICES-1.2008.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/SanthanamBH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/SinhaRB08,
author = {Roopak Sinha and
Partha S. Roop and
Samik Basu},
title = {A Module Checking Based Converter Synthesis Approach for SoCs},
booktitle = {21st International Conference on {VLSI} Design {(VLSI} Design 2008),
4-8 January 2008, Hyderabad, India},
pages = {492--501},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/VLSI.2008.109},
doi = {10.1109/VLSI.2008.109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/SinhaRB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijics/StakhanovaBW07,
author = {Natalia Stakhanova and
Samik Basu and
Johnny Wong},
title = {A taxonomy of intrusion response systems},
journal = {Int. J. Inf. Comput. Secur.},
volume = {1},
number = {1/2},
pages = {169--184},
year = {2007},
url = {https://doi.org/10.1504/IJICS.2007.012248},
doi = {10.1504/IJICS.2007.012248},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijics/StakhanovaBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BasuS07,
author = {Samik Basu and
Scott A. Smolka},
title = {Model checking the Java metalocking algorithm},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {3},
pages = {12},
year = {2007},
url = {https://doi.org/10.1145/1243987.1243990},
doi = {10.1145/1243987.1243990},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/BasuS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/StakhanovaBZWW07,
author = {Natalia Stakhanova and
Samik Basu and
Wensheng Zhang and
Xia Wang and
Johnny Wong},
title = {Specification Synthesis for Monitoring and Analysis of {MANET} Protocols},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), Workshops Proceedings, Volume 1, May 21-23,
2007, Niagara Falls, Canada},
pages = {183--187},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINAW.2007.342},
doi = {10.1109/AINAW.2007.342},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/StakhanovaBZWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/StakhanovaBW07,
author = {Natalia Stakhanova and
Samik Basu and
Johnny Wong},
title = {A Cost-Sensitive Model for Preemptive Intrusion Response Systems},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), May 21-23, 2007, Niagara Falls, Canada},
pages = {428--435},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINA.2007.9},
doi = {10.1109/AINA.2007.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/StakhanovaBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BasuK07,
author = {Samik Basu and
Ratnesh Kumar},
title = {Quotient-based control synthesis for partially observed non-deterministic
plants with mu-calculus specifications},
booktitle = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
LA, USA, December 12-14, 2007},
pages = {5294--5299},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CDC.2007.4434955},
doi = {10.1109/CDC.2007.4434955},
timestamp = {Fri, 04 Mar 2022 13:27:03 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BasuK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/PathakBH07,
author = {Jyotishman Pathak and
Samik Basu and
Vasant G. Honavar},
title = {On Context-Specific Substitutability of Web Services},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {192--199},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.134},
doi = {10.1109/ICWS.2007.134},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/PathakBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/MitraKB07,
author = {Saayan Mitra and
Ratnesh Kumar and
Samik Basu},
title = {Automated Choreographer Synthesis for Web Services Composition Using
{I/O} Automata},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {364--371},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.47},
doi = {10.1109/ICWS.2007.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/MitraKB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/VasileB07,
author = {Flavian Vasile and
Samik Basu},
title = {Cost-based Analysis of Multiple Counter-Examples},
booktitle = {Proceedings of the Nineteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
USA, July 9-11, 2007},
pages = {33--38},
publisher = {Knowledge Systems Institute Graduate School},
year = {2007},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/VasileB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/MitraBK07,
author = {Saayan Mitra and
Samik Basu and
Ratnesh Kumar},
title = {Local and On-the-fly Choreography-based Web Service Composition},
booktitle = {2007 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence,
{WI} 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference
Proceedings},
pages = {521--527},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WI.2007.100},
doi = {10.1109/WI.2007.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/MitraBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SinhaRB08,
author = {Roopak Sinha and
Partha S. Roop and
Samik Basu},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {A Model Checking Approach to Protocol Conversion},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {81--94},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.012},
doi = {10.1016/J.ENTCS.2008.05.012},
timestamp = {Mon, 13 Feb 2023 13:24:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SinhaRB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/PathakBH07,
author = {Jyotishman Pathak and
Samik Basu and
Vasant G. Honavar},
editor = {Ilias Maglogiannis and
Kostas Karpouzis and
Manolis Wallace and
John Soldatos},
title = {Assembling Composite Web Services from Autonomous Components},
booktitle = {Emerging Artificial Intelligence Applications in Computer Engineering
- Real Word {AI} Systems with Applications in eHealth, HCI, Information
Retrieval and Pervasive Technologies},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {160},
pages = {394--405},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=6978},
timestamp = {Thu, 31 Mar 2022 09:36:13 +0200},
biburl = {https://dblp.org/rec/series/faia/PathakBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BasuR06,
author = {Samik Basu and
C. R. Ramakrishnan},
title = {Compositional analysis for verification of parameterized systems},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {2},
pages = {211--229},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.016},
doi = {10.1016/J.TCS.2005.11.016},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BasuR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/0001Z006,
author = {Ratnesh Kumar and
Changyan Zhou and
Samik Basu},
title = {Finite bisimulation of reactive untimed infinite state systems modeled
as automata with variables},
booktitle = {American Control Conference, {ACC} 2006, Minneapolis, MN, USA, 14-16
June, 2006},
pages = {1--6},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ACC.2006.1657692},
doi = {10.1109/ACC.2006.1657692},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/0001Z006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/0001006a,
author = {Samik Basu and
Ratnesh Kumar},
title = {Quotient-based Control Synthesis for Non-Deterministic Plants with
Mu-Calculus Specifications},
booktitle = {45th {IEEE} Conference on Decision and Control, {CDC} 2006, San Diego,
CA, USA, December 13-15, 2006},
pages = {6041--6046},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/CDC.2006.376737},
doi = {10.1109/CDC.2006.376737},
timestamp = {Fri, 04 Mar 2022 13:26:30 +0100},
biburl = {https://dblp.org/rec/conf/cdc/0001006a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/StakhanovaBLW06,
author = {Natalia Stakhanova and
Samik Basu and
Robyn R. Lutz and
Johnny Wong},
title = {Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring},
booktitle = {Second International Symposium on Dependable Autonomic and Secure
Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis,
Indiana, {USA}},
pages = {333--340},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DASC.2006.23},
doi = {10.1109/DASC.2006.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/StakhanovaBLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/PathakBLH06,
author = {Jyotishman Pathak and
Samik Basu and
Robyn R. Lutz and
Vasant G. Honavar},
title = {Parallel Web Service Composition in MoSCoE: {A} Choreography-Based
Approach},
booktitle = {Fourth {IEEE} European Conference on Web Services {(ECOWS} 2006),
4-6 December 2006, Z{\"{u}}rich, Switzerland},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECOWS.2006.30},
doi = {10.1109/ECOWS.2006.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/PathakBLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/PathakBLH06,
author = {Jyotishman Pathak and
Samik Basu and
Robyn R. Lutz and
Vasant G. Honavar},
editor = {Roger S. Barga and
Xiaofang Zhou},
title = {MoSCoE: {A} Framework for Modeling Web Service Composition and Execution},
booktitle = {Proceedings of the 22nd International Conference on Data Engineering
Workshops, {ICDE} 2006, 3-7 April 2006, Atlanta, GA, {USA}},
pages = {143},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICDEW.2006.96},
doi = {10.1109/ICDEW.2006.96},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/PathakBLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PathakBH06,
author = {Jyotishman Pathak and
Samik Basu and
Vasant G. Honavar},
editor = {Asit Dan and
Winfried Lamersdorf},
title = {Modeling Web Services by Iterative Reformulation of Functional and
Non-functional Requirements},
booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
Chicago, IL, USA, December 4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4294},
pages = {314--326},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11948148\_26},
doi = {10.1007/11948148\_26},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/PathakBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PathakBLH06,
author = {Jyotishman Pathak and
Samik Basu and
Robyn R. Lutz and
Vasant G. Honavar},
title = {Selecting and Composing Web Services through Iterative Reformulation
of Functional Specifications},
booktitle = {18th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
pages = {445--454},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICTAI.2006.102},
doi = {10.1109/ICTAI.2006.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/PathakBLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MinerB06,
author = {Andrew S. Miner and
Samik Basu},
title = {Verification of software via integration of design and implementation},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639581},
doi = {10.1109/IPDPS.2006.1639581},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MinerB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YangBR06,
author = {Ping Yang and
Samik Basu and
C. R. Ramakrishnan},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Parameterized Verification of pi-Calculus Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {42--57},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_3},
doi = {10.1007/11691372\_3},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/YangBR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BasuRS07,
author = {Samik Basu and
Partha S. Roop and
Roopak Sinha},
editor = {Juliana K{\"{u}}ster Filipe Bowles and
Iman Poernomo and
Ralf H. Reussner},
title = {Local Module Checking for {CTL} Specifications},
booktitle = {Proceedings of the Workshop on Formal Foundations of Embedded Software
and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna,
Austria, March 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {2},
pages = {125--141},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.02.035},
doi = {10.1016/J.ENTCS.2006.02.035},
timestamp = {Tue, 31 Jan 2023 11:16:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BasuRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/StakhanovaBWS05,
author = {Natalia Stakhanova and
Samik Basu and
Johnny Wong and
Oleg Stakhanov},
title = {Trust Framework for {P2P} Networks Using Peer-Profile Based Anomaly
Technique},
booktitle = {25th International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2005 Workshops), 6-10 June 2005, Columbus, OH, {USA}},
pages = {203--209},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICDCSW.2005.137},
doi = {10.1109/ICDCSW.2005.137},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/StakhanovaBWS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KellerSBS05,
author = {Curtis W. Keller and
Diptikalyan Saha and
Samik Basu and
Scott A. Smolka},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {FocusCheck: {A} Tool for Model Checking and Debugging Sequential {C}
Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {563--569},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_39},
doi = {10.1007/978-3-540-31980-1\_39},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KellerSBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BasuSS04,
author = {Samik Basu and
Diptikalyan Saha and
Scott A. Smolka},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Localizing Program Errors for Cimple Debugging},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {79--96},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_6},
doi = {10.1007/978-3-540-30232-2\_6},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/BasuSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/BasuU04,
author = {Samik Basu and
Prem Uppuluri},
editor = {R. K. Ghosh and
Hrushikesha Mohanty},
title = {Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive
Monitoring for Intrusion Detection},
booktitle = {Distributed Computing and Internet Technology, First International
Conference, {ICDCIT} 2004, Bhubaneswar, India, December 22-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3347},
pages = {353--362},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30555-2\_41},
doi = {10.1007/978-3-540-30555-2\_41},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/BasuU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icppw/UppuluriB04,
author = {Prem Uppuluri and
Samik Basu},
title = {{LASE:} Layered Approach for Sensor Security and Efficiency},
booktitle = {33rd International Conference on Parallel Processing Workshops {(ICPP}
2004 Workshops), 15-18 August 2004, Montreal, Quebec, Canada},
pages = {346--353},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICPPW.2004.1328038},
doi = {10.1109/ICPPW.2004.1328038},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icppw/UppuluriB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BasuSLS03,
author = {Samik Basu and
Diptikalyan Saha and
Yow{-}Jian Lin and
Scott A. Smolka},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Generation of All Counter-Examples for Push-Down Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {79--94},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_6},
doi = {10.1007/978-3-540-39979-7\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BasuSLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SekarVBBD03,
author = {R. Sekar and
V. N. Venkatakrishnan and
Samik Basu and
Sandeep Bhatkar and
Daniel C. DuVarney},
editor = {Michael L. Scott and
Larry L. Peterson},
title = {Model-carrying code: a practical approach for safe execution of untrusted
applications},
booktitle = {Proceedings of the 19th {ACM} Symposium on Operating Systems Principles
2003, {SOSP} 2003, Bolton Landing, NY, USA, October 19-22, 2003},
pages = {15--28},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/945445.945448},
doi = {10.1145/945445.945448},
timestamp = {Thu, 19 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SekarVBBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BasuR03,
author = {Samik Basu and
C. R. Ramakrishnan},
editor = {Hubert Garavel and
John Hatcliff},
title = {Compositional Analysis for Verification of Parameterized Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {315--330},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_23},
doi = {10.1007/3-540-36577-X\_23},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BasuR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BasuKPR02,
author = {Samik Basu and
K. Narayan Kumar and
L. Robert Pokorny and
C. R. Ramakrishnan},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Resource-Constrained Model Checking of Recursive Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {236--250},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_17},
doi = {10.1007/3-540-46002-0\_17},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BasuKPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BasuMRRV01,
author = {Samik Basu and
Madhavan Mukund and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Rakesh M. Verma},
editor = {Philippe Codognet},
title = {Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {166--180},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_19},
doi = {10.1007/3-540-45635-X\_19},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BasuMRRV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BasuSW00,
author = {Samik Basu and
Scott A. Smolka and
Orson R. Ward},
title = {Model Checking the Java Meta-Locking Algorithm},
booktitle = {7th {IEEE} International Symposium on Engineering of Computer-Based
Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
pages = {342--350},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ECBS.2000.839894},
doi = {10.1109/ECBS.2000.839894},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/BasuSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-28 21:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
