20 citations · 28 across the 8 of their papers we have counts for
9 papers
Set Augmented Finite Automata over Infinite Alphabets
Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
A data language is a set of finite words defined on an infinite alphabet. Data languages are used to express properties associated with data values (domain defined over a countably…
A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips
Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty +1
Recent advances in digital microfluidic (DMF) technologies offer a promising platform for a wide variety of biochemical applications, such as DNA analysis, automated drug discovery…
Fast Falsification of Neural Networks using Property Directed Testing
Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik +1
Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verifica…
QoS aware Automatic Web Service Composition with Multiple objectives
Soumi Chattopadhyay, Ansuman Banerjee
With an increasing number of web services, providing an end-to-end Quality of Service (QoS) guarantee in responding to user queries is becoming an important concern. Multiple QoS p…
A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition
Soumi Chattopadhyay, Ansuman Banerjee
The semantic information regulates the expressiveness of a web service. State-of-the-art approaches in web services research have used the semantics of a web service for different…
QoS constrained Large Scale Web Service Composition using Abstraction Refinement
Soumi Chattopadhyay, Ansuman Banerjee
Efficient service composition in real time while providing necessary Quality of Service (QoS) guarantees has been a challenging research problem with ever growing complexity. Sever…