Suman Roy

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 26

Top Topics

Linear Temporal Logic

Business Processes

Top Venues

Publications

Amit Kumar, Souparna Das, Suman Roy
Transfer Learning Improves Unsupervised Assignment of ICD codes with Clinical Notes. ICDH (2023)
Vijay Varma Malladi, Suman Roy
Call Reason Prediction using Hierarchical Models. SAC (2023)
Amit Kumar, Suman Roy, Sourabh Kumar Bhattacharjee
A fast unsupervised assignment of ICD codes with clinical notes through explanations. SAC (2022)
Ayan Sengupta, Suman Roy, Gaurav Ranjan
LJST: A Semi-supervised Joint Sentiment-Topic Model for Short Texts. SN Comput. Sci. 2 (4) (2021)
Ayan Sengupta, William Scott Paka, Suman Roy, Gaurav Ranjan, Tanmoy Chakraborty
An Embedding-based Joint Sentiment-Topic Model for Short Texts. ICWSM (2021)
Ayan Sengupta, Amit Kumar, Sourabh Kumar Bhattacharjee, Suman Roy
Gated Transformer for Robust De-noised Sequence-to-Sequence Modelling. EMNLP (Findings) (2021)
Ayan Sengupta, William Scott Paka, Suman Roy, Gaurav Ranjan, Tanmoy Chakraborty
An Embedding-based Joint Sentiment-Topic Model for Short Texts. CoRR (2021)
Suman Roy, Amit Kumar, Ayan Sengupta, Riccardo Mattivi, Selim Ahmed, Michael Bridges
An Embedded Representation Learning of Relational Clinical Codes. ICSOC (2021)
Suman Roy, Vijay Varma Malladi, Ayan Sengupta, Souparna Das
Online Topic Modeling for Short Texts. ICSOC (2020)
Shashi Kumar, Suman Roy, Vishal Pathak
A Hybrid Distributed Model for Learning Representation of Short Texts with Attribute Labels. COMAD/CODS (2020)
Suman Roy, Vijay Varma Malladi, Abhishek Gangwar, Rajaprabu Dharmaraj
A NMF-Based Learning of Topics and Clusters for IT Maintenance Tickets Aided by Heuristic. CAiSE Forum (2018)
Suman Roy, Gabriel Silvatici Dayan, V. Devaraja Holla
Modeling Industrial Business Processes for Querying and Retrieving Using OWL+SWRL. OTM Conferences (2) (2018)
Vrinda Yadav, Suman Roy, Rushikesh K. Joshi
Patterns for Process Edification in Process-Aware Information Systems. SCC (2018)
Raghav Sonavane, Suman Roy, Durga Prasad Muni
Boosting Aided Approaches to QoS Prediction of IT Maintenance Tickets. OTM Conferences (1) (2017)
Suman Roy, Durga Prasad Muni, Adrija Bhattacharya, Dipanjan Dutta, Navin Budhiraja
Fuzzy QoS Modeling of IT Maintenance Tickets. ICWS (2017)
Metta Santiputri, Aditya Ghose, Hoa Khanh Dam, Suman Roy
Goal Orchestrations: Modelling and Mining Flexible Business Processes. ER (2017)
Durga Prasad Muni, Suman Roy, Yeung Tack Yan John John Lew Chiang, Antoine Jean-Marie Viallet, Navin Budhiraja
Recommending resolutions of ITIL services tickets using Deep Neural Network. CODS (2017)
Suman Roy, Metta Santiputri, Aditya K. Ghose
Annotating and Mining for Effects of Processes. ER (2016)
Suman Roy, John-John Yeung Tack Yan, Navin Budhiraja, Aeran Lim
Recovering Resolutions for Application Maintenance Incidents. SCC (2016)
Suman Roy, A. S. M. Sajeev
A Formal Framework for Diagnostic Analysis for Errors of Business Processes. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Suman Roy, Durga Prasad Muni, John-John Yeung Tack Yan, Navin Budhiraja, Fabien Ceiler
Clustering and Labeling IT Maintenance Tickets. ICSOC (2016)
Indranil Saha, Suman Roy, S. Ramesh
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. Proc. IEEE 104 (5) (2016)
Suman Roy, A. S. M. Sajeev, A. Gopichand, Adrija Bhattacharya
An Empirical Analysis of Diagnosis of Industrial Business Processes at Sub-process Levels. SCC (2016)
Suman Roy, Janardan Misra, Indranil Saha
A simplification of a real-time verification problem. Softw. Test. Verification Reliab. 26 (8) (2016)
Suman Roy, Kiran Prakash Sawant, Aditya Kale, Olivier Maurice Charvin
Extraction of Topic Map Ontology for Web Service-Oriented Enterprises. ICSOC Workshops (2015)
Satyajit Banerjee, Debapriyay Mukhopadhyay, Suman Roy
A New Threshold Certification Scheme Based Defense Against Sybil Attack for Sensor Networks. ICISS (2015)
Suman Roy, A. S. M. Sajeev, Sidharth Bihary, Abhishek Ranjan
An Empirical Study of Error Patterns in Industrial Business Process Models. IEEE Trans. Serv. Comput. 7 (2) (2014)
Suman Roy, A. S. M. Sajeev, Srivibha Sripathy
Diagnosing Industrial Business Processes: Early Experiences. FM (2014)
Kiran Prakash Sawant, Suman Roy, Deepti Parachuri, François Plesse, Pushpak Bhattacharyya
Enforcing structure on textual use cases via annotation models. ISEC (2014)
Kiran Prakash Sawant, Suman Roy, Srivibha Sripathi, François Plesse, A. S. M. Sajeev
Deriving requirements model from textual use cases. ICSE Companion (2014)
Janardan Misra, Suman Roy
A decidable timeout-based extension of linear temporal logic. J. Appl. Non Class. Logics 24 (3) (2014)
Suman Roy, Kiran Prakash Sawant, Olivier Maurice Charvin
Generating topic maps from XML/XSD documents. COMPUTE (2013)
Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos
A CSP-theoretic Framework of Checking Conformance of Business Processes. APSEC (2012)
Suman Roy, Wlodek Drabent
Formalizing Business Process Using Hybrid Programs. OWLED (2012)
Sidharth Bihary, Jagadish Koneti, Suman Roy
Process conformance using CSP. ISEC (2012)
Sidharth Bihary, Suman Roy, Tan Zi Han, Kiran Prakash Sawant
A knowledge-based formalization of UBL processes using hybrid programs. COMPUTE (2012)
Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos
A Conformance Checker Tool CSPConCheck. ICTAC (2012)
Damien Lacoste, Kiran Prakash Sawant, Suman Roy
An efficient XML to OWL converter. ISEC (2011)
Alberto Bastias, Sidharth Bihary, Suman Roy
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. APSEC (2011)
Janardan Misra, Suman Roy
A Decidable Timeout based Extension of Propositional Linear Temporal Logic CoRR (2010)
Suman Roy
A duration calculus with neighborhood modalities. J. Appl. Non Class. Logics 20 (1-2) (2010)
Hui Wang, Suman Roy, Amitabha Das, Sanjoy Kumar Paul
A framework for security quantification of networked machines. COMSNETS (2010)
Indranil Saha, Janardan Misra, Suman Roy
A Simplification of a Real-Time Verification Problem CoRR (2010)
Suman Roy, Kiran Prakash Sawant, Aditya K. Ghose
Ontology modeling of UBL process diagrams using OWL. CISIM (2010)
Faisal Karjikar, Suman Roy, Srinivas Padmanabhuni
Intelligent business knowledge management using topic maps. Bangalore Compute Conf. (2009)
Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma
An approach to reverse engineering of C programs to simulink models with conformance testing. ISEC (2009)
Janardan Misra, Suman Roy
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions CoRR (2009)
Dungara Ram Choudhary, Dev Anshul, Suman Roy, Chandrashekhar Thejaswi P. S.
Computationally and Resource Efficient Group Key Agreement for Ad Hoc Sensor Networks. COMSWARE (2007)
Indranil Saha, Suman Roy, Kuntal Chakraborty
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. SEFM (2007)
Indranil Saha, Suman Roy
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ICCTA (2007)
Indranil Saha, Janardan Misra, Suman Roy
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA (2007)
Suman Roy, Guido Sciavicco
Reasoning with 'And Then' and 'While'. TIME (2007)
Suman Roy, Bhaskar Chakraborty
A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems. CIAA (2006)
Suman Roy, Debapriyay Mukhopadhyay, Chandrashekhar Thejaswi P. S.
A Sensor network design from a probabilistic automaton model of impersonation attack. COMSWARE (2006)
Indranil Saha, Suman Roy
A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC (2006)
Debapriyay Mukhopadhyay, Suman Roy
A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network. ICDCIT (2005)
Dev Anshul, Suman Roy
A ZKP-based identification scheme for base nodes in wireless sensor networks. SAC (2005)
Suman Roy
Symbolic Verification of Infinite Systems using a Finite Union of DFAs. SEFM (2004)
Rana Barua, Suman Roy, Chaochen Zhou
Completeness of neighbourhood logic. J. Log. Comput. 10 (2) (2000)
Rana Barua, Suman Roy, Zhou Chaochen
Completeness of Neighbourhood Logic. STACS (1999)
Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
Negation as Failure as Resolution. Constraints An Int. J. 3 (4) (1998)
Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
Constructive Negation in Definite Constraint Logic Programs. ASIAN (1996)