Arpit Sharma

34 papers B 2C 3Misc 5Journal 6Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
On the use of unsupervised machine learning for classification of crowd-based software requirements.
J. Syst. Softw.
Naimish Sharma, Arpit Sharma
2025 J jnl
Embeddings Between State and Action Based Probabilistic Logics.
Formal Aspects Comput.
Susmoy Das, Arpit Sharma
2024 Misc conf
A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.
SAC
Susmoy Das, Arpit Sharma
2024 Misc conf
Classification of Crowd-Based Software Requirements via Unsupervised Learning.
QUATIC
Naimish Sharma, Arpit Sharma
2024 — conf
Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings.
Principles of Verification (2)
Susmoy Das, Arpit Sharma
2023 C conf
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.
FORTE
Susmoy Das, Arpit Sharma
2023 — conf
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.
DataMod
Susmoy Das, Arpit Sharma
2023 J jnl
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.
CoRR
Susmoy Das, Arpit Sharma
2023 J jnl
TABASCO: A transformer based contextualization toolkit.
Sci. Comput. Program.
Ambarish Moharil, Arpit Sharma
2022 — conf
Embeddings Between State and Action Based Probabilistic Logics.
FACS
Susmoy Das, Arpit Sharma
2022 — conf
Identification of Intra-Domain Ambiguity using Transformer-based Machine Learning.
NLBSE
Ambarish Moharil, Arpit Sharma
2022 B conf
Linguistically Motivated Features for Classifying Shorter Text into Fiction and Non-Fiction Genre.
COLING
Arman Kazmi, Sidharth Ranjan, Arpit Sharma, Rajakrishnan Rajkumar
2021 — conf
A Generalized Semantic Filter for Glossary Term Extraction from Large-Sized Software Requirements.
ISEC
Siba Mishra, Arpit Sharma
2021 — conf
Crawling Wikipedia Pages to Train Word Embeddings Model for Software Engineering Domain.
ISEC
Siba Mishra, Arpit Sharma
2021 Misc conf
Embeddings between state and action labeled probabilistic systems.
SAC
Susmoy Das, Arpit Sharma
2021 Misc conf
Sector classification for crowd-based software requirements.
SAC
Kushagra Bhatia, Arpit Sharma
2021 — conf
State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains.
EPEW
Susmoy Das, Arpit Sharma
2021 J jnl
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism.
Theor. Comput. Sci.
Arpit Sharma
2020 B conf
Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirements.
REFSQ
Siba Mishra, Arpit Sharma
2020 — conf
Clustering Glossary Terms Extracted from Large-Sized Software Requirements using FastText.
ISEC
Kushagra Bhatia, Siba Mishra, Arpit Sharma
2019 — conf
On the Use of Word Embeddings for Identifying Domain Specific Ambiguities in Requirements.
RE Workshops
Siba Mishra, Arpit Sharma
2019 — conf
Revisiting Trace Equivalences for Markov Automata.
FACS
Arpit Sharma
2019 Misc conf
Stuttering for Markov Automata.
TASE
Arpit Sharma
2019 C conf
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism.
ICTAC
Arpit Sharma
2018 — conf
Non-bisimulation Based Behavioral Relations for Markov Automata.
FORMATS
Arpit Sharma
2018 — conf
Trace Relations and Logical Preservation for Markov Automata.
FORMATS
Arpit Sharma
2017 — conf
Interactive Markovian Equivalence.
EPEW
Arpit Sharma
2017 C conf
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes.
ICTAC
Arpit Sharma
2015 — —
Reduction Techniques for Nondeterministic and Probabilistic Systems.
Arpit Sharma
2014 — conf
Layered Reduction for Abstract Probabilistic Automata.
ACSD
Arpit Sharma, Joost-Pieter Katoen
2013 — conf
Layered Reduction for Modal Specification Theories.
FACS
Arpit Sharma, Joost-Pieter Katoen
2012 J jnl
A Two Step Perspective for Kripke Structure Reduction
CoRR
Arpit Sharma
2012 — conf
Weighted Probabilistic Equivalence Preserves ω-Regular Properties.
MMB/DFT
Arpit Sharma
2011 — conf
Weighted Lumpability on Markov Chains.
Ershov Memorial Conference
Arpit Sharma, Joost-Pieter Katoen