Ansuman Banerjee
Orcid: 0000-0003-0220-646X
According to our database1,
Ansuman Banerjee
authored at least 141 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Netw. Serv. Manag., April, 2024
ACM Trans. Design Autom. Electr. Syst., 2024
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.
Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024
Proceedings of the 17th Innovations in Software Engineering Conference, 2024
Proceedings of the 16th International Conference on COMmunication Systems & NETworkS, 2024
2023
ACM Trans. Embed. Comput. Syst., March, 2023
Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking.
IEEE Trans. Dependable Secur. Comput., 2023
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023
Proceedings of the 7th International Conference on Algorithms, Computing and Systems, 2023
Proceedings of the Developments in Language Theory - 27th International Conference, 2023
Proceedings of the 15th International Conference on COMmunication Systems & NETworkS, 2023
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023
2022
IEEE Trans. Serv. Comput., 2022
A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips.
CoRR, 2022
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
2021
A Framework for Validation of Synthesized MicroElectrode Dot Array Actuations for Digital Microfluidic Biochips.
ACM Trans. Design Autom. Electr. Syst., 2021
Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking.
IEEE Trans. Netw. Serv. Manag., 2021
Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning.
ACM Trans. Embed. Comput. Syst., 2021
Innov. Syst. Softw. Eng., 2021
Proceedings of the 2021 IEEE International Conference on Web Services, 2021
Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations.
Proceedings of the Service-Oriented Computing - 19th International Conference, 2021
A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing.
Proceedings of the IEEE International Conference on Edge Computing, 2021
2020
ACM Trans. Web, 2020
IEEE Trans. Serv. Comput., 2020
Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips.
ACM Trans. Design Autom. Electr. Syst., 2020
Trans. Comput. Sci., 2020
Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache.
IEEE Embed. Syst. Lett., 2020
Proceedings of the Research Challenges in Information Science, 2020
Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020
Proceedings of the 5th IEEE/ACM Symposium on Edge Computing, 2020
Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing.
Proceedings of the 2020 IEEE International Conference on Web Services, 2020
Proceedings of the Service-Oriented Computing - 18th International Conference, 2020
Proceedings of the ICDCN 2020: 21st International Conference on Distributed Computing and Networking, 2020
2019
ACM Trans. Design Autom. Electr. Syst., 2019
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019
Int. J. High Perform. Syst. Archit., 2019
Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach.
Proceedings of the 12th IEEE Conference on Service-Oriented Computing and Applications, 2019
Proceedings of the 12th IEEE Conference on Service-Oriented Computing and Applications, 2019
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
QoS Value Prediction Using a Combination of Filtering Method and Neural Network Regression.
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019
Proceedings of the Advanced Computing and Systems for Security, 2019
2018
ACM Trans. Design Autom. Electr. Syst., 2018
ACM J. Emerg. Technol. Comput. Syst., 2018
A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition.
CoRR, 2018
ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems.
Proceedings of the Network and System Security - 12th International Conference, 2018
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018
2017
IEEE Trans. Software Eng., 2017
Adaptation of Biochemical Protocols to Handle Technology-Change for Digital Microfluidics.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Customer on-boarding strategies for cloud computing services with dynamic service-level agreements.
Serv. Oriented Comput. Appl., 2017
Proceedings of the VLSI Design and Test - 21st International Symposium, 2017
Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017
Security assessment of synthesized actuation sequences for digital microfluidic biochips.
Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017
Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017
Proceedings of the Information Systems Security - 13th International Conference, 2017
A utility-driven data transmission optimization strategy in large scale cyber-physical systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017
2016
Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life Sciences.
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016
Proceedings of the Third International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, 2016
Improving Energy Efficiency of Mobile Execution Exploiting Similarity of Application Control Flow.
Proceedings of the 14th International Conference on Advances in Mobile Computing and Multi Media, 2016
Proceedings of the IEEE International Conference on Web Services, 2016
Proceedings of the 2016 IEEE Asian Hardware-Oriented Security and Trust, 2016
Service Level Guarantee for Mobile Application Offloading in Presence of Wireless Channel Errors.
Proceedings of the 2016 IEEE Global Communications Conference, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
A Verification Guided Approach for Selective Program Transformations for Approximate Computing.
Proceedings of the 25th IEEE Asian Test Symposium, 2016
Proceedings of the IEEE International Conference on Services Computing, 2016
Proceedings of the IEEE International Conference on Services Computing, 2016
Proceedings of the IEEE International Conference on Services Computing, 2016
2015
Proceedings of the 28th International Conference on VLSI Design, 2015
Proceedings of the 19th International Symposium on VLSI Design and Test, 2015
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015
Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2015
Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2015
Proceedings of the 10th IEEE International Conference on Networking, 2015
Proceedings of the 13th International Conference on Advances in Mobile Computing and Multimedia, 2015
Proceedings of the MEDINFO 2015: eHealth-enabled Health, 2015
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015
Proceedings of the Information Systems Security - 11th International Conference, 2015
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2015
A New Approach for Minimal Environment Construction for Modular Property Verification.
Proceedings of the 24th IEEE Asian Test Symposium, 2015
A Framework for Fast Service Verification and Query Execution for Boolean Service Rules.
Proceedings of the Advances in Services Computing, 2015
2014
IET Comput. Digit. Tech., 2014
Proceedings of the IEEE World Forum on Internet of Things, 2014
Tutorial T2B: Cost / Application / Time to Market Driven SoC Design and Manufacturing Strategy.
Proceedings of the 2014 27th International Conference on VLSI Design, 2014
Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip.
Proceedings of the 2014 27th International Conference on VLSI Design, 2014
A Framework for Speculative Scheduling and Device Selection for Task Execution on a Mobile Cloud.
Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2014
An access point to device association technique for optimized data transfer in mobile grids.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014
Proceedings of the Distributed Computing and Internet Technology, 2014
Design automation for biochemistry synthesis on a digital microfluidic lab-on-a-chip.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014
2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
CoRR, 2013
Proceedings of the VLSI Design and Test, 17th International Symposium, 2013
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013
Proceedings of the First International Workshop on Middleware for Cloud-enabled Sensing, 2013
On Producing Linear Dilution Gradient of a Sample with a Digital Microfluidic Biochip.
Proceedings of the 2013 International Symposium on Electronic System Design, 2013
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013
2012
Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the International Symposium on Electronic System Design, 2012
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies, 2012
Proceedings of the 21st IEEE Asian Test Symposium, 2012
Formal methods for coverage analysis of architectural power states in power-managed designs.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012
2011
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces.
Proceedings of the 20th IEEE Asian Test Symposium, 2011
2010
Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
2008
ACM Trans. Design Autom. Electr. Syst., 2008
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
BUSpec: A framework for generation of verification aids for standard bus protocol specifications.
Integr., 2007
2006
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the 43rd Design Automation Conference, 2006
2005
The open family of temporal logics: Annotating temporal operators with input constraints.
ACM Trans. Design Autom. Electr. Syst., 2005
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.
Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005
2004
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004
The BUSpec platform for automated generation of verification aids for standard bus protocols.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
Formal verification coverage: computing the coverage gap between temporal specifications.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004
2003
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
2002
Proceedings of the 39th Design Automation Conference, 2002