Arpit Sharma
@Arpit_Sharma_CS
Followers
111
Following
1K
Media
42
Statuses
388
Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining
Bhopal, India
Joined December 2019
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 .
0
0
0
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.
0
0
1
Embeddings Between State and Action Based Probabilistic Logics | Formal Aspects of Computing .#probabilistic #Markovchains #verification #modelchecking #logic #processalgebra #bisimulation
0
0
2
RT @ieee_re: 🗓️ RE'25 Research track submissions are due in 4 weeks 🗓️. 🔔 Deadline March 10, 2025 AoE 🔔. Hope you have been polishing your….
0
1
0
0
0
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
RT @FormaliSEconf: We are pleased to announce that the deadlines for the call for abstracts and for the call for papers have been extended!….
0
5
0
RT @anmavrid: Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper de….
0
6
0
RT @FormaliSEconf: We are pleased to announce that the call for papers for Formali'SE 2025, Ottawa, Canada has been published!. It is avail….
0
7
0
Our Formal Aspects of Computing journal paper is now available online (with @das_susmoy) #probabilistic #verification #modelchecking #model #Markovchain #logic #rewards #embeddings .
0
0
1
Happy to share that our paper(with @das_susmoy) titled "Embeddings Between State and Action Based Probabilistic Logics" has been accepted in the journal of Formal Aspects of Computing: Applicable Formal Methods ACM #verification #modelchecking #embedding #logic #Probabilistic.
0
0
1
Happy to share that our @quatic_conf2024 paper titled "Classification of Crowd-Based Software Requirements via Unsupervised Learning" is now available online on Springer CCIS #crowd #requirements #unsupervised #MachineLearning #classification #clustering.
0
0
0
RT @quatic_conf2024: The last session of today on Advancing Requirements Engineering is just starting with Arpit Sherma talking about Class….
0
1
0
RT @quatic_conf2024: 📢📢📢The #QUATIC2024 program is now available! Explore the full schedule of events and sessions at .
0
1
0