Suman Roy

According to our database, Suman Roy authored at least 59 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Call Reason Prediction using Hierarchical Models.

Vijay Varma Malladi, Suman Roy

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Transfer Learning Improves Unsupervised Assignment of ICD codes with Clinical Notes.

Amit Kumar, Souparna Das, Suman Roy

Proceedings of the IEEE International Conference on Digital Health, 2023

2022

A fast unsupervised assignment of ICD codes with clinical notes through explanations.

Amit Kumar, Suman Roy, Sourabh Kumar Bhattacharjee

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

LJST: A Semi-supervised Joint Sentiment-Topic Model for Short Texts.

Ayan Sengupta, Suman Roy, Gaurav Ranjan

SN Comput. Sci., 2021

An Embedding-based Joint Sentiment-Topic Model for Short Texts.

Ayan Sengupta, William Scott Paka, Suman Roy, Gaurav Ranjan, Tanmoy Chakraborty

Proceedings of the Fifteenth International AAAI Conference on Web and Social Media, 2021

An Embedded Representation Learning of Relational Clinical Codes.

Suman Roy, Amit Kumar, Ayan Sengupta, Riccardo Mattivi, Selim Ahmed, Michael Bridges

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

Gated Transformer for Robust De-noised Sequence-to-Sequence Modelling.

Ayan Sengupta, Amit Kumar, Sourabh Kumar Bhattacharjee, Suman Roy

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

2020

Online Topic Modeling for Short Texts.

Suman Roy, Vijay Varma Malladi, Ayan Sengupta, Souparna Das

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

A Hybrid Distributed Model for Learning Representation of Short Texts with Attribute Labels.

Shashi Kumar, Suman Roy, Vishal Pathak

Proceedings of the CoDS-COMAD 2020: 7th ACM IKDD CoDS and 25th COMAD, 2020

2018

Modeling Industrial Business Processes for Querying and Retrieving Using OWL+SWRL.

Suman Roy, Gabriel Silvatici Dayan, V. Devaraja Holla

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

A NMF-Based Learning of Topics and Clusters for IT Maintenance Tickets Aided by Heuristic.

Suman Roy, Vijay Varma Malladi, Abhishek Gangwar, Rajaprabu Dharmaraj

Proceedings of the Information Systems in the Big Data Era, 2018

Patterns for Process Edification in Process-Aware Information Systems.

Vrinda Yadav, Suman Roy, Rushikesh K. Joshi

Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017

Boosting Aided Approaches to QoS Prediction of IT Maintenance Tickets.

Raghav Sonavane, Suman Roy, Durga Prasad Muni

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Fuzzy QoS Modeling of IT Maintenance Tickets.

Suman Roy, Durga Prasad Muni, Adrija Bhattacharya, Dipanjan Dutta, Navin Budhiraja

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Goal Orchestrations: Modelling and Mining Flexible Business Processes.

Metta Santiputri, Aditya Ghose, Hoa Khanh Dam, Suman Roy

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Recommending resolutions of ITIL services tickets using Deep Neural Network.

Durga Prasad Muni, Suman Roy, Yeung Tack Yan John John Lew Chiang, Antoine Jean-Marie Viallet, Navin Budhiraja

Proceedings of the Fourth ACM IKDD Conferences on Data Sciences, 2017

2016

A Formal Framework for Diagnostic Analysis for Errors of Business Processes.

Suman Roy, A. S. M. Sajeev

Trans. Petri Nets Other Model. Concurr., 2016

A simplification of a real-time verification problem.

Suman Roy, Janardan Misra, Indranil Saha

Softw. Test. Verification Reliab., 2016

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.

Indranil Saha, Suman Roy, S. Ramesh

Proc. IEEE, 2016

Clustering and Labeling IT Maintenance Tickets.

Suman Roy, Durga Prasad Muni, John-John Yeung Tack Yan, Navin Budhiraja, Fabien Ceiler

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Annotating and Mining for Effects of Processes.

Suman Roy, Metta Santiputri, Aditya K. Ghose

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Recovering Resolutions for Application Maintenance Incidents.

Suman Roy, John-John Yeung Tack Yan, Navin Budhiraja, Aeran Lim

Proceedings of the IEEE International Conference on Services Computing, 2016

An Empirical Analysis of Diagnosis of Industrial Business Processes at Sub-process Levels.

Suman Roy, A. S. M. Sajeev, A. Gopichand, Adrija Bhattacharya

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

Extraction of Topic Map Ontology for Web Service-Oriented Enterprises.

Suman Roy, Kiran Prakash Sawant, Aditya Kale, Olivier Maurice Charvin

Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015

A New Threshold Certification Scheme Based Defense Against Sybil Attack for Sensor Networks.

Satyajit Banerjee, Debapriyay Mukhopadhyay, Suman Roy

Proceedings of the Information Systems Security - 11th International Conference, 2015

2014

An Empirical Study of Error Patterns in Industrial Business Process Models.

Suman Roy, A. S. M. Sajeev, Sidharth Bihary, Abhishek Ranjan

IEEE Trans. Serv. Comput., 2014

A decidable timeout-based extension of linear temporal logic.

Janardan Misra, Suman Roy

J. Appl. Non Class. Logics, 2014

Enforcing structure on textual use cases via annotation models.

Kiran Prakash Sawant, Suman Roy, Deepti Parachuri, François Plesse, Pushpak Bhattacharyya

Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

Deriving requirements model from textual use cases.

Kiran Prakash Sawant, Suman Roy, Srivibha Sripathi, François Plesse, A. S. M. Sajeev

Proceedings of the 36th International Conference on Software Engineering, 2014

Diagnosing Industrial Business Processes: Early Experiences.

Suman Roy, A. S. M. Sajeev, Srivibha Sripathy

Proceedings of the FM 2014: Formal Methods, 2014

2013

Generating topic maps from XML/XSD documents.

Suman Roy, Kiran Prakash Sawant, Olivier Maurice Charvin

Proceedings of the 6th ACM India Computing Convention, 2013

2012

Formalizing Business Process Using Hybrid Programs.

Suman Roy, Wlodek Drabent

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Process conformance using CSP.

Sidharth Bihary, Jagadish Koneti, Suman Roy

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

A Conformance Checker Tool CSPConCheck.

Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

A knowledge-based formalization of UBL processes using hybrid programs.

Sidharth Bihary, Suman Roy, Tan Zi Han, Kiran Prakash Sawant

Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies, 2012

A CSP-theoretic Framework of Checking Conformance of Business Processes.

Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

An efficient XML to OWL converter.

Damien Lacoste, Kiran Prakash Sawant, Suman Roy

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool.

Alberto Bastias, Sidharth Bihary, Suman Roy

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

A duration calculus with neighborhood modalities.

Suman Roy

J. Appl. Non Class. Logics, 2010

A Decidable Timeout based Extension of Propositional Linear Temporal Logic

Janardan Misra, Suman Roy

CoRR, 2010

A framework for security quantification of networked machines.

Hui Wang, Suman Roy, Amitabha Das, Sanjoy Kumar Paul

Proceedings of the Second International Conference on Communication Systems and Networks, 2010

Ontology modeling of UBL process diagrams using OWL.

Suman Roy, Kiran Prakash Sawant, Aditya K. Ghose

Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010

2009

Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions

Janardan Misra, Suman Roy

CoRR, 2009

An approach to reverse engineering of C programs to simulink models with conformance testing.

Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma

Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009

Intelligent business knowledge management using topic maps.

Faisal Karjikar, Suman Roy, Srinivas Padmanabhuni

Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, 2009

2007

Reasoning with 'And Then' and 'While'.

Suman Roy, Guido Sciavicco

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.

Indranil Saha, Suman Roy, Kuntal Chakraborty

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin.

Indranil Saha, Suman Roy

Proceedings of the 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 2007

Computationally and Resource Efficient Group Key Agreement for Ad Hoc Sensor Networks.

Dungara Ram Choudhary, Dev Anshul, Suman Roy, Chandrashekhar Thejaswi P. S.

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.

Indranil Saha, Janardan Misra, Suman Roy

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems.

Suman Roy, Bhaskar Chakraborty

Proceedings of the Implementation and Application of Automata, 2006

A Finite State Modeling of AFDX Frame Management Using Spin.

Indranil Saha, Suman Roy

Proceedings of the Formal Methods: Applications and Technology, 2006

A Sensor network design from a probabilistic automaton model of impersonation attack.

Suman Roy, Debapriyay Mukhopadhyay, Chandrashekhar Thejaswi P. S.

Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), 2006

2005

A ZKP-based identification scheme for base nodes in wireless sensor networks.

Dev Anshul, Suman Roy

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network.

Debapriyay Mukhopadhyay, Suman Roy

Proceedings of the Distributed Computing and Internet Technology, 2005

2004

Symbolic Verification of Infinite Systems using a Finite Union of DFAs.

Suman Roy

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2000

Completeness of neighbourhood logic.

Rana Barua, Suman Roy, Chaochen Zhou

J. Log. Comput., 2000

1998

Negation as Failure as Resolution.

Vijay Chandru, Suman Roy, Ramesh Subrahmanyam

Constraints An Int. J., 1998

1996

Constructive Negation in Definite Constraint Logic Programs.

Vijay Chandru, Suman Roy, Ramesh Subrahmanyam

Proceedings of the Concurrency and Parallelism, 1996