2 citations · 2 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2021★ 2 cited
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…
cs.AI2018
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…
cs.AI2018
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…