Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ansuman Banerjee
@inproceedings{DBLP:conf/comsnets/JaipuriaBB24,
author = {Saumya Jaipuria and
Ansuman Banerjee and
Arani Bhattacharya},
title = {Roadside Traffic Monitoring Using Video Processing on the Edge},
booktitle = {16th International Conference on COMmunication Systems {\&} NETworkS,
{COMSNETS} 2024, Bengaluru, India, January 3-7, 2024},
pages = {542--550},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/COMSNETS59351.2024.10427468},
doi = {10.1109/COMSNETS59351.2024.10427468},
timestamp = {Fri, 01 Mar 2024 14:04:41 +0100},
biburl = {https://dblp.org/rec/conf/comsnets/JaipuriaBB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/DeySRB24,
author = {Devdan Dey and
Mir Md Sajid Sarwar and
Rajarshi Ray and
Ansuman Banerjee},
editor = {Sujit Kumar Charkrabarti and
Raghavan Komondoor and
Raveendra Kumar Medicherla and
Aseem Rastogi and
Sudipto Ghosh},
title = {A Contrastive Explanation Tool for Plans in Hybrid Domains},
booktitle = {Proceedings of the 17th Innovations in Software Engineering Conference,
{ISEC} 2024, Bangalore, India, February 22-24, 2024},
pages = {15:1--15:5},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3641399.3641424},
doi = {10.1145/3641399.3641424},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/DeySRB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/RayB24,
author = {Kaustabha Ray and
Ansuman Banerjee},
title = {Autonomous Automotives on the Edge},
booktitle = {37th International Conference on {VLSI} Design and 23rd International
Conference on Embedded Systems, {VLSID} 2024, Kolkata, India, January
6-10, 2024},
pages = {264--269},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/VLSID60093.2024.00050},
doi = {10.1109/VLSID60093.2024.00050},
timestamp = {Mon, 08 Apr 2024 20:48:39 +0200},
biburl = {https://dblp.org/rec/conf/vlsid/RayB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/RayB23,
author = {Kaustabha Ray and
Ansuman Banerjee},
title = {Prioritized Fault Recovery Strategies for Multi-Access Edge Computing
Using Probabilistic Model Checking},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {20},
number = {1},
pages = {797--812},
year = {2023},
url = {https://doi.org/10.1109/TDSC.2022.3143877},
doi = {10.1109/TDSC.2022.3143877},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tdsc/RayB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SarwarRB23,
author = {Mir Md Sajid Sarwar and
Rajarshi Ray and
Ansuman Banerjee},
title = {A Contrastive Plan Explanation Framework for Hybrid System Models},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {2},
pages = {22:1--22:51},
year = {2023},
url = {https://doi.org/10.1145/3561532},
doi = {10.1145/3561532},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/SarwarRB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/Banerjee0CMSS23,
author = {Ansuman Banerjee and
Shayak Chakraborty and
Sourav Chakraborty and
Kuldeep S. Meel and
Uddalok Sarkar and
Sayantan Sen},
editor = {Francisco J. R. Ruiz and
Jennifer G. Dy and
Jan{-}Willem van de Meent},
title = {Testing of Horn Samplers},
booktitle = {International Conference on Artificial Intelligence and Statistics,
25-27 April 2023, Palau de Congressos, Valencia, Spain},
series = {Proceedings of Machine Learning Research},
volume = {206},
pages = {1301--1330},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v206/banerjee23a.html},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/Banerjee0CMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/BhattacharyaSBJNG23,
author = {Arani Bhattacharya and
Paritosh Shukla and
Ansuman Banerjee and
Saumya Jaipuria and
Nanjangud C. Narendra and
Dhruv Garg},
title = {Multitask Scheduling of Computer Vision Workload on Edge Graphical
Processing Units},
booktitle = {15th International Conference on COMmunication Systems {\&} NETworkS,
{COMSNETS} 2023, Bangalore, India, January 3-8, 2023},
pages = {588--593},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMSNETS56262.2023.10041358},
doi = {10.1109/COMSNETS56262.2023.10041358},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comsnets/BhattacharyaSBJNG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BanerjeeCG23,
author = {Ansuman Banerjee and
Kingshuk Chatterjee and
Shibashis Guha},
editor = {Frank Drewes and
Mikhail Volkov},
title = {Set Augmented Finite Automata over Infinite Alphabets},
booktitle = {Developments in Language Theory - 27th International Conference, {DLT}
2023, Ume{\aa}, Sweden, June 12-16, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13911},
pages = {36--50},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33264-7\_4},
doi = {10.1007/978-3-031-33264-7\_4},
timestamp = {Fri, 26 May 2023 22:41:21 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BanerjeeCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icacs2/JaipuriaBB23,
author = {Saumya Jaipuria and
Arani Bhattacharya and
Ansuman Banerjee},
title = {A Framework for Tile Processing on Edge Servers for Roadside Traffic
Surveillance},
booktitle = {Proceedings of the 7th International Conference on Algorithms, Computing
and Systems, {ICACS} 2023, Larissa, Greece, October 19-21, 2023},
pages = {132--139},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3631908.3631927},
doi = {10.1145/3631908.3631927},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icacs2/JaipuriaBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SarwarRB23,
author = {Mir Md Sajid Sarwar and
Rajarshi Ray and
Ansuman Banerjee},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Explaining Unsolvability of Planning Problems in Hybrid Systems with
Model Reconciliation},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {47--58},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316224},
timestamp = {Fri, 15 Dec 2023 12:01:04 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SarwarRB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GhoshGGB23,
author = {Devleena Ghosh and
Sumana Ghosh and
Raj Kumar Gajavelly and
Ansuman Banerjee},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Harnessing Multiple {BMC} Engines Together for Efficient Formal Verification},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {71--81},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316211},
timestamp = {Sat, 02 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/GhoshGGB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BanerjeeGBM23,
author = {Soham Banerjee and
Sumana Ghosh and
Ansuman Banerjee and
Swarup Kumar Mohalik},
editor = {Cezara Dragoi and
Michael Emmi and
Jingbo Wang},
title = {SMT-Based Modeling and Verification of Spiking Neural Networks: {A}
Case Study},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 24th International
Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13881},
pages = {25--43},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24950-1\_2},
doi = {10.1007/978-3-031-24950-1\_2},
timestamp = {Mon, 30 Jan 2023 14:59:54 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BanerjeeGBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-06514,
author = {Ansuman Banerjee and
Kingshuk Chatterjee and
Shibashis Guha},
title = {Set Augmented Finite Automata over Infinite Alphabets},
journal = {CoRR},
volume = {abs/2311.06514},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.06514},
doi = {10.48550/ARXIV.2311.06514},
eprinttype = {arXiv},
eprint = {2311.06514},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-06514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/RayBM22,
author = {Kaustabha Ray and
Ansuman Banerjee and
Swarup Kumar Mohalik},
title = {Service Selection With Package Bundles and Compatibility Constraints},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {15},
number = {5},
pages = {3031--3046},
year = {2022},
url = {https://doi.org/10.1109/TSC.2021.3075030},
doi = {10.1109/TSC.2021.3075030},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/RayBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/RayB22,
author = {Kaustabha Ray and
Ansuman Banerjee},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Preference-Aware Computation Offloading for IoT in Multi-access Edge
Computing Using Probabilistic Model Checking},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {275--297},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_14},
doi = {10.1007/978-3-031-16336-4\_14},
timestamp = {Tue, 21 Mar 2023 20:54:44 +0100},
biburl = {https://dblp.org/rec/conf/qest/RayB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-04719,
author = {Sukanta Bhattacharjee and
Ansuman Banerjee and
Krishnendu Chakrabarty and
Bhargab B. Bhattacharya},
title = {A Framework for Automated Correctness Checking of Biochemical Protocol
Realizations on Digital Microfluidic Biochips},
journal = {CoRR},
volume = {abs/2211.04719},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.04719},
doi = {10.48550/ARXIV.2211.04719},
eprinttype = {arXiv},
eprint = {2211.04719},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-04719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/RoyBB21,
author = {Pushpita Roy and
Ansuman Banerjee and
Bhargab B. Bhattacharya},
title = {A framework for end-to-end verification for digital microfluidics},
journal = {Innov. Syst. Softw. Eng.},
volume = {17},
number = {3},
pages = {231--245},
year = {2021},
url = {https://doi.org/10.1007/s11334-021-00398-3},
doi = {10.1007/S11334-021-00398-3},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/RoyBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/RayB21,
author = {Kaustabha Ray and
Ansuman Banerjee},
title = {Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe
Reinforcement Learning},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {6},
pages = {109:1--109:33},
year = {2021},
url = {https://doi.org/10.1145/3475991},
doi = {10.1145/3475991},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/RayB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/RayB21,
author = {Kaustabha Ray and
Ansuman Banerjee},
title = {Modeling and Verification of Service Allocation Policies for Multi-Access
Edge Computing Using Probabilistic Model Checking},
journal = {{IEEE} Trans. Netw. Serv. Manag.},
volume = {18},
number = {3},
pages = {3400--3414},
year = {2021},
url = {https://doi.org/10.1109/TNSM.2021.3086146},
doi = {10.1109/TNSM.2021.3086146},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnsm/RayB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/RoyB21,
author = {Pushpita Roy and
Ansuman Banerjee},
title = {A Framework for Validation of Synthesized MicroElectrode Dot Array
Actuations for Digital Microfluidic Biochips},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {26},
number = {6},
pages = {46:1--46:36},
year = {2021},
url = {https://doi.org/10.1145/3460437},
doi = {10.1145/3460437},
timestamp = {Fri, 17 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/RoyB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge/RayB21,
author = {Kaustabha Ray and
Ansuman Banerjee},
title = {A Framework for Analyzing Resource Allocation Policies for Multi-Access
Edge Computing},
booktitle = {{IEEE} International Conference on Edge Computing, {EDGE} 2021, Chicago,
IL, USA, September 5-10, 2021},
pages = {102--110},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EDGE53862.2021.00023},
doi = {10.1109/EDGE53862.2021.00023},
timestamp = {Wed, 02 Mar 2022 10:41:25 +0100},
biburl = {https://dblp.org/rec/conf/edge/RayB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PandaRB21,
author = {Subrat Prasad Panda and
Kaustabha Ray and
Ansuman Banerjee},
editor = {Hakim Hacid and
Odej Kao and
Massimo Mecella and
Naouel Moha and
Hye{-}young Paik},
title = {Service Allocation/Placement in Multi-Access Edge Computing with Workload
Fluctuations},
booktitle = {Service-Oriented Computing - 19th International Conference, {ICSOC}
2021, Virtual Event, November 22-25, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13121},
pages = {747--755},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91431-8\_51},
doi = {10.1007/978-3-030-91431-8\_51},
timestamp = {Fri, 19 Nov 2021 11:48:40 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/PandaRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/PandaBB21,
author = {Subrat Prasad Panda and
Ansuman Banerjee and
Arani Bhattacharya},
editor = {Carl K. Chang and
Ernesto Daminai and
Jing Fan and
Parisa Ghodous and
Michael Maximilien and
Zhongjie Wang and
Robert Ward and
Jia Zhang},
title = {User Allocation in Mobile Edge Computing: {A} Deep Reinforcement Learning
Approach},
booktitle = {2021 {IEEE} International Conference on Web Services, {ICWS} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {447--458},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICWS53863.2021.00064},
doi = {10.1109/ICWS53863.2021.00064},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/icws/PandaBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12418,
author = {Moumita Das and
Rajarshi Ray and
Swarup Kumar Mohalik and
Ansuman Banerjee},
title = {Fast Falsification of Neural Networks using Property Directed Testing},
journal = {CoRR},
volume = {abs/2104.12418},
year = {2021},
url = {https://arxiv.org/abs/2104.12418},
eprinttype = {arXiv},
eprint = {2104.12418},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/DasBCS20,
author = {Moumita Das and
Ansuman Banerjee and
Mainak Chaudhuri and
Bhaskar Sardar},
title = {Shared Pattern History Tables in Multicomponent Branch Predictors
With a Dealiasing Cache},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {12},
number = {3},
pages = {95--98},
year = {2020},
url = {https://doi.org/10.1109/LES.2019.2957512},
doi = {10.1109/LES.2019.2957512},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esl/DasBCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcos/RoyBB20,
author = {Pushpita Roy and
Ansuman Banerjee and
Bhargab B. Bhattacharya},
title = {A Methodology for Root-Causing In-field Attacks on Microfluidic Executions},
journal = {Trans. Comput. Sci.},
volume = {35},
pages = {119--152},
year = {2020},
url = {https://doi.org/10.1007/978-3-662-61092-3\_7},
doi = {10.1007/978-3-662-61092-3\_7},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcos/RoyBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/RoyBWB20,
author = {Pushpita Roy and
Ansuman Banerjee and
Robert Wille and
Bhargab B. Bhattacharya},
title = {Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures
for Optimizing Droplet Routing in Biochips},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {25},
number = {1},
pages = {10:1--10:37},
year = {2020},
url = {https://doi.org/10.1145/3365993},
doi = {10.1145/3365993},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/RoyBWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/ChattopadhyayB20,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
title = {QoS Constrained Large Scale Web Service Composition Using Abstraction
Refinement},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {13},
number = {3},
pages = {529--544},
year = {2020},
url = {https://doi.org/10.1109/TSC.2017.2707548},
doi = {10.1109/TSC.2017.2707548},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/ChattopadhyayB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/ChattopadhyayB20,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
title = {QoS-aware Automatic Web Service Composition with Multiple Objectives},
journal = {{ACM} Trans. Web},
volume = {14},
number = {3},
pages = {12:1--12:38},
year = {2020},
url = {https://doi.org/10.1145/3389147},
doi = {10.1145/3389147},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tweb/ChattopadhyayB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/BaruaPSB20,
author = {Hrishav Bakul Barua and
Himadri Sekhar Paul and
Chayan Sarkar and
Ansuman Banerjee},
editor = {Nandini Mukherjee and
Sriram V. Pemmaraju},
title = {A study of approximation in a collaborative multi-agent system},
booktitle = {{ICDCN} 2020: 21st International Conference on Distributed Computing
and Networking, Kolkata, India, January 4-7, 2020},
pages = {51:1--51:4},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3369740.3373015},
doi = {10.1145/3369740.3373015},
timestamp = {Thu, 05 Mar 2020 13:53:07 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/BaruaPSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PandaRB20,
author = {Subrat Prasad Panda and
Kaustabha Ray and
Ansuman Banerjee},
editor = {Eleanna Kafeza and
Boualem Benatallah and
Fabio Martinelli and
Hakim Hacid and
Athman Bouguettaya and
Hamid Motahari},
title = {Dynamic Edge User Allocation with User Specified QoS Preferences},
booktitle = {Service-Oriented Computing - 18th International Conference, {ICSOC}
2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12571},
pages = {187--197},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65310-1\_15},
doi = {10.1007/978-3-030-65310-1\_15},
timestamp = {Wed, 16 Dec 2020 11:19:25 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/PandaRB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/RayB20,
author = {Kaustabha Ray and
Ansuman Banerjee},
title = {Trace-driven Modeling and Verification of a Mobility-Aware Service
Allocation and Migration Policy for Mobile Edge Computing},
booktitle = {2020 {IEEE} International Conference on Web Services, {ICWS} 2020,
Beijing, China, October 19-23, 2020},
pages = {310--317},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICWS49710.2020.00047},
doi = {10.1109/ICWS49710.2020.00047},
timestamp = {Mon, 11 Jan 2021 13:35:30 +0100},
biburl = {https://dblp.org/rec/conf/icws/RayB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesec/RayBN20,
author = {Kaustabha Ray and
Ansuman Banerjee and
Nanjangud C. Narendra},
title = {Proactive Microservice Placement and Migration for Mobile Edge Computing},
booktitle = {5th {IEEE/ACM} Symposium on Edge Computing, {SEC} 2020, San Jose,
CA, USA, November 12-14, 2020},
pages = {28--41},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SEC50012.2020.00010},
doi = {10.1109/SEC50012.2020.00010},
timestamp = {Tue, 02 Mar 2021 09:16:51 +0100},
biburl = {https://dblp.org/rec/conf/ieeesec/RayBN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/MitraCB20,
author = {Sayandeep Mitra and
Pavan Kumar Chittimalli and
Ansuman Banerjee},
editor = {Sanjeev Jain and
Atul Gupta and
David Lo and
Diptikalyan Saha and
Richa Sharma},
title = {Analyzing Business Systems comprised of Rules and Processes using
Decision Diagrams},
booktitle = {{ISEC} 2020: 13th Innovations in Software Engineering Conference,
Jabalpur, India, February 27-29, 2020},
pages = {17:1--17:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385032.3385051},
doi = {10.1145/3385032.3385051},
timestamp = {Fri, 27 Mar 2020 11:20:30 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/MitraCB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Sarwar0B20,
author = {Mir Md Sajid Sarwar and
Rajarshi Ray and
Ansuman Banerjee},
title = {A Contrastive Plan Explanation Framework for Hybrid System Models},
booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
pages = {1--11},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MEMOCODE51338.2020.9315040},
doi = {10.1109/MEMOCODE51338.2020.9315040},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Sarwar0B20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/ChattopadhyayGB20,
author = {Soumi Chattopadhyay and
Rahul Ghosh and
Ansuman Banerjee and
Avantika Gupta and
Arpit Jain},
editor = {Fabiano Dalpiaz and
Jelena Zdravkovic and
Pericles Loucopoulos},
title = {{FINESSE:} Fair Incentives for Enterprise Employees},
booktitle = {Research Challenges in Information Science - 14th International Conference,
{RCIS} 2020, Limassol, Cyprus, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {385},
pages = {191--211},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50316-1\_12},
doi = {10.1007/978-3-030-50316-1\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/ChattopadhyayGB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpsa/DasBS19,
author = {Moumita Das and
Ansuman Banerjee and
Bhaskar Sardar},
title = {A framework for evaluating branch predictors using multiple performance
parameters},
journal = {Int. J. High Perform. Syst. Archit.},
volume = {8},
number = {4},
pages = {193--224},
year = {2019},
url = {https://doi.org/10.1504/IJHPSA.2019.104938},
doi = {10.1504/IJHPSA.2019.104938},
timestamp = {Thu, 30 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhpsa/DasBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BhattacharjeeBH19,
author = {Sukanta Bhattacharjee and
Ansuman Banerjee and
Tsung{-}Yi Ho and
Krishnendu Chakrabarty and
Bhargab B. Bhattacharya},
title = {Efficient Generation of Dilution Gradients With Digital Microfluidic
Biochips},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {38},
number = {5},
pages = {874--887},
year = {2019},
url = {https://doi.org/10.1109/TCAD.2018.2834413},
doi = {10.1109/TCAD.2018.2834413},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BhattacharjeeBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/NongpohRDB19,
author = {Bernard Nongpoh and
Rajarshi Ray and
Moumita Das and
Ansuman Banerjee},
title = {Enhancing Speculative Execution With Selective Approximate Computing},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {24},
number = {2},
pages = {26:1--26:29},
year = {2019},
url = {https://doi.org/10.1145/3307651},
doi = {10.1145/3307651},
timestamp = {Fri, 10 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/NongpohRDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acss/RoyBB19,
author = {Pushpita Roy and
Ansuman Banerjee and
Bhargab B. Bhattacharya},
editor = {Rituparna Chaki and
Agostino Cortesi and
Khalid Saeed and
Nabendu Chaki},
title = {Debugging Errors in Microfluidic Executions},
booktitle = {Advanced Computing and Systems for Security - Volume Ten, 6th International
Doctoral Symposium on Applied Computation and Security, {ACSS} 2019,
Kolkata, India, 12-13 March, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {996},
pages = {143--158},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-981-13-8969-6\_9},
doi = {10.1007/978-981-13-8969-6\_9},
timestamp = {Fri, 30 Aug 2019 10:38:11 +0200},
biburl = {https://dblp.org/rec/conf/acss/RoyBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/DasBS19,
author = {Moumita Das and
Ansuman Banerjee and
Bhaskar Sardar},
editor = {Mahmut Taylan Kandemir and
Alexandra Jimborean and
Tipp Moseley},
title = {A Shared {BTB} Design for Multicore Systems},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2019, Washington, DC, USA, February 16-20, 2019},
pages = {267--268},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CGO.2019.8661183},
doi = {10.1109/CGO.2019.8661183},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/cgo/DasBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ChattopadhyayB19,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
editor = {Sami Yangui and
Ismael Bouassida Rodriguez and
Khalil Drira and
Zahir Tari},
title = {QoS Value Prediction Using a Combination of Filtering Method and Neural
Network Regression},
booktitle = {Service-Oriented Computing - 17th International Conference, {ICSOC}
2019, Toulouse, France, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11895},
pages = {135--150},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33702-5\_11},
doi = {10.1007/978-3-030-33702-5\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/ChattopadhyayB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SamaddarREB019,
author = {Ankita Samaddar and
Zahra RahimiNasab and
Arvind Easwaran and
Ansuman Banerjee and
Xue Bai},
title = {Linearization based Safety Verification of a Glucose Control Protocol},
booktitle = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
pages = {221--228},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISORC.2019.00047},
doi = {10.1109/ISORC.2019.00047},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SamaddarREB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PandeySB19,
author = {Pallavi Pandey and
Anupam Sarkar and
Ansuman Banerjee},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Triforce {QNX} Syscall Fuzzer},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {59--60},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00043},
doi = {10.1109/ISSREW.2019.00043},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/PandeySB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Nongpoh0B19,
author = {Bernard Nongpoh and
Rajarshi Ray and
Ansuman Banerjee},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {Approximate computing for multithreaded programs in shared memory
architectures},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {11:1--11:9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361209},
doi = {10.1145/3359986.3361209},
timestamp = {Sat, 20 May 2023 11:52:14 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Nongpoh0B19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/RayBM19,
author = {Kaustabha Ray and
Ansuman Banerjee and
Swarup Kumar Mohalik},
title = {Web Service Selection with Correlations: {A} Feature-Based Abstraction
Refinement Approach},
booktitle = {12th {IEEE} Conference on Service-Oriented Computing and Applications,
{SOCA} 2019, Kaohsiung, Taiwan, November 18-21, 2019},
pages = {33--40},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SOCA.2019.00013},
doi = {10.1109/SOCA.2019.00013},
timestamp = {Fri, 17 Jan 2020 14:35:08 +0100},
biburl = {https://dblp.org/rec/conf/soca/RayBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/ChattopadhyayB19,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
title = {Towards Scalable Semantic Service Composition},
booktitle = {12th {IEEE} Conference on Service-Oriented Computing and Applications,
{SOCA} 2019, Kaohsiung, Taiwan, November 18-21, 2019},
pages = {41--48},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SOCA.2019.00014},
doi = {10.1109/SOCA.2019.00014},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soca/ChattopadhyayB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/LuBBHC18,
author = {Guan{-}Ruei Lu and
Ansuman Banerjee and
Bhargab B. Bhattacharya and
Tsung{-}Yi Ho and
Hung{-}Ming Chen},
title = {Reliability Hardening Mechanisms in Cyber-Physical Digital-Microfluidic
Biochips},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {14},
number = {3},
pages = {34:1--34:22},
year = {2018},
url = {https://doi.org/10.1145/3229052},
doi = {10.1145/3229052},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jetc/LuBBHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/LuKCBBHC18,
author = {Guan{-}Ruei Lu and
Chun{-}Hao Kuo and
Kuen{-}Cheng Chiang and
Ansuman Banerjee and
Bhargab B. Bhattacharya and
Tsung{-}Yi Ho and
Hung{-}Ming Chen},
title = {Flexible Droplet Routing in Active Matrix-Based Digital Microfluidic
Biochips},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {23},
number = {3},
pages = {37:1--37:25},
year = {2018},
url = {https://doi.org/10.1145/3184388},
doi = {10.1145/3184388},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/LuKCBBHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ChattopadhyayB18,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
editor = {Claus Pahl and
Maja Vukovic and
Jianwei Yin and
Qi Yu},
title = {A Variation Aware Composition Model for Dynamic Web Service Environments},
booktitle = {Service-Oriented Computing - 16th International Conference, {ICSOC}
2018, Hangzhou, China, November 12-15, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11236},
pages = {694--713},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03596-9\_50},
doi = {10.1007/978-3-030-03596-9\_50},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/ChattopadhyayB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nss/BasakchowdhuryB18,
author = {Animesh Basak Chowdhury and
Ansuman Banerjee and
Bhargab B. Bhattacharya},
editor = {Man Ho Au and
Siu{-}Ming Yiu and
Jin Li and
Xiapu Luo and
Cong Wang and
Aniello Castiglione and
Kamil Kluczniak},
title = {{ATPG} Binning and SAT-Based Approach to Hardware Trojan Detection
for Safety-Critical Systems},
booktitle = {Network and System Security - 12th International Conference, {NSS}
2018, Hong Kong, China, August 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11058},
pages = {391--410},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02744-5\_29},
doi = {10.1007/978-3-030-02744-5\_29},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/nss/BasakchowdhuryB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-02317,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
title = {QoS aware Automatic Web Service Composition with Multiple objectives},
journal = {CoRR},
volume = {abs/1809.02317},
year = {2018},
url = {http://arxiv.org/abs/1809.02317},
eprinttype = {arXiv},
eprint = {1809.02317},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-02317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-07045,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
title = {A Methodology for Search Space Reduction in QoS Aware Semantic Web
Service Composition},
journal = {CoRR},
volume = {abs/1809.07045},
year = {2018},
url = {http://arxiv.org/abs/1809.07045},
eprinttype = {arXiv},
eprint = {1809.07045},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-07045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/NandiGBB17,
author = {Bipin B. Nandi and
Sasthi C. Ghosh and
Ansuman Banerjee and
Nilanjan Banerjee},
title = {Customer on-boarding strategies for cloud computing services with
dynamic service-level agreements},
journal = {Serv. Oriented Comput. Appl.},
volume = {11},
number = {1},
pages = {47--63},
year = {2017},
url = {https://doi.org/10.1007/s11761-016-0194-5},
doi = {10.1007/S11761-016-0194-5},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/NandiGBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BhattacharjeeCB17,
author = {Sukanta Bhattacharjee and
Sharbatanu Chatterjee and
Ansuman Banerjee and
Tsung{-}Yi Ho and
Krishnendu Chakrabarty and
Bhargab B. Bhattacharya},
title = {Adaptation of Biochemical Protocols to Handle Technology-Change for
Digital Microfluidics},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {36},
number = {3},
pages = {370--383},
year = {2017},
url = {https://doi.org/10.1109/TCAD.2016.2585622},
doi = {10.1109/TCAD.2016.2585622},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/BhattacharjeeCB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NongpohRDB17,
author = {Bernard Nongpoh and
Rajarshi Ray and
Saikat Dutta and
Ansuman Banerjee},
title = {AutoSense: {A} Framework for Automated Sensitivity Analysis of Program
Data},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {12},
pages = {1110--1124},
year = {2017},
url = {https://doi.org/10.1109/TSE.2017.2654251},
doi = {10.1109/TSE.2017.2654251},
timestamp = {Fri, 29 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NongpohRDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/ChattopadhyayBB17,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Nilanjan Banerjee},
title = {A Fast and Scalable Mechanism for Web Service Composition},
journal = {{ACM} Trans. Web},
volume = {11},
number = {4},
pages = {26:1--26:36},
year = {2017},
url = {https://doi.org/10.1145/3098884},
doi = {10.1145/3098884},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tweb/ChattopadhyayBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LuHBBHC17,
author = {Guan{-}Ruei Lu and
Guan{-}Ming Huang and
Ansuman Banerjee and
Bhargab B. Bhattacharya and
Tsung{-}Yi Ho and
Hung{-}Ming Chen},
title = {On reliability hardening in cyber-physical digital-microfluidic biochips},
booktitle = {22nd Asia and South Pacific Design Automation Conference, {ASP-DAC}
2017, Chiba, Japan, January 16-19, 2017},
pages = {518--523},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ASPDAC.2017.7858375},
doi = {10.1109/ASPDAC.2017.7858375},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/LuHBBHC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/BhattacharyaBD17,
author = {Arani Bhattacharya and
Ansuman Banerjee and
Pradipta De},
title = {Scheduling with task duplication for application offloading},
booktitle = {14th {IEEE} Annual Consumer Communications {\&} Networking Conference,
{CCNC} 2017, Las Vegas, NV, USA, January 8-11, 2017},
pages = {678--683},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCNC.2017.7983212},
doi = {10.1109/CCNC.2017.7983212},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/ccnc/BhattacharyaBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChattopadhyayBY17,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Bei Yu},
editor = {David Atienza and
Giorgio Di Natale},
title = {A utility-driven data transmission optimization strategy in large
scale cyber-physical systems},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {1619--1622},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927250},
doi = {10.23919/DATE.2017.7927250},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ChattopadhyayBY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/DasBSS17,
author = {Moumita Das and
Ansuman Banerjee and
Nitesh K. Singh and
Bhaskar Sardar},
editor = {Rudrapatna K. Shyamasundar and
Virendra Singh and
Jaideep Vaidya},
title = {Performance Attacks on Branch Predictors in Embedded Processors with
{SMT} Support},
booktitle = {Information Systems Security - 13th International Conference, {ICISS}
2017, Mumbai, India, December 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10717},
pages = {313--322},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72598-7\_19},
doi = {10.1007/978-3-319-72598-7\_19},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/iciss/DasBSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ised/DasBS17,
author = {Moumita Das and
Ansuman Banerjee and
Bhaskar Sardar},
title = {An empirical study on performance of branch predictors with varying
storage budgets},
booktitle = {7th International Symposium on Embedded Computing and System Design,
{ISED} 2017, Durgapur, India, December 18-20, 2017},
pages = {1--5},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISED.2017.8303913},
doi = {10.1109/ISED.2017.8303913},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ised/DasBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ised/RoyB17,
author = {Pushpita Roy and
Ansuman Banerjee},
title = {Security assessment of synthesized actuation sequences for digital
microfluidic biochips},
booktitle = {7th International Symposium on Embedded Computing and System Design,
{ISED} 2017, Durgapur, India, December 18-20, 2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISED.2017.8303937},
doi = {10.1109/ISED.2017.8303937},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ised/RoyB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ised/SamaddarDB17,
author = {Ankita Samaddar and
Moumita Das and
Ansuman Banerjee},
title = {A new memory scheduling policy for real time systems},
booktitle = {7th International Symposium on Embedded Computing and System Design,
{ISED} 2017, Durgapur, India, December 18-20, 2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISED.2017.8303916},
doi = {10.1109/ISED.2017.8303916},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ised/SamaddarDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vdat/DasBS17,
author = {Moumita Das and
Ansuman Banerjee and
Bhaskar Sardar},
editor = {Brajesh Kumar Kaushik and
Sudeb Dasgupta and
Virendra Singh},
title = {A Framework for Branch Predictor Selection with Aggregation on Multiple
Parameters},
booktitle = {{VLSI} Design and Test - 21st International Symposium, {VDAT} 2017,
Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {711},
pages = {69--74},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-981-10-7470-7\_8},
doi = {10.1007/978-981-10-7470-7\_8},
timestamp = {Sat, 06 Jan 2018 18:41:28 +0100},
biburl = {https://dblp.org/rec/conf/vdat/DasBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/ChattopadhyayBM16,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Tridib Mukherjee},
editor = {Jia Zhang and
John A. Miller and
Xiaofei Xu},
title = {A Framework for Top Service Subscription Recommendations for Service
Assemblers},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2016,
San Francisco, CA, USA, June 27 - July 2, 2016},
pages = {332--339},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SCC.2016.50},
doi = {10.1109/SCC.2016.50},
timestamp = {Thu, 11 Apr 2024 20:25:44 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/ChattopadhyayBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/GhoshGCBD16,
author = {Rahul Ghosh and
Avantika Gupta and
Soumi Chattopadhyay and
Ansuman Banerjee and
Koustuv Dasgupta},
editor = {Jia Zhang and
John A. Miller and
Xiaofei Xu},
title = {CoCOA: {A} Framework for Comparing Aggregate Client Operations in
{BPO} Services},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2016,
San Francisco, CA, USA, June 27 - July 2, 2016},
pages = {539--546},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SCC.2016.76},
doi = {10.1109/SCC.2016.76},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/GhoshGCBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/ChattopadhyayBB16,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Nilanjan Banerjee},
editor = {Jia Zhang and
John A. Miller and
Xiaofei Xu},
title = {A Scalable Rule Engine Architecture for Service Execution Frameworks},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2016,
San Francisco, CA, USA, June 27 - July 2, 2016},
pages = {689--696},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SCC.2016.95},
doi = {10.1109/SCC.2016.95},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/ChattopadhyayBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/MitraDBDH16,
author = {Sayandeep Mitra and
Moumita Das and
Ansuman Banerjee and
Kausik Datta and
Tsung{-}Yi Ho},
title = {A Verification Guided Approach for Selective Program Transformations
for Approximate Computing},
booktitle = {25th {IEEE} Asian Test Symposium, {ATS} 2016, Hiroshima, Japan, November
21-24, 2016},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ATS.2016.28},
doi = {10.1109/ATS.2016.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/MitraDBDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BhattacharjeeCB16,
author = {Debjyoti Bhattacharjee and
Soumi Chattopadhyay and
Ansuman Banerjee},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {{EAST:} Efficient Assertion Simulation techniques},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {1363--1368},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459521/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/BhattacharjeeCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/BhattacharyaBD16,
author = {Arani Bhattacharya and
Ansuman Banerjee and
Pradipta De},
title = {Service Level Guarantee for Mobile Application Offloading in Presence
of Wireless Channel Errors},
booktitle = {2016 {IEEE} Global Communications Conference, {GLOBECOM} 2016, Washington,
DC, USA, December 4-8, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/GLOCOM.2016.7842264},
doi = {10.1109/GLOCOM.2016.7842264},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/BhattacharyaBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/host/RoyB16,
author = {Pushpita Roy and
Ansuman Banerjee},
title = {A new approach for root-causing attacks on digital microfluidic devices},
booktitle = {2016 {IEEE} Asian Hardware-Oriented Security and Trust, AsianHOST
2016, Yilan, Taiwan, December 19-20, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/AsianHOST.2016.7835550},
doi = {10.1109/ASIANHOST.2016.7835550},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/host/RoyB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ChattopadhyayB16,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
editor = {Stephan Reiff{-}Marganiec},
title = {{QSCAS:} QoS Aware Web Service Composition Algorithms with Stochastic
Parameters},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2016, San
Francisco, CA, USA, June 27 - July 2, 2016},
pages = {388--395},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICWS.2016.57},
doi = {10.1109/ICWS.2016.57},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icws/ChattopadhyayB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/momm/DasB16,
author = {Moumita Das and
Ansuman Banerjee},
editor = {Bessam Abdulrazak and
Eric Pardede and
Matthias Steinbauer and
Ismail Khalil and
Gabriele Anderst{-}Kotsis},
title = {Improving Energy Efficiency of Mobile Execution Exploiting Similarity
of Application Control Flow},
booktitle = {Proceedings of the 14th International Conference on Advances in Mobile
Computing and Multi Media, MoMM 2016, Singapore, November 28-30, 2016},
pages = {212--216},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=3011075},
timestamp = {Tue, 06 Nov 2018 11:06:57 +0100},
biburl = {https://dblp.org/rec/conf/momm/DasB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BanerjeePM16,
author = {Ansuman Banerjee and
Himadri Sekhar Paul and
Arijit Mukherjee},
editor = {Florin Pop and
Radu Prodan},
title = {I2oT: Inexactness in IoT},
booktitle = {Proceedings of the Third International Workshop on Adaptive Resource
Management and Scheduling for Cloud Computing, ARMS-CC@PODC 2016,
Chicago, IL, USA, July 25-28, 2016},
pages = {40--45},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2962564.2962567},
doi = {10.1145/2962564.2962567},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BanerjeePM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/HoYB016,
author = {Tsung{-}Yi Ho and
Shigeru Yamashita and
Ansuman Banerjee and
Sudip Roy},
title = {Design of Microfluidic Biochips: Connecting Algorithms and Foundations
of Chip Design to Biochemistry and the Life Sciences},
booktitle = {29th International Conference on {VLSI} Design and 15th International
Conference on Embedded Systems, {VLSID} 2016, Kolkata, India, January
4-8, 2016},
pages = {59--62},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/VLSID.2016.152},
doi = {10.1109/VLSID.2016.152},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/HoYB016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2016formabs,
editor = {Ravindra Naik and
Raveendra Kumar Medicherla and
Ansuman Banerjee},
title = {Proceedings of the International Workshop on Formal Methods for Analysis
of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September
4, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975941},
doi = {10.1145/2975941},
isbn = {978-1-4503-4214-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/2016formabs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChattopadhyayB16a,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
title = {QoS constrained Large Scale Web Service Composition using Abstraction
Refinement},
journal = {CoRR},
volume = {abs/1608.08799},
year = {2016},
url = {http://arxiv.org/abs/1608.08799},
eprinttype = {arXiv},
eprint = {1608.08799},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChattopadhyayB16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/ChattopadhyayDB15,
author = {Soumi Chattopadhyay and
Saikat Dutta and
Ansuman Banerjee},
editor = {Lina Yao and
Xia Xie and
Qingchen Zhang and
Laurence T. Yang and
Albert Y. Zomaya and
Hai Jin},
title = {A Framework for Fast Service Verification and Query Execution for
Boolean Service Rules},
booktitle = {Advances in Services Computing - 9th Asia-Pacific Services Computing
Conference, {APSCC} 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9464},
pages = {17--32},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26979-5\_2},
doi = {10.1007/978-3-319-26979-5\_2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apscc/ChattopadhyayDB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/DuttaCBD15,
author = {Saikat Dutta and
Soumi Chattopadhyay and
Ansuman Banerjee and
Pallab Dasgupta},
title = {A New Approach for Minimal Environment Construction for Modular Property
Verification},
booktitle = {24th {IEEE} Asian Test Symposium, {ATS} 2015, Mumbai, India, November
22-25, 2015},
pages = {205--210},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ATS.2015.42},
doi = {10.1109/ATS.2015.42},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ats/DuttaCBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biocas/KadiyalaSMWLGHB15,
author = {Sai Praveen Kadiyala and
Aritra Sen and
Shubham Mahajan and
Qingyun Wang and
Avinash Lingamneni and
James Sneed German and
Xu Hong and
Ansuman Banerjee and
Krishna V. Palem and
Arindam Basu},
title = {Perceptually guided inexact {DSP} design for power, area efficient
hearing aid},
booktitle = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2015, Atlanta,
GA, USA, October 22-24, 2015},
pages = {1--4},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/BioCAS.2015.7348319},
doi = {10.1109/BIOCAS.2015.7348319},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biocas/KadiyalaSMWLGHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/DasSB15,
author = {Moumita Das and
Bhaskar Sardar and
Ansuman Banerjee},
editor = {Sushil Jajodia and
Chandan Mazumdar},
title = {Attacks on Branch Predictors: An Empirical Exploration},
booktitle = {Information Systems Security - 11th International Conference, {ICISS}
2015, Kolkata, India, December 16-20, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9478},
pages = {511--520},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26961-0\_30},
doi = {10.1007/978-3-319-26961-0\_30},
timestamp = {Wed, 25 Sep 2019 18:06:16 +0200},
biburl = {https://dblp.org/rec/conf/iciss/DasSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ChattopadhyayBP15,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Himadri Sekhar Paul},
editor = {Alex Norta and
Walid Gaaloul and
G. R. Gangadharan and
Hoa Khanh Dam},
title = {On Composition of Checkpoint and Recovery Protocols for Distributed
Systems},
booktitle = {Service-Oriented Computing - {ICSOC} 2015 Workshops - WESOA, RMSOC,
ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9586},
pages = {231--242},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-50539-7\_19},
doi = {10.1007/978-3-662-50539-7\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/ChattopadhyayBP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ChattopadhyayBB15,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Nilanjan Banerjee},
editor = {John A. Miller and
Hong Zhu},
title = {A Scalable and Approximate Mechanism for Web Service Composition},
booktitle = {2015 {IEEE} International Conference on Web Services, {ICWS} 2015,
New York, NY, USA, June 27 - July 2, 2015},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICWS.2015.12},
doi = {10.1109/ICWS.2015.12},
timestamp = {Thu, 11 Apr 2024 20:25:44 +0200},
biburl = {https://dblp.org/rec/conf/icws/ChattopadhyayBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/ChattopadhyayBB15,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Nilanjan Banerjee},
editor = {Indra Neil Sarkar and
Andrew Georgiou and
Paulo Mazzoncini de Azevedo Marques},
title = {A Scalable Architecture for Rule Engine Based Clinical Decision Support
Systems},
booktitle = {{MEDINFO} 2015: eHealth-enabled Health - Proceedings of the 15th World
Congress on Health and Biomedical Informatics, S{\~{a}}o Paulo, Brazil,
19-23 August 2015},
series = {Studies in Health Technology and Informatics},
volume = {216},
pages = {947},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-564-7-947},
doi = {10.3233/978-1-61499-564-7-947},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medinfo/ChattopadhyayBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/momm/DashB15,
author = {Ansuman Dash and
Ansuman Banerjee},
editor = {Liming Luke Chen and
Matthias Steinbauer and
Ismail Khalil and
Gabriele Anderst{-}Kotsis},
title = {Application State Refinement for Scheduling Applications on Mobile
Devices},
booktitle = {Proceedings of the 13th International Conference on Advances in Mobile
Computing and Multimedia, MoMM 2015, Brussels, Belgium, December 11-13,
2015},
pages = {131--139},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2837126.2837159},
doi = {10.1145/2837126.2837159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/momm/DashB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nas/DuttaDB15,
author = {Saikat Dutta and
Moumita Das and
Ansuman Banerjee},
title = {Enhancing branch prediction using software evolution},
booktitle = {10th {IEEE} International Conference on Networking, Architecture and
Storage, {NAS} 2015, Boston, MA, USA, August 6-7, 2015},
pages = {295--304},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/NAS.2015.7255211},
doi = {10.1109/NAS.2015.7255211},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nas/DuttaDB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BhattacharyaBD15,
author = {Arani Bhattacharya and
Ansuman Banerjee and
Pradipta De},
editor = {Florin Pop and
Maria Potop{-}Butucaru},
title = {Parametric Analysis of Mobile Cloud Computing Frameworks Using Simulation
Modeling},
booktitle = {Adaptive Resource Management and Scheduling for Cloud Computing -
Second International Workshop, {ARMS-CC} 2015, Held in Conjunction
with {ACM} Symposium on Principles of Distributed Computing, {PODC}
2015, Donostia-San Sebasti{\'{a}}n, Spain, July 20, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9438},
pages = {32--48},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28448-4\_3},
doi = {10.1007/978-3-319-28448-4\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/podc/BhattacharyaBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/PaulDBM15,
author = {Himadri Sekhar Paul and
Pubali Datta and
Ansuman Banerjee and
Arijit Mukherjee},
editor = {Florin Pop and
Maria Potop{-}Butucaru},
title = {Compute on the Go: {A} Case of Mobile-Cloud Collaborative Computing
Under Mobility},
booktitle = {Adaptive Resource Management and Scheduling for Cloud Computing -
Second International Workshop, {ARMS-CC} 2015, Held in Conjunction
with {ACM} Symposium on Principles of Distributed Computing, {PODC}
2015, Donostia-San Sebasti{\'{a}}n, Spain, July 20, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9438},
pages = {78--90},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28448-4\_6},
doi = {10.1007/978-3-319-28448-4\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/PaulDBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/ChattopadhyayB15,
author = {Soumi Chattopadhyay and
Ansuman Banerjee},
editor = {Ioan Raicu and
Omer F. Rana and
Rajkumar Buyya},
title = {Algorithmic Strategies for Sensing-as-a-Service in the Internet-of-Things
Era},
booktitle = {8th {IEEE/ACM} International Conference on Utility and Cloud Computing,
{UCC} 2015, Limassol, Cyprus, December 7-10, 2015},
pages = {387--390},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.ieeecomputersociety.org/10.1109/UCC.2015.62},
doi = {10.1109/UCC.2015.62},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ucc/ChattopadhyayB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vdat/BanerjeeMSB15,
author = {Ansuman Banerjee and
Arijit Mondal and
Arnab Sarkar and
Santosh Biswas},
title = {Real-time embedded systems analysis - From theory to practice},
booktitle = {19th International Symposium on {VLSI} Design and Test, {VDAT} 2015,
Ahmedabad, India, June 26-29, 2015},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISVDAT.2015.7208162},
doi = {10.1109/ISVDAT.2015.7208162},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vdat/BanerjeeMSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/BhattacharjeeBC15,
author = {Debjyoti Bhattacharjee and
Ansuman Banerjee and
Anupam Chattopadhyay},
title = {EvoDeb: Debugging Evolving Hardware Designs},
booktitle = {28th International Conference on {VLSI} Design, {VLSID} 2015, Bangalore,
India, January 3-7, 2015},
pages = {481--486},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/VLSID.2015.87},
doi = {10.1109/VLSID.2015.87},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/BhattacharjeeBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/BhattacharjeeBB14,
author = {Sukanta Bhattacharjee and
Ansuman Banerjee and
Bhargab B. Bhattacharya},
title = {Sample preparation with multiple dilutions on digital microfluidic
biochips},
journal = {{IET} Comput. Digit. Tech.},
volume = {8},
number = {1},
pages = {49--58},
year = {2014},
url = {https://doi.org/10.1049/iet-cdt.2013.0053},
doi = {10.1049/IET-CDT.2013.0053},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-cdt/BhattacharjeeBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/DashB14,
author = {Ansuman Dash and
Ansuman Banerjee},
title = {When to Schedule an Application? An Energy-Aware Decision},
booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology
and Science, CloudCom 2014, Singapore, December 15-18, 2014},
pages = {704--707},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CloudCom.2014.41},
doi = {10.1109/CLOUDCOM.2014.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/DashB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChakrabartyBB14,
author = {Krishnendu Chakrabarty and
Bhargab B. Bhattacharya and
Ansuman Banerjee},
editor = {Yao{-}Wen Chang},
title = {Design automation for biochemistry synthesis on a digital microfluidic
lab-on-a-chip},
booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2014, San Jose, CA, USA, November 3-6, 2014},
pages = {286--288},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICCAD.2014.7001364},
doi = {10.1109/ICCAD.2014.7001364},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/ChakrabartyBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/BhattacharyaBS14,
author = {Arani Bhattacharya and
Ansuman Banerjee and
Susmita Sur{-}Kolay},
editor = {Raja Natarajan},
title = {Energy-Aware {H.264} Decoding},
booktitle = {Distributed Computing and Internet Technology - 10th International
Conference, {ICDCIT} 2014, Bhubaneswar, India, February 6-9, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8337},
pages = {200--211},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04483-5\_21},
doi = {10.1007/978-3-319-04483-5\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/BhattacharyaBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BanerjeePMDD14,
author = {Ansuman Banerjee and
Himadri Sekhar Paul and
Arijit Mukherjee and
Pubali Datta and
Sajal K. Das},
title = {An access point to device association technique for optimized data
transfer in mobile grids},
booktitle = {20th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2014, Hsinchu, Taiwan, December 16-19, 2014},
pages = {774--779},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PADSW.2014.7097881},
doi = {10.1109/PADSW.2014.7097881},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/BanerjeePMDD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BanerjeePMDD14,
author = {Ansuman Banerjee and
Himadri Sekhar Paul and
Arijit Mukherjee and
Swarnava Dey and
Pubali Datta},
editor = {Florin Pop and
Maria Potop{-}Butucaru},
title = {A Framework for Speculative Scheduling and Device Selection for Task
Execution on a Mobile Cloud},
booktitle = {Adaptive Resource Management and Scheduling for Cloud Computing -
First International Workshop, {ARMS-CC} 2014, held in Conjunction
with {ACM} Symposium on Principles of Distributed Computing, {PODC}
2014, Paris, France, July 15, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8907},
pages = {36--51},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13464-2\_4},
doi = {10.1007/978-3-319-13464-2\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/BanerjeePMDD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/DeCB14,
author = {Barun Kumar De and
Anupam Chattopadhyay and
Ansuman Banerjee},
title = {Tutorial {T2B:} Cost / Application / Time to Market Driven SoC Design
and Manufacturing Strategy},
booktitle = {2014 27th International Conference on {VLSI} Design, {VLSID} 2014,
and 2014 13th International Conference on Embedded Systems, Mumbai,
India, January 5-9, 2014},
pages = {3--4},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/VLSID.2014.116},
doi = {10.1109/VLSID.2014.116},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/DeCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/BhattacharjeeBCB14,
author = {Sukanta Bhattacharjee and
Ansuman Banerjee and
Krishnendu Chakrabarty and
Bhargab B. Bhattacharya},
title = {Correctness Checking of Bio-chemical Protocol Realizations on a Digital
Microfluidic Biochip},
booktitle = {2014 27th International Conference on {VLSI} Design, {VLSID} 2014,
and 2014 13th International Conference on Embedded Systems, Mumbai,
India, January 5-9, 2014},
pages = {504--509},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/VLSID.2014.94},
doi = {10.1109/VLSID.2014.94},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/BhattacharjeeBCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/MukherjeePDB14,
author = {Arijit Mukherjee and
Himadri Sekhar Paul and
Swarnava Dey and
Ansuman Banerjee},
title = {{ANGELS} for distributed analytics in IoT},
booktitle = {{IEEE} World Forum on Internet of Things, WF-IoT 2014, Seoul, South
Korea, March 6-8, 2014},
pages = {565--570},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WF-IoT.2014.6803230},
doi = {10.1109/WF-IOT.2014.6803230},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wf-iot/MukherjeePDB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/MitraBDGK13,
author = {Srobona Mitra and
Ansuman Banerjee and
Pallab Dasgupta and
Priyankar Ghosh and
Harish Kumar},
title = {Formal Guarantees for Localized Bug Fixes},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {32},
number = {8},
pages = {1274--1287},
year = {2013},
url = {https://doi.org/10.1109/TCAD.2013.2252055},
doi = {10.1109/TCAD.2013.2252055},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/MitraBDGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/HazraMDPHBM13,
author = {Aritra Hazra and
Rajdeep Mukherjee and
Pallab Dasgupta and
Ajit Pal and
Kevin Harer and
Ansuman Banerjee and
Subhankar Mukherjee},
title = {{POWER-TRUCTOR:} An Integrated Tool Flow for Formal Verification and
Coverage of Architectural Power Intent},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {32},
number = {11},
pages = {1801--1813},
year = {2013},
url = {https://doi.org/10.1109/TCAD.2013.2267454},
doi = {10.1109/TCAD.2013.2267454},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/HazraMDPHBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/MitraBDK13,
author = {Srobona Mitra and
Ansuman Banerjee and
Pallab Dasgupta and
Harish Kumar},
title = {Counterexample Ranking Using Mined Invariants},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {32},
number = {12},
pages = {1978--1991},
year = {2013},
url = {https://doi.org/10.1109/TCAD.2013.2276627},
doi = {10.1109/TCAD.2013.2276627},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/MitraBDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/NandiPBG13,
author = {Bipin B. Nandi and
Himadri Sekhar Paul and
Ansuman Banerjee and
Sasthi C. Ghosh},
title = {Fault Tolerance as a Service},
booktitle = {2013 {IEEE} Sixth International Conference on Cloud Computing, Santa
Clara, CA, USA, June 28 - July 3, 2013},
pages = {446--453},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CLOUD.2013.75},
doi = {10.1109/CLOUD.2013.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/NandiPBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JainDBGXZ13,
author = {Nehul Jain and
Saikat Dutta and
Ansuman Banerjee and
Anil Kumar Ghosh and
Lihua Xu and
Huibiao Zhu},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Using Daikon to Prioritize and Group Unit Bugs},
booktitle = {Formal Aspects of Component Software - 10th International Symposium,
{FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8348},
pages = {215--233},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07602-7\_14},
doi = {10.1007/978-3-319-07602-7\_14},
timestamp = {Fri, 09 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/JainDBGXZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/NandiBGB13,
author = {Bipin B. Nandi and
Ansuman Banerjee and
Sasthi C. Ghosh and
Nilanjan Banerjee},
editor = {Filip De Turck and
Yixin Diao and
Choong Seon Hong and
Deep Medhi and
Ramin Sadre},
title = {Dynamic {SLA} based elastic cloud service management: {A} SaaS perspective},
booktitle = {2013 {IFIP/IEEE} International Symposium on Integrated Network Management
{(IM} 2013), Ghent, Belgium, May 27-31, 2013},
pages = {60--67},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6572970/},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/NandiBGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ised/BhattacharjeeBH13,
author = {Sukanta Bhattacharjee and
Ansuman Banerjee and
Tsung{-}Yi Ho and
Krishnendu Chakrabarty and
Bhargab B. Bhattacharya},
title = {On Producing Linear Dilution Gradient of a Sample with a Digital Microfluidic
Biochip},
booktitle = {2013 International Symposium on Electronic System Design, Singapore,
December 10-12, 2013},
pages = {77--81},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISED.2013.22},
doi = {10.1109/ISED.2013.22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ised/BhattacharjeeBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/BanerjeeMPD13,
author = {Ansuman Banerjee and
Arijit Mukherjee and
Himadri Sekhar Paul and
Swarnava Dey},
editor = {Tridib Mukherjee and
Anirban Mondal},
title = {Offloading work to mobile devices: an availability-aware data partitioning
approach},
booktitle = {Proceedings of the First International Workshop on Middleware for
Cloud-enabled Sensing, {MCS} 2013, Beijing, China, December 9-13,
2013},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2541603.2541605},
doi = {10.1145/2541603.2541605},
timestamp = {Tue, 06 Nov 2018 16:57:13 +0100},
biburl = {https://dblp.org/rec/conf/middleware/BanerjeeMPD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/ChattopadhyayBB13,
author = {Soumi Chattopadhyay and
Ansuman Banerjee and
Nilanjan Banerjee},
editor = {Ivan Stojmenovic and
Zixue Cheng and
Song Guo},
title = {A Data Distribution Model for Large-Scale Context Aware Systems},
booktitle = {Mobile and Ubiquitous Systems: Computing, Networking, and Services
- 10th International Conference, {MOBIQUITOUS} 2013, Tokyo, Japan,
December 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {131},
pages = {615--627},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-11569-6\_48},
doi = {10.1007/978-3-319-11569-6\_48},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobiquitous/ChattopadhyayBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vdat/BhattacharyaBSBK13,
author = {Arani Bhattacharya and
Ansuman Banerjee and
Susmita Sur{-}Kolay and
Prasenjit Basu and
Bhaskar J. Karmakar},
editor = {Manoj Singh Gaur and
Mark Zwolinski and
Vijay Laxmi and
Dharmendar Boolchandani and
Virendra Singh and
Adit D. Singh},
title = {A Cache-Aware Strategy for {H.264} Decoding on Multi-processor Architectures},
booktitle = {{VLSI} Design and Test, 17th International Symposium, {VDAT} 2013,
Jaipur, India, July 27-30, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {382},
pages = {194--203},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-42024-5\_24},
doi = {10.1007/978-3-642-42024-5\_24},
timestamp = {Tue, 21 Mar 2023 20:02:59 +0100},
biburl = {https://dblp.org/rec/conf/vdat/BhattacharyaBSBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BhattacharjeeBHCB13,
author = {Sukanta Bhattacharjee and
Ansuman Banerjee and
Tsung{-}Yi Ho and
Krishnendu Chakrabarty and
Bhargab B. Bhattacharya},
title = {Algorithms for Producing Linear Dilution Gradient with Digital Microfluidics},
journal = {CoRR},
volume = {abs/1307.1251},
year = {2013},
url = {http://arxiv.org/abs/1307.1251},
eprinttype = {arXiv},
eprint = {1307.1251},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BhattacharjeeBHCB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BanerjeeRDCRG12,
author = {Ansuman Banerjee and
Sayak Ray and
Pallab Dasgupta and
P. P. Chakrabarti and
S. Ramesh and
P. Vignesh V. Ganesan},
title = {A dynamic assertion-based verification platform for validation of
{UML} designs},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {37},
number = {1},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.1145/2088883.2088891},
doi = {10.1145/2088883.2088891},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/BanerjeeRDCRG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/DasBD12,
author = {Sourasis Das and
Ansuman Banerjee and
Pallab Dasgupta},
title = {Early Analysis of Critical Faults: An Approach to Test Generation
From Formal Specifications},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {31},
number = {3},
pages = {447--451},
year = {2012},
url = {https://doi.org/10.1109/TCAD.2011.2171183},
doi = {10.1109/TCAD.2011.2171183},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/DasBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/Banerjee12,
author = {Ansuman Banerjee},
title = {Verifying Coalitions in 3-Party Systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {31},
number = {9},
pages = {1439--1451},
year = {2012},
url = {https://doi.org/10.1109/TCAD.2012.2194491},
doi = {10.1109/TCAD.2012.2194491},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/Banerjee12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/NandiBGB12,
author = {Bipin B. Nandi and
Ansuman Banerjee and
Sasthi C. Ghosh and
Nilanjan Banerjee},
editor = {Louise E. Moser and
Manish Parashar and
Patrick C. K. Hung},
title = {Stochastic {VM} Multiplexing for Datacenter Consolidation},
booktitle = {2012 {IEEE} Ninth International Conference on Services Computing,
Honolulu, HI, USA, June 24-29, 2012},
pages = {114--121},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SCC.2012.94},
doi = {10.1109/SCC.2012.94},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/NandiBGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/HazraDBH12,
author = {Aritra Hazra and
Pallab Dasgupta and
Ansuman Banerjee and
Kevin Harer},
title = {Formal methods for coverage analysis of architectural power states
in power-managed designs},
booktitle = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
{ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
pages = {585--590},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ASPDAC.2012.6165024},
doi = {10.1109/ASPDAC.2012.6165024},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/HazraDBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/DasBD12,
author = {Sourasis Das and
Ansuman Banerjee and
Pallab Dasgupta},
title = {A Generalized Theory for Formal Assertion Coverage},
booktitle = {21st {IEEE} Asian Test Symposium, {ATS} 2012, Niigata, Japan, November
19-22, 2012},
pages = {137--142},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ATS.2012.20},
doi = {10.1109/ATS.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/DasBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compute/Banerjee12,
author = {Ansuman Banerjee},
editor = {R. K. Shyamasundar and
Lokendra Shastri},
title = {A formal model for multi-tenant software-as-a-service in cloud computing},
booktitle = {Proceedings of the 5th {ACM} {COMPUTE} Conference: Intelligent {\&}
scalable system technologies, Pune, India, January 23-24, 2012},
pages = {18},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2459118.2459136},
doi = {10.1145/2459118.2459136},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compute/Banerjee12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MitraBD12,
author = {Srobona Mitra and
Ansuman Banerjee and
Pallab Dasgupta},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Formal methods for ranking counterexamples through assumption mining},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {911--916},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176627},
doi = {10.1109/DATE.2012.6176627},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/MitraBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MasrurGCCAB12,
author = {Alejandro Masrur and
Dip Goswami and
Samarjit Chakraborty and
Jian{-}Jia Chen and
Anuradha Annaswamy and
Ansuman Banerjee},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Timing analysis of cyber-physical applications for hybrid communication
protocols},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {1233--1238},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176681},
doi = {10.1109/DATE.2012.6176681},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/MasrurGCCAB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/BanerjeeGB12,
author = {Ansuman Banerjee and
Sasthi C. Ghosh and
Nilanjan Banerjee},
editor = {Sanjeev K. Aggarwal and
T. V. Prabhakar and
Vasudeva Varma and
Srinivas Padmanabhuni},
title = {Pack your sack for the cloud},
booktitle = {Proceeding of the 5th Annual India Software Engineering Conference,
{ISEC} 2012, Kanpur, India, February 22-25, 2012},
pages = {157--16},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2134254.2134283},
doi = {10.1145/2134254.2134283},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indiaSE/BanerjeeGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ised/BhattacharjeeBB12,
author = {Sukanta Bhattacharjee and
Ansuman Banerjee and
Bhargab B. Bhattacharya},
title = {Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips},
booktitle = {International Symposium on Electronic System Design, ISEDs 2012, Kolkata,
India, December 19-22, 2012},
pages = {188--192},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISED.2012.73},
doi = {10.1109/ISED.2012.73},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ised/BhattacharjeeBB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-0594,
author = {Partha Pratim Ray and
Ansuman Banerjee},
title = {Debugging Memory Issues In Embedded Linux: {A} Case Study},
journal = {CoRR},
volume = {abs/1208.0594},
year = {2012},
url = {http://arxiv.org/abs/1208.0594},
eprinttype = {arXiv},
eprint = {1208.0594},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-0594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/KomuravelliMBD11,
author = {Anvesh Komuravelli and
Srobona Mitra and
Ansuman Banerjee and
Pallab Dasgupta},
title = {Backward Reasoning with Formal Properties: {A} Methodology for Bug
Isolation on Simulation Traces},
booktitle = {Proceedings of the 20th {IEEE} Asian Test Symposium, {ATS} 2011, New
Delhi, India, November 20-23, 2011},
pages = {238--243},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ATS.2011.54},
doi = {10.1109/ATS.2011.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/KomuravelliMBD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/Banerjee11,
author = {Ansuman Banerjee},
title = {Requirement Evolution Management: {A} Systematic Approach},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2011, 4-6
July 2011, Chennai, India},
pages = {150--155},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISVLSI.2011.20},
doi = {10.1109/ISVLSI.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/Banerjee11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BanerjeeRHL10,
author = {Ansuman Banerjee and
Abhik Roychoudhury and
Johannes A. Harlie and
Zhenkai Liang},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Golden implementation driven software debugging},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {177--186},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882319},
doi = {10.1145/1882291.1882319},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BanerjeeRHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/Banerjee10,
author = {Ansuman Banerjee},
title = {Synthesizability of 3 Party Formal Specifications-Does My Controller
See Enough?},
booktitle = {{VLSI} Design 2010: 23rd International Conference on {VLSI} Design,
9th International Conference on Embedded Systems, Bangalore, India,
3-7 January 2010},
pages = {81--86},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/VLSI.Design.2010.46},
doi = {10.1109/VLSI.DESIGN.2010.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/Banerjee10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/PalBSD08,
author = {Bhaskar Pal and
Ansuman Banerjee and
Arnab Sinha and
Pallab Dasgupta},
title = {Accelerating Assertion Coverage With Adaptive Testbenches},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {5},
pages = {967--972},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.917975},
doi = {10.1109/TCAD.2008.917975},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/PalBSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/BanerjeeDC08,
author = {Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti},
title = {Auxiliary state machines + context-triggered properties in verification},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {13},
number = {4},
pages = {62:1--62:31},
year = {2008},
url = {https://doi.org/10.1145/1391962.1391970},
doi = {10.1145/1391962.1391970},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/BanerjeeDC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BanerjeeRDCRG08,
author = {Ansuman Banerjee and
Sayak Ray and
Pallab Dasgupta and
Partha Pratim Chakrabarti and
S. Ramesh and
P. Vignesh V. Ganesan},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {A Dynamic Assertion-Based Verification Platform for Validation of
{UML} Designs},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {222--227},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_18},
doi = {10.1007/978-3-540-88387-6\_18},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BanerjeeRDCRG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BanerjeeDD08,
author = {Ansuman Banerjee and
Kausik Datta and
Pallab Dasgupta},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {CheckSpec: {A} Tool for Consistency and Coverage Analysis of Assertion
Specifications},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {228--233},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_19},
doi = {10.1007/978-3-540-88387-6\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BanerjeeDD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/HazraBMDCM08,
author = {Aritra Hazra and
Ansuman Banerjee and
Srobona Mitra and
Pallab Dasgupta and
Partha Pratim Chakrabarti and
Chunduri Rama Mohan},
title = {Cohesive Coverage Management for Simulation and Formal Property Verification},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2008, 7-9
April 2008, Montpellier, France},
pages = {251--256},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISVLSI.2008.53},
doi = {10.1109/ISVLSI.2008.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/HazraBMDCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/PalBDC07,
author = {Bhaskar Pal and
Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti},
title = {BUSpec: {A} framework for generation of verification aids for standard
bus protocol specifications},
journal = {Integr.},
volume = {40},
number = {3},
pages = {285--304},
year = {2007},
url = {https://doi.org/10.1016/j.vlsi.2005.12.004},
doi = {10.1016/J.VLSI.2005.12.004},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/PalBDC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BasuDBDCMFA06,
author = {Prasenjit Basu and
Sayantan Das and
Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti and
Chunduri Rama Mohan and
Limor Fix and
Roy Armoni},
title = {Design-Intent Coverage - {A} New Paradigm for Formal Property Verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {25},
number = {10},
pages = {1922--1934},
year = {2006},
url = {https://doi.org/10.1109/TCAD.2005.859490},
doi = {10.1109/TCAD.2005.859490},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/BasuDBDCMFA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BanerjeePDKD06,
author = {Ansuman Banerjee and
Bhaskar Pal and
Sayantan Das and
Abhijeet Kumar and
Pallab Dasgupta},
editor = {Ellen Sentovich},
title = {Test generation games from formal specifications},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {827--832},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1147120},
doi = {10.1145/1146909.1147120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BanerjeePDKD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BanerjeeDC06,
author = {Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti},
title = {Formal methods for checking realizability of coalitions in 3-party
systems},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {198},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695927},
doi = {10.1109/MEMCOD.2006.1695927},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BanerjeeDC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/BanerjeeD05,
author = {Ansuman Banerjee and
Pallab Dasgupta},
title = {The open family of temporal logics: Annotating temporal operators
with input constraints},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {10},
number = {3},
pages = {492--522},
year = {2005},
url = {https://doi.org/10.1145/1080334.1080337},
doi = {10.1145/1080334.1080337},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/BanerjeeD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/DasBBDCMF05,
author = {Sayantan Das and
Ansuman Banerjee and
Prasenjit Basu and
Pallab Dasgupta and
P. P. Chakrabarti and
Chunduri Rama Mohan and
Limor Fix},
title = {Formal Methods for Analyzing the Completeness of an Assertion Suite
against a High-Level Fault Model},
booktitle = {18th International Conference on {VLSI} Design {(VLSI} Design 2005),
with the 4th International Conference on Embedded Systems Design,
3-7 January 2005, Kolkata, India},
pages = {201--206},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICVD.2005.101},
doi = {10.1109/ICVD.2005.101},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/DasBBDCMF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/DasBBDCMFA04,
author = {Sayantan Das and
Prasenjit Basu and
Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti and
Chunduri Rama Mohan and
Limor Fix and
Roy Armoni},
title = {Formal verification coverage: computing the coverage gap between temporal
specifications},
booktitle = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
San Jose, CA, USA, November 7-11, 2004},
pages = {198--203},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2004},
url = {https://doi.org/10.1109/ICCAD.2004.1382571},
doi = {10.1109/ICCAD.2004.1382571},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/DasBBDCMFA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PalBDC04,
author = {Bhaskar Pal and
Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti},
title = {The BUSpec platform for automated generation of verification aids
for standard bus protocols},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {119--128},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459831},
doi = {10.1109/MEMCOD.2004.1459831},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PalBDC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/BanerjeeDC04,
author = {Ansuman Banerjee and
Pallab Dasgupta and
P. P. Chakrabarti},
title = {Formal Verification of Modules under Real Time Environment Constraints},
booktitle = {17th International Conference on {VLSI} Design {(VLSI} Design 2004),
with the 3rd International Conference on Embedded Systems Design,
5-9 January 2004, Mumbai, India},
pages = {103--108},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICVD.2004.1260911},
doi = {10.1109/ICVD.2004.1260911},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/BanerjeeDC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/BanerjeeDC03,
author = {Ansuman Banerjee and
Pallab Dasgupta and
Partha Pratim Chakrabarti},
title = {Open computation tree logic with fairness},
booktitle = {Proceedings of the 2003 International Symposium on Circuits and Systems,
{ISCAS} 2003, Bangkok, Thailand, May 25-28, 2003},
pages = {249--252},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ISCAS.2003.1206245},
doi = {10.1109/ISCAS.2003.1206245},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/BanerjeeDC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChakrabartiDCB02,
author = {Arindam Chakrabarti and
Pallab Dasgupta and
P. P. Chakrabarti and
Ansuman Banerjee},
title = {Formal verification of module interfaces against real time specifications},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {141--145},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.513954},
doi = {10.1145/513918.513954},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChakrabartiDCB02.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 2024-04-21 18:30 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:
