Arpit Sharma

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 22

Top Venues

ISEC

FACS

SAC

ICTAC

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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

Arpit Sharma.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arpit Sharma