Arpit Sharma
@Arpit_Sharma_CS
Followers
111
Following
1K
Media
42
Statuses
394
Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining
Bhopal, India
Joined December 2019
Our paper titled "On the Use of Unsupervised Machine Learning for Classification of Crowd-Based Software Requirements" accepted at the Journal of Systems and Software is now available online for download https://t.co/9BmPPoQg9T
#unsupervised #clustering #classification #CrowdRE
0
0
1
Happy to share that our paper titled "An Empirical Analysis of Large Language Models for Sector Classification of Crowd-Based Software Requirements" has been accepted at the 41st ACM SAC 2026 conference in Requirements Engineering track #LLM #Classification #CrowdRE #userstory
0
0
1
4 Validated on a large-sized crowd-based requirements dataset for smart home application domain 5 A replication package for the requirements engineering community 6 Comparison with supervised learning and LLM baselines
1
0
1
The main highlights of this paper are as follows: 1 A novel framework for unsupervised requirements classification 2 Eliminates the need for costly and scarce labeled datasets in CrowdRE contexts 3 Identifies & uncovers labelling related issues in the existing ground truth
1
0
0
We would like to thank all the reviewers and guest editors for their valuable feedback and comments, which have greatly helped us in improving the quality of our paper
1
0
0
Happy to share that our paper titled "On the Use of Unsupervised Machine Learning for Classification of Crowd-Based Software Requirements" has been accepted for publication in the Special Issue on Quality Assurance in ICT-based Systems of the Journal of Systems and Software (JSS)
1
0
1
Please contact me at arpit@iiserb.ac.in with your CV in case you are interested in this postdoctoral fellowship program (NPDF). My research interests: model checking, software verification, process mining, NLP for software requirements, concurrency https://t.co/Jyz1ztV0nb
0
0
1
Happy to share that our DATAMOD paper (with @das_susmoy) is now available online on the Springer Nature website #probabilistic #modelchecking #verification #temporal #interaction #dynamics #SupremeCourt #logic #rewards
https://t.co/GDvSeJG1u5
link.springer.com
The Supreme Court plays an extremely critical role in ensuring adherence to the rule of law and in strengthening the democracy. Due to this reason, modeling and analysis of small group interactions...
0
0
1
Embeddings Between State and Action Based Probabilistic Logics | Formal Aspects of Computing #probabilistic #Markovchains #verification #modelchecking #logic #processalgebra #bisimulation
dl.acm.org
This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings...
0
0
2
🗓️ RE'25 Research track submissions are due in 4 weeks 🗓️ 🔔 Deadline March 10, 2025 AoE 🔔 Hope you have been polishing your RE’25 research track papers. Its now less than a month left to the submission deadline. #RE25 Submit ⬇️ https://t.co/K2hOOndyhx
0
1
0
Our paper titled "Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings"@ Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday is now available online
1
0
3
We are pleased to announce that the deadlines for the call for abstracts and for the call for papers have been extended! 😃 - Call for abstracts new deadline: 18 November 2024 (less than one week! 🔔) - Call for papers new deadline: 25 November 2024 Do not forget to submit!
0
5
9
Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. https://t.co/n4IPbzAtO8
0
6
7
We are pleased to announce that the call for papers for Formali'SE 2025, Ottawa, Canada has been published! It is available on the dedicated website:
0
7
4
Our Formal Aspects of Computing journal paper is now available online (with @das_susmoy) #probabilistic #verification #modelchecking #model #Markovchain #logic #rewards #embeddings
https://t.co/YTu8sHJ5d5
dl.acm.org
This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings...
0
0
1