Publications

• Susmoy Das and Arpit Sharma. A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems. 39th ACM/SIGAPP Symposium On Applied Computing (SAC). ACM (2024)

• Susmoy Das and Arpit Sharma. Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court. 11th International Symposium From Data To Models And Back (DATAMOD). LNCS Springer (2023)

• Ambarish Moharil and Arpit Sharma. TABASCO: A transformer based contextualization toolkit. Science of Computer Programming Journal, Volume 230, 102994, Elsevier (2023)

• Susmoy Das and Arpit Sharma. On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. Proceedings of the 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE). Volume 13910 LNCS Springer (2023)

• Susmoy Das and Arpit Sharma. Embeddings Between State and Action Based Probabilistic Logics. Proceedings of the 18th International Conference on Formal Aspects of Component Software (FACS). Volume 13712 LNCS Springer : 121-140 (2022)

• Arman Kazmi, Sidharth Ranjan, Arpit Sharma, Rajakrishnan Rajkumar. Linguistically Motivated Features for Classifying Shorter Text into Fiction and Non-Fiction Genre. Proceedings of the 29th International Conference on Computational Linguistics (COLING). International Committee on Computational Linguistics : 922-937 (2022)

• Ambarish Moharil and Arpit Sharma. Identification of Intra-Domain Ambiguity using Transformer-based Machine Learning. Workshop on Natural Language-based Software Engineering (NLBSE) - 44th ICSE Workshops. IEEE : 51-58 (2022)

• Susmoy Das and Arpit Sharma. State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains. Proceedings of the 17th European Performance Engineering Workshop (EPEW). Volume 13104 LNCS Springer : 44-61 (2021) 

• Susmoy Das and Arpit Sharma. Embeddings Between State and Action Labeled Probabilistic Systems. Proceedings of the 36th ACM/SIGAPP Symposium On Applied Computing (SAC). ACM : 1759-1767 (2021) 

• Kushagra Bhatia and Arpit Sharma. Sector Classification for Crowd-Based Software Requirements. Proceedings of the 36th ACM/SIGAPP Symposium On Applied Computing (SAC). ACM : 1312-1320 (2021) 

• Siba Mishra & Arpit Sharma.  A Generalized Semantic Filter for Glossary Term Extraction from Large-Sized Software Requirements. Proceedings of the 14th Innovations in Software Engineering Conference (ISEC). ACM : 4:1-4:9 (2021) 

• Siba Mishra & Arpit Sharma. Crawling Wikipedia Pages to Train Word Embeddings Model for Software Engineering Domain. Proceedings of the 14th Innovations in Software Engineering Conference (ISEC). ACM : 18:1-18:5  (2021)

• Arpit Sharma.  The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. Journal of Theoretical Computer Science (TCS), Volume 850 Elsevier : Pages 148-167 (2021)

• Siba Mishra & Arpit Sharma. Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirements. Proceedings of the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ). Volume 12045 LNCS Springer : 203-218 (2020)

• Kushagra Bhatia, Siba Mishra & Arpit Sharma. Clustering Glossary Terms Extracted from Large-Sized Software Requirements using FastText. Proceedings of the 13th Innovations in Software Engineering Conference (ISEC). ACM : 5:1-5:11 (2020) 

• Siba Mishra & Arpit Sharma. On the Use of Word Embeddings for Identifying Domain Specific Ambiguities in Requirements. 6th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Proceedings of the 27th International Requirements Engineering Conference Workshops (REW). IEEE Computer Society : 234-240 (2019)

• Arpit Sharma. Revisiting Trace Equivalences For Markov Automata. Proceedings of the 16th International Conference on Formal Aspects of Component Software (FACS). Volume 12018 LNCS Springer : 252-260 (2019) 

• Arpit Sharma. The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. Proceedings of the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC). Volume 11884 LNCS Springer (2019)

• Arpit Sharma. Stuttering for Markov Automata. Proceedings of the 13th International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society (2019) 

• Arpit Sharma. Trace Relations and Logical Preservation for Markov Automata . Proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) . Volume 11022 LNCS Springer : 162-178 (2018)

• Arpit Sharma. Non-Bisimulation Based Behavioral Relations for Markov Automata . Proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) . Volume 11022  LNCS Springer : 179-196 (2018)

• Arpit Sharma. Interactive Markovian Equivalence. Proceedings of the 14th European Performance Engineering Workshop (EPEW). Volume 10497 LNCS Springer : 33-49 (2017)

• Arpit Sharma. Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes. Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC). Volume 10580 LNCS Springer : 192-209 (2017)

• Arpit Sharma & Joost Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata. Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society : 21-31 (2014)

• Arpit Sharma & Joost Pieter Katoen. Layered Reduction for Modal Specification Theories. Proceedings of the 10th International Symposium on Formal Aspects of Component Software (FACS). Volume 8348 LNCS Springer : 329-347 (2013)

• Arpit Sharma. A Two Step Perspective for Kripke Structure Reduction. Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Student Research Forum Proceedings : 1-13 (2013)

• Arpit Sharma & Joost Pieter Katoen. Weighted Lumpability on Markov Chains. Proceedings of the 8th Ershov Informatics Conference (PSI). Volume 7162 LNCS Springer : 322-339 (2012)

• Arpit Sharma. Weighted Probabilistic Equivalence Preserves Omega-Regular Properties. Proceedings of the 16th Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance Conference (MMB/DFT). Volume:7201 LNCS Springer : 121-135 (2012)

Technical Reports

• Arpit Sharma. Reduction Techniques for Nondeterministic and Probabilistic Systems. AIB-2015-03, ISSN 0935-3232 (2015)