default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSupratik Mukhopadhyay
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j26]Girish Rentala, Yimin Zhu
, Supratik Mukhopadhyay:
Application of time series analysis to improve the validity of Immersive virtual environments for collecting occupant thermal state and adaptive behavioral intention data. Adv. Eng. Informatics 61: 102449 (2024)- [j25]Tanay Dey, Purba Bhattacharya, Supratik Mukhopadhyay, Nayana Majumdar, Abhishek Seal, Subhasis Chattopadhyay:
Parallelization of Garfield++ and neBEM to simulate space-charge effects in RPCs. Comput. Phys. Commun. 294: 108944 (2024) - [j24]Amit Ranjan, Adam Bess, Chris Alvin, Supratik Mukhopadhyay:
MDF-DTA: A Multi-Dimensional Fusion Approach for Drug-Target Binding Affinity Prediction. J. Chem. Inf. Model. 64(13): 4980-4990 (2024) - [c87]Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi, Botos Csaba, Fabro Steibel, Fazl Barez, Genevieve Smith, Gianluca Guadagni, Jon Chun, Jordi Cabot, Joseph Marvin Imperial, Juan A. Nolazco-Flores, Lori Landay, Matthew Thomas Jackson, Paul Röttger, Philip H. S. Torr, Trevor Darrell, Yong Suk Lee, Jakob N. Foerster:
Position: Near to Mid-term Risks and Opportunities of Open-Source Generative AI. ICML 2024 - [c86]Magesh Rajasekaran, Md Saiful Islam Sajol, Frej Berglind, Supratik Mukhopadhyay, Kamalika Das:
COMBOOD: A Semiparametric Approach for Detecting Out-of-distribution Data for Image Classification. SDM 2024: 643-651 - [i22]Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi, Botos Csaba, Fabro Steibel, Fazl Barez, Genevieve Smith, Gianluca Guadagni, Jon Chun, Jordi Cabot, Joseph Marvin Imperial, Juan A. Nolazco-Flores, Lori Landay, Matthew Thomas Jackson, Paul Röttger, Philip H. S. Torr, Trevor Darrell, Yong Suk Lee, Jakob N. Foerster:
Near to Mid-term Risks and Opportunities of Open Source Generative AI. CoRR abs/2404.17047 (2024) - [i21]Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi, Aaron Purewal, Botos Csaba, Fabro Steibel, Fazel Keshtkar, Fazl Barez, Genevieve Smith, Gianluca Guadagni, Jon Chun, Jordi Cabot, Joseph Marvin Imperial, Juan Arturo Nolazco, Lori Landay, Matthew Thomas Jackson, Philip H. S. Torr, Trevor Darrell, Yong Suk Lee, Jakob N. Foerster:
Risks and Opportunities of Open-Source Generative AI. CoRR abs/2405.08597 (2024) - 2023
- [j23]Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson:
Program analysis using empirical abstraction. Int. J. Softw. Tools Technol. Transf. 25(4): 431-452 (2023) - 2022
- [c85]Supratik Mukhopadhyay, Michal Brylinski, Adam Bess, Frej Berglind, Chris Galliano, Patrick F. McGrew:
DeepDrug: Applying AI for the Advancement of Drug Discovery. COMSNETS 2022: 667-674 - [i20]Frej Berglind, Haron Temam, Supratik Mukhopadhyay, Kamalika Das, Md Saiful Islam Sajol, Kumar Sricharan, Kumar Kallurupalli:
XOOD: Extreme Value Based Out-Of-Distribution Detection For Image Classification. CoRR abs/2208.00629 (2022) - [i19]Nelson Sharma, Aswini Ghosh, Rajiv Misra, Supratik Mukhopadhyay, Gokarna Sharma:
Collisionless Pattern Discovery in Robot Swarms Using Deep Reinforcement Learning. CoRR abs/2209.09865 (2022) - 2021
- [j22]Chanachok Chokwitthaya, Yimin Zhu, Supratik Mukhopadhyay:
Robustness analysis framework for computations associated with building performance models and immersive virtual experiments. Adv. Eng. Informatics 50: 101401 (2021) - [j21]Chris Alvin, Brian Peterson, Supratik Mukhopadhyay:
Static generation of UML sequence diagrams. Int. J. Softw. Tools Technol. Transf. 23(1): 31-53 (2021) - [j20]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay:
Deadline-Aware Cost Optimization for Spark. IEEE Trans. Big Data 7(1): 115-127 (2021) - [c84]Edward Collier, Supratik Mukhopadhyay:
SimilarityGAN: Using Similarity to Loosen Structural Constraints in Generative Adversarial Models. DICTA 2021: 1-8 - [c83]Alimire Nabijiang, Supratik Mukhopadhyay, Chanachok Chokwitthaya, Yimin Zhu, Girish Rentala, Qun Liu:
Why Did You Turn On That Light? SMDS 2021: 85-94 - 2020
- [j19]Limeng Pu, Hsiao-Chun Wu, Chiapin Wang, Shih-Hau Fang, Supratik Mukhopadhyay, Costas Busch:
Novel Fast User-Placement Ushering Algorithms and Performance Analysis for LTE Femtocell Networks. IEEE Trans. Cogn. Commun. Netw. 6(1): 381-393 (2020) - [c82]Supratik Mukhopadhyay, Subhajit Sidhanta, Arnab Ganguly, Qun Liu, Edward Collier, Yimin Zhu, Ravindra Gudishala, Chanachok Chokwitthaya, Robert DiBiano, Alimire Nabijiang, Sanaz Saeidi:
Context-Aware Design of Cyber-Physical Human Systems (CPHS). COMSNETS 2020: 322-329 - [c81]Edward Collier, Robert DiBiano, Supratik Mukhopadhyay:
Using Applicability to Quantifying Octave Resonance in Deep Neural Networks. ICONIP (5) 2020: 229-237 - [c80]Edward Collier, Supratik Mukhopadhyay:
GAP: Quantifying the Generative Adversarial Set and Class Feature Applicability of Deep Neural Networks. ICPR 2020: 8384-8391 - [c79]Qun Liu, Supratik Mukhopadhyay, Maria-Ximena Bastidas-Rodríguez, Xing Fu, Sushant Sahu, David Burk, Manas Gartia:
A One-Shot Learning Framework for Assessment of Fibrillar Collagen from Second Harmonic Generation Images of an Infarcted Myocardium. ISBI 2020: 839-843 - [c78]Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson:
Empirical Abstraction. RV 2020: 259-278 - [i18]Supratik Mukhopadhyay, Qun Liu, Edward Collier, Yimin Zhu, Ravindra Gudishala, Chanachok Chokwitthaya, Robert DiBiano, Alimire Nabijiang, Sanaz Saeidi, Subhajit Sidhanta, Arnab Ganguly:
Context-Aware Design of Cyber-Physical Human Systems (CPHS). CoRR abs/2001.01918 (2020) - [i17]Qun Liu, Supratik Mukhopadhyay, Maria-Ximena Bastidas-Rodríguez, Xing Fu, Sushant Sahu, David Burk, Manas Gartia:
A One-Shot Learning Framework for Assessment of Fibrillar Collagen from Second Harmonic Generation Images of an Infarcted Myocardium. CoRR abs/2001.08395 (2020)
2010 – 2019
- 2019
- [c77]Alimire Nabijiang, Supratik Mukhopadhyay, Sanaz Saeidi, Yimin Zhu, Ravindra Gudishala, Qun Liu:
Why do you take that route? CogSci 2019: 2554-2460 - [c76]Qun Liu, Edward Collier, Supratik Mukhopadhyay:
PCGAN-CHAR: Progressively Trained Classifier Generative Adversarial Networks for Classification of Noisy Handwritten Bangla Characters. ICADL 2019: 3-15 - [c75]Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab:
Consistify: preserving correctness and SLA under weak consistency. ICDCN 2019: 282-291 - [c74]Chanachok Chokwitthaya, Edward Collier, Yimin Zhu, Supratik Mukhopadhyay:
Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs). IJCNN 2019: 1-9 - [c73]Qun Liu, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Alimire Nabijiang:
Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation. IJCNN 2019: 1-8 - [c72]Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab:
Dyn-YCSB: Benchmarking Adaptive Frameworks. SERVICES 2019: 392-393 - [i16]Edward Collier, Kate Duffy, Sangram Ganguly, Geri Madanguit, Subodh Kalia, Shreekant Gayaka, Ramakrishna R. Nemani, Andrew R. Michaelis, Shuang Li, Auroop R. Ganguly, Supratik Mukhopadhyay:
Progressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images. CoRR abs/1902.04604 (2019) - [i15]Qun Liu, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Alimire Nabijiang:
Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation. CoRR abs/1903.11253 (2019) - [i14]Alimire Nabijiang, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Qun Liu:
Why do you take that route? CoRR abs/1905.06463 (2019) - [i13]Chanachok Chokwitthaya, Edward Collier, Yimin Zhu, Supratik Mukhopadhyay:
Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs). CoRR abs/1906.05767 (2019) - [i12]Qun Liu, Edward Collier, Supratik Mukhopadhyay:
PCGAN-CHAR: Progressively Trained Classifier Generative Adversarial Networks for Classification of Noisy Handwritten Bangla Characters. CoRR abs/1908.08987 (2019) - [i11]Qun Liu, Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat V2: Feature Augmented Convolutional Neural Nets for Satellite Image Classification. CoRR abs/1911.07747 (2019) - 2018
- [j18]Saikat Basu, Supratik Mukhopadhyay, Manohar Karki, Robert DiBiano, Sangram Ganguly, Ramakrishna R. Nemani, Shreekant Gayaka:
Deep neural networks for texture classification - A theoretical analysis. Neural Networks 97: 173-182 (2018) - [c71]Gokarna Sharma, Rusul Alsaedi, Costas Busch, Supratik Mukhopadhyay:
The Complete Visibility Problem for Fat Robots with Lights. ICDCN 2018: 21:1-21:4 - [c70]Edward Collier, Kate Duffy, Sangram Ganguly, Geri Madanguit, Subodh Kalia, Shreekant Gayaka, Ramakrishna R. Nemani, Andrew R. Michaelis, Shuang Li, Auroop R. Ganguly, Supratik Mukhopadhyay:
Progressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images. ICDM Workshops 2018: 763-769 - [c69]Manohar Karki, Qun Liu, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Pixel-Level Reconstruction and Classification for Noisy Handwritten Bangla Characters. ICFHR 2018: 511-516 - [c68]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
How to Make Fat Autonomous Robots See all Others Fast? ICRA 2018: 1-9 - [c67]Edward Collier, Robert DiBiano, Supratik Mukhopadhyay:
CactusNets: Layer Applicability as a Metric for Transfer Learning. IJCNN 2018: 1-8 - [c66]Qun Liu, Supratik Mukhopadhyay:
Unsupervised Learning using Pretrained CNN and Associative Memory Bank. IJCNN 2018: 1-8 - [c65]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Complete Visibility for Oblivious Robots in 풪(N) Time. NETYS 2018: 67-84 - [i10]Edward Collier, Robert DiBiano, Supratik Mukhopadhyay:
CactusNets: Layer Applicability as a Metric for Transfer Learning. CoRR abs/1804.07846 (2018) - [i9]Qun Liu, Supratik Mukhopadhyay:
Unsupervised Learning using Pretrained CNN and Associative Memory Bank. CoRR abs/1805.01033 (2018) - [i8]Manohar Karki, Qun Liu, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Pixel-level Reconstruction and Classification for Noisy Handwritten Bangla Characters. CoRR abs/1806.08037 (2018) - 2017
- [j17]Robert DiBiano, Supratik Mukhopadhyay:
Automated diagnostics for manufacturing machinery based on well-regularized deep neural networks. Integr. 58: 303-310 (2017) - [j16]Tairan Liu, Misagh Naderi, Chris Alvin, Supratik Mukhopadhyay, Michal Brylinski:
Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with eMolFrag. J. Chem. Inf. Model. 57(4): 627-631 (2017) - [j15]Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Shreekant Gayaka, Rajgopal Kannan, Ramakrishna R. Nemani:
Learning Sparse Feature Representations Using Probabilistic Quadtrees and Deep Belief Nets. Neural Process. Lett. 45(3): 855-867 (2017) - [j14]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux:
Tight Analysis of a Collisionless Robot Gathering Algorithm. ACM Trans. Auton. Adapt. Syst. 12(1): 3:1-3:20 (2017) - [j13]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu:
Adaptable SLA-Aware Consistency Tuning for Quorum-Replicated Datastores. IEEE Trans. Big Data 3(3): 248-261 (2017) - [c64]Subhajit Sidhanta, Supratik Mukhopadhyay:
SynAdapt: Automated Synthesis of Adaptive Agents. SCC 2017: 475-478 - [c63]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Problems for Shaded Area Geometry Reasoning. AIED 2017: 455-458 - [c62]Limeng Pu, Hsiao-Chun Wu, Supratik Mukhopadhyay, Robert Kooima, Yiyan Wu:
Novel electronic scissoring algorithm. BMSB 2017: 1-4 - [c61]Chris Alvin, Brian Peterson, Supratik Mukhopadhyay:
StaticGen: Static Generation of UML Sequence Diagrams. FASE 2017: 173-190 - [c60]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS 2017: 14-19 - [c59]Manohar Karki, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Core Sampling Framework for Pixel Classification. ICANN (2) 2017: 617-625 - [c58]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Brief Announcement: Complete Visibility for Oblivious Robots in Linear Time. SPAA 2017: 325-327 - 2016
- [j12]Misagh Naderi, Chris Alvin, Yun Ding, Supratik Mukhopadhyay, Michal Brylinski:
A graph-based approach to construct target-focused libraries for virtual screening. J. Cheminformatics 8(1): 14:1-14:16 (2016) - [c57]Subhajit Sidhanta, Supratik Mukhopadhyay:
Infra: SLO Aware Elastic Auto-scaling in the Cloud for Cost Reduction. BigData Congress 2016: 141-148 - [c56]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay:
OptEx: A Deadline-Aware Cost Optimization Model for Spark. CCGrid 2016: 193-202 - [c55]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu:
OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores. CCGrid 2016: 388-397 - [c54]Limeng Pu, Hsiao-Chun Wu, Chiapin Wang, Shih-Hau Fang, Supratik Mukhopadhyay, Costas Busch:
Novel Fast User-Placement Ushering Algorithms for Indoor Femtocell Networks. GLOBECOM 2016: 1-6 - [c53]Saikat Basu, Manohar Karki, Supratik Mukhopadhyay, Sangram Ganguly, Ramakrishna R. Nemani, Robert DiBiano, Shreekant Gayaka:
A theoretical analysis of Deep Neural Networks for texture classification. IJCNN 2016: 992-999 - [c52]Manohar Karki, Saikat Basu, Robert DiBiano, Supratik Mukhopadhyay, Jerry Weltman, Malcolm Stagg:
A symbolic framework for recognizing activities in full motion surveillance videos. SSCI 2016: 1-7 - [i7]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay:
OptEx: A Deadline-Aware Cost Optimization Model for Spark. CoRR abs/1603.07936 (2016) - [i6]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu:
OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-based Stores. CoRR abs/1603.07938 (2016) - [i5]Saikat Basu, Manohar Karki, Robert DiBiano, Supratik Mukhopadhyay, Sangram Ganguly, Ramakrishna R. Nemani, Shreekant Gayaka:
A Theoretical Analysis of Deep Neural Networks for Texture Classification. CoRR abs/1605.02699 (2016) - [i4]Manohar Karki, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Core Sampling Framework for Pixel Classification. CoRR abs/1612.01981 (2016) - 2015
- [j11]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Reasoning about security in sensor networks. Concurr. Comput. Pract. Exp. 27(15): 3816-3841 (2015) - [j10]Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay:
Termination proofs for linear simple loops. Int. J. Softw. Tools Technol. Transf. 17(1): 47-57 (2015) - [j9]Saikat Basu, Sangram Ganguly, Ramakrishna R. Nemani, Supratik Mukhopadhyay, Gong Zhang, Cristina Milesi, Andrew R. Michaelis, Petr Votava, Ralph Dubayah, Laura Duncanson, Bruce D. Cook, Yifan Yu, Sassan Saatchi, Robert DiBiano, Manohar Karki, Edward Boyda, Uttam Kumar, Shuang Li:
A Semiautomated Probabilistic Framework for Tree-Cover Delineation From 1-m NAIP Imagery Using a High-Performance Computing Architecture. IEEE Trans. Geosci. Remote. Sens. 53(10): 5690-5708 (2015) - [c51]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Mutual Visibility with an Optimal Number of Colors. ALGOSENSORS 2015: 196-210 - [c50]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Bounds on Mutual Visibility Algorithms. CCCG 2015 - [c49]Saikat Basu, Robert DiBiano, Manohar Karki, Malcolm Stagg, Jerry Weltman, Supratik Mukhopadhyay, Sangram Ganguly:
An Agile Framework for Real-Time Motion Tracking. COMPSAC Workshops 2015: 205-210 - [c48]Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani:
Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets. ESANN 2015 - [c47]Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat: a learning framework for satellite imagery. SIGSPATIAL/GIS 2015: 37:1-37:10 - [c46]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux:
Tight analysis of a collisionless robot gathering algorithm. IROS 2015: 5189-5194 - [c45]Saikat Basu, Manohar Karki, Malcolm Stagg, Robert DiBiano, Sangram Ganguly, Supratik Mukhopadhyay:
MAPTrack - A Probabilistic Real Time Tracking Framework by Integrating Motion, Appearance and Position Models. VISAPP (3) 2015: 567-574 - [i3]Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani:
Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets. CoRR abs/1509.03413 (2015) - [i2]Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat - A Learning framework for Satellite Imagery. CoRR abs/1509.03602 (2015) - [i1]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR abs/1510.08525 (2015) - 2014
- [j8]Hsiao-Chun Wu, Tian Xia, Yiyan Wu, Supratik Mukhopadhyay:
Novel Fast Blind Channel Estimation and Hessian Analysis for Transmitter Identification of Digital Television Signals. IEEE Trans. Broadcast. 60(4): 715-723 (2014) - [c44]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Geometry Proof Problems. AAAI 2014: 245-252 - [c43]Kaliappa Ravindran, Arun Adiththan, Supratik Mukhopadhyay:
Stability of video rate control algorithms over bandwidth-limited network paths. CNSM 2014: 199-205 - [c42]Kaliappa Ravindran, Supratik Mukhopadhyay, Subhajit Sidhanta, Ali Sabbir:
Managing shared contexts in distributed multi-player game systems. COMSNETS 2014: 1-8 - [c41]Tian Xia, Hsiao-Chun Wu, Supratik Mukhopadhyay:
LDPC encoder identification in time-varying flat-fading channels. GLOBECOM 2014: 3537-3542 - 2013
- [j7]Manuel Peralta, Supratik Mukhopadhyay:
Code-Change Impact Analysis using Counterfactuals: Theory and Implementation. Int. J. Softw. Eng. Knowl. Eng. 23(10): 1459-1486 (2013) - [j6]Yonas G. Debessu, Hsiao-Chun Wu, Hong Jiang, Supratik Mukhopadhyay:
New Modified Turbo Decoder for Embedded Local Content in Single-Frequency Networks. IEEE Trans. Broadcast. 59(1): 129-135 (2013) - [c40]Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu:
Control Flow Refinement and Symbolic Computation of Average Case Bound. ATVA 2013: 334-348 - [c39]Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay:
Towards Formal Verification of a Commercial Wireless Router Firmware. COMPSAC 2013: 639-647 - [c38]Subhajit Sidhanta, Supratik Mukhopadhyay:
An ad-hoc distributed execution environment for multi-agent systems. COMSNETS 2013: 1-10 - [c37]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. ICDCS Workshops 2013: 374-379 - 2012
- [j5]S. Sitharama Iyengar, Xin Li, Huanhuan Xu, Supratik Mukhopadhyay, N. Balakrishnan, Amit Sawant, Puneeth Iyengar:
Toward More Precise Radiotherapy Treatment of Lung Tumors. Computer 45(1): 59-65 (2012) - [c36]Subhajit Sidhanta, Supratik Mukhopadhyay:
Managing a Cloud for Multi-agent Systems on Ad-Hoc Networks. IEEE CLOUD 2012: 996-997 - [c35]Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj:
A complex-event-processing framework for smart-grid management. CogSIMA 2012: 272-278 - [c34]Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security. COMPSAC 2012: 322-327 - [c33]Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Code Analysis for MATLAB Models. ISoLA (1) 2012: 474-487 - [c32]Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay:
Termination Proofs for Linear Simple Loops. SAS 2012: 422-438 - 2011
- [c31]Manuel Peralta, Supratik Mukhopadhyay:
Code-Change Impact Analysis Using Counterfactuals. COMPSAC 2011: 694-699 - [c30]Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya:
'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. COMSNETS 2011: 1-10 - [c29]Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu:
Functional "AJAX" in Secure Synchronous Programming. HICSS 2011: 1-10 - [c28]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Counterfactually reasoning about security. SIN 2011: 223-226 - 2010
- [j4]S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li:
Preventing Future Oil Spills with Software-Based Event Detection. Computer 43(8): 95-97 (2010) - [c27]Sukhamay Kundu, Supratik Mukhopadhyay:
Approximation of CFL by Regular Languages for Concurrent Program Verification. COMPSAC Workshops 2010: 353-358
2000 – 2009
- 2009
- [c26]Hasan Davulcu, Supratik Mukhopadhyay, Prabhdeep Singh, Stephen S. Yau:
Default α-Logic for Modeling Customizable Failure Semantics in Workflow Systems Using Dynamic Reconfiguration Constraints. FGIT-GDC 2009: 49-56 - [c25]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Automatic Synthesis and Deployment of Intensional Kahn Process Networks. FGIT-GDC 2009: 73-87 - 2008
- [c24]Prabhdeep Singh, Fatih Gelgi, Hasan Davulcu, Stephen S. Yau, Supratik Mukhopadhyay:
A Risk Reduction Framework for Dynamic Workflows. IEEE SCC (1) 2008: 381-388 - [c23]Ramesh Bharadwaj, Supratik Mukhopadhyay:
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC 2008: 227-230 - [c22]Jeremiah James, Supratik Mukhopadhyay:
The Causal Order is Strict. FTDCS 2008: 140-143 - [c21]Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder:
Cognitive Distributed Networks in Environmental e-Science. FTDCS 2008: 192-198 - 2007
- [j3]Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Haishan Gong, Prabhdeep Singh, Fatih Gelgi:
Automated Situation-Aware Service Composition in Service-Oriented Computing. Int. J. Web Serv. Res. 4(4): 59-82 (2007) - [c20]Ramesh Bharadwaj, Supratik Mukhopadhyay:
SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems. FTDCS 2007: 173-180 - 2006
- [e3]Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005. Electronic Notes in Theoretical Computer Science 157(1), Elsevier 2006 [contents] - 2005
- [c19]Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh:
Service Composition in a Secure Agent-Based Architecture. EEE 2005: 787-788 - [c18]Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao:
Adaptable Situation-Aware Secure Service-Based (AS3) Systems. ISORC 2005: 308-315 - [c17]