Supratik Mukhopadhyay

Orcid: 0000-0003-0839-1133

According to our database1, Supratik Mukhopadhyay authored at least 118 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Parallelization of Garfield++ and neBEM to simulate space-charge effects in RPCs.
Comput. Phys. Commun., January, 2024

MDF-DTA: A Multi-Dimensional Fusion Approach for Drug-Target Binding Affinity Prediction.
J. Chem. Inf. Model., 2024

Risks and Opportunities of Open-Source Generative AI.
CoRR, 2024

Near to Mid-term Risks and Opportunities of Open Source Generative AI.
CoRR, 2024

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, 2024

COMBOOD: A Semiparametric Approach for Detecting Out-of-distribution Data for Image Classification.
Proceedings of the 2024 SIAM International Conference on Data Mining, 2024


2023
Program analysis using empirical abstraction.
Int. J. Softw. Tools Technol. Transf., August, 2023

2022
Collisionless Pattern Discovery in Robot Swarms Using Deep Reinforcement Learning.
CoRR, 2022

XOOD: Extreme Value Based Out-Of-Distribution Detection For Image Classification.
CoRR, 2022

DeepDrug: Applying AI for the Advancement of Drug Discovery.
Proceedings of the 14th International Conference on COMmunication Systems & NETworkS, 2022

2021
Deadline-Aware Cost Optimization for Spark.
IEEE Trans. Big Data, 2021

Static generation of UML sequence diagrams.
Int. J. Softw. Tools Technol. Transf., 2021

Robustness analysis framework for computations associated with building performance models and immersive virtual experiments.
Adv. Eng. Informatics, 2021

Why Did You Turn On That Light?
Proceedings of the IEEE International Conference on Smart Data Services, 2021

SimilarityGAN: Using Similarity to Loosen Structural Constraints in Generative Adversarial Models.
Proceedings of the 2021 Digital Image Computing: Techniques and Applications, 2021

2020
Novel Fast User-Placement Ushering Algorithms and Performance Analysis for LTE Femtocell Networks.
IEEE Trans. Cogn. Commun. Netw., 2020

Empirical Abstraction.
Proceedings of the Runtime Verification - 20th International Conference, 2020

A One-Shot Learning Framework for Assessment of Fibrillar Collagen from Second Harmonic Generation Images of an Infarcted Myocardium.
Proceedings of the 17th IEEE International Symposium on Biomedical Imaging, 2020

GAP: Quantifying the Generative Adversarial Set and Class Feature Applicability of Deep Neural Networks.
Proceedings of the 25th International Conference on Pattern Recognition, 2020

Using Applicability to Quantifying Octave Resonance in Deep Neural Networks.
Proceedings of the Neural Information Processing - 27th International Conference, 2020

Context-Aware Design of Cyber-Physical Human Systems (CPHS).
Proceedings of the 2020 International Conference on COMmunication Systems & NETworkS, 2020

2019
DeepSat V2: Feature Augmented Convolutional Neural Nets for Satellite Image Classification.
CoRR, 2019

Dyn-YCSB: Benchmarking Adaptive Frameworks.
Proceedings of the 2019 IEEE World Congress on Services, 2019

Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation.
Proceedings of the International Joint Conference on Neural Networks, 2019

Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs).
Proceedings of the International Joint Conference on Neural Networks, 2019

Consistify: preserving correctness and SLA under weak consistency.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

PCGAN-CHAR: Progressively Trained Classifier Generative Adversarial Networks for Classification of Noisy Handwritten Bangla Characters.
Proceedings of the Digital Libraries at the Crossroads of Digital Information for the Future, 2019

Why do you take that route?
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018
Deep neural networks for texture classification - A theoretical analysis.
Neural Networks, 2018

Complete Visibility for Oblivious Robots in 풪(N) Time.
Proceedings of the Networked Systems - 6th International Conference, 2018

Unsupervised Learning using Pretrained CNN and Associative Memory Bank.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

CactusNets: Layer Applicability as a Metric for Transfer Learning.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

How to Make Fat Autonomous Robots See all Others Fast?
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Pixel-Level Reconstruction and Classification for Noisy Handwritten Bangla Characters.
Proceedings of the 16th International Conference on Frontiers in Handwriting Recognition, 2018

Progressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images.
Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018

The Complete Visibility Problem for Fat Robots with Lights.
Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

2017
Adaptable SLA-Aware Consistency Tuning for Quorum-Replicated Datastores.
IEEE Trans. Big Data, 2017

Tight Analysis of a Collisionless Robot Gathering Algorithm.
ACM Trans. Auton. Adapt. Syst., 2017

Learning Sparse Feature Representations Using Probabilistic Quadtrees and Deep Belief Nets.
Neural Process. Lett., 2017

Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with <i>e</i>MolFrag.
J. Chem. Inf. Model., 2017

Automated diagnostics for manufacturing machinery based on well-regularized deep neural networks.
Integr., 2017

Brief Announcement: Complete Visibility for Oblivious Robots in Linear Time.
Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

Core Sampling Framework for Pixel Classification.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2017, 2017

Synthesis of Solutions for Shaded Area Geometry Problems.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

StaticGen: Static Generation of UML Sequence Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Novel electronic scissoring algorithm.
Proceedings of the 2017 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2017

Synthesis of Problems for Shaded Area Geometry Reasoning.
Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

SynAdapt: Automated Synthesis of Adaptive Agents.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
A graph-based approach to construct target-focused libraries for virtual screening.
J. Cheminformatics, 2016

A symbolic framework for recognizing activities in full motion surveillance videos.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

A theoretical analysis of Deep Neural Networks for texture classification.
Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

Novel Fast User-Placement Ushering Algorithms for Indoor Femtocell Networks.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores.
Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

OptEx: A Deadline-Aware Cost Optimization Model for Spark.
Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

Infra: SLO Aware Elastic Auto-scaling in the Cloud for Cost Reduction.
Proceedings of the 2016 IEEE International Congress on Big Data, San Francisco, CA, USA, June 27, 2016

2015
A Semiautomated Probabilistic Framework for Tree-Cover Delineation From 1-m NAIP Imagery Using a High-Performance Computing Architecture.
IEEE Trans. Geosci. Remote. Sens., 2015

Termination proofs for linear simple loops.
Int. J. Softw. Tools Technol. Transf., 2015

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.
CoRR, 2015

Reasoning about security in sensor networks.
Concurr. Comput. Pract. Exp., 2015

MAPTrack - A Probabilistic Real Time Tracking Framework by Integrating Motion, Appearance and Position Models.
Proceedings of the VISAPP 2015, 2015

DeepSat: a learning framework for satellite imagery.
Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2015

Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets.
Proceedings of the 23rd European Symposium on Artificial Neural Networks, 2015

An Agile Framework for Real-Time Motion Tracking.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Bounds on Mutual Visibility Algorithms.
Proceedings of the 27th Canadian Conference on Computational Geometry, 2015

Mutual Visibility with an Optimal Number of Colors.
Proceedings of the Algorithms for Sensor Systems, 2015

2014
Novel Fast Blind Channel Estimation and Hessian Analysis for Transmitter Identification of Digital Television Signals.
IEEE Trans. Broadcast., 2014

LDPC encoder identification in time-varying flat-fading channels.
Proceedings of the IEEE Global Communications Conference, 2014

Managing shared contexts in distributed multi-player game systems.
Proceedings of the Sixth International Conference on Communication Systems and Networks, 2014

Stability of video rate control algorithms over bandwidth-limited network paths.
Proceedings of the 10th International Conference on Network and Service Management, 2014

Synthesis of Geometry Proof Problems.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
New Modified Turbo Decoder for Embedded Local Content in Single-Frequency Networks.
IEEE Trans. Broadcast., 2013

Code-Change Impact Analysis using Counterfactuals: Theory and Implementation.
Int. J. Softw. Eng. Knowl. Eng., 2013

A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing.
Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

An ad-hoc distributed execution environment for multi-agent systems.
Proceedings of the Fifth International Conference on Communication Systems and Networks, 2013

Towards Formal Verification of a Commercial Wireless Router Firmware.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Control Flow Refinement and Symbolic Computation of Average Case Bound.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Toward More Precise Radiotherapy Treatment of Lung Tumors.
Computer, 2012

Model-Based Static Code Analysis for MATLAB Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

A complex-event-processing framework for smart-grid management.
Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2012

Managing a Cloud for Multi-agent Systems on Ad-Hoc Networks.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011
Counterfactually reasoning about security.
Proceedings of the 4th International Conference on Security of Information and Networks, 2011

Functional "AJAX" in Secure Synchronous Programming.
Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths.
Proceedings of the Third International Conference on Communication Systems and Networks, 2011

Code-Change Impact Analysis Using Counterfactuals.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Preventing Future Oil Spills with Software-Based Event Detection.
Computer, 2010

Approximation of CFL by Regular Languages for Concurrent Program Verification.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
Automatic Synthesis and Deployment of Intensional Kahn Process Networks.
Proceedings of the Grid and Distributed Computing, 2009

Default <i>α</i>-Logic for Modeling Customizable Failure Semantics in Workflow Systems Using Dynamic Reconfiguration Constraints.
Proceedings of the Grid and Distributed Computing, 2009

2008
The Causal Order is Strict.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Cognitive Distributed Networks in Environmental e-Science.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Risk Reduction Framework for Dynamic Workflows.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Automated Situation-Aware Service Composition in Service-Oriented Computing.
Int. J. Web Serv. Res., 2007

SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

2005
Preface.
Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Adaptable Situation-Aware Secure Service-Based (AS<sup>3</sup>) Systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Service Composition in a Secure Agent-Based Architecture.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

2004
RETNA: From Requirements to Testing in a Natural Way.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Does Your Result Checker Really Check?
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Model checking mobile ambients.
Theor. Comput. Sci., 2003

Deterministic finite automata with recursive calls and DPDAs.
Inf. Process. Lett., 2003

Preface.
Proceedings of the International Workshop on Software Verification and Validation, 2003

Abstract spatial hybrid systems for image processing.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
Compositional Termination Analysis of Symbolic Forward Analysis.
Proceedings of the Verification, 2002

An Algebraic Framework for Abstract Model Checking.
Proceedings of the Abstraction, 2002

Optimal-Reachability and Control for Acyclic Weighted Timed Automata.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.
Proceedings of the Logic Programming, 18th International Conference, 2002

Dynamic Message Sequence Charts.
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

2001
Model Checking Communication Protocols.
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001

Constraint Database Models Characterizing Timed Bisimilarity.
Proceedings of the Practical Aspects of Declarative Languages, 2001

The Complexity of Model Checking Mobile Ambients.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

Accurate Widenings and Boundedness Properties of Timed Systems.
Proceedings of the Perspectives of System Informatics, 2001

2000
A uniform constraint-based framework for the verification of infinite state systems.
PhD thesis, 2000

Model Checking for Timed Logic Processes.
Proceedings of the Computational Logic, 2000

1999
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999


  Loading...