Arpit Sharma
@Arpit_Sharma_CS
Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining
Bạn có thể thích
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)
Please contact me at [email protected] 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 anrfonline.in/ANRF/npdf?Home…
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 link.springer.com/chapter/10.100…
Embeddings Between State and Action Based Probabilistic Logics | Formal Aspects of Computing #probabilistic #Markovchains #verification #modelchecking #logic #processalgebra #bisimulation dl.acm.org/doi/10.1145/36…
🗓️ 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 ⬇️ conf.researchr.org/track/RE-2025/…
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!
Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. mailchi.mp/6dcb7cfdefb9/a…
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: 2025.formalise.org
Our Formal Aspects of Computing journal paper is now available online (with @das_susmoy) #probabilistic #verification #modelchecking #model #Markovchain #logic #rewards #embeddings dl.acm.org/doi/10.1145/36…
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
United States Xu hướng
- 1. Cynthia 66.5K posts
- 2. #WorldKindnessDay 9,744 posts
- 3. Good Thursday 32K posts
- 4. #GrabFoodMegaSalexหลิงออม 645K posts
- 5. Larry Brooks 1,156 posts
- 6. RIP Brooksie N/A
- 7. Rejoice in the Lord 2,555 posts
- 8. Happy Friday Eve N/A
- 9. Taylor Fritz N/A
- 10. Michael Burry 8,906 posts
- 11. #thursdaymotivation 2,114 posts
- 12. #SwiftDay N/A
- 13. #thursdayvibes 2,907 posts
- 14. $MYNZ N/A
- 15. RIP Larry 1,105 posts
- 16. THEATRE EFW2025 X CL 370K posts
- 17. Bonhoeffer N/A
- 18. Mollie 2,256 posts
- 19. 2026 YEAR OF BTS AND ARMY 40.6K posts
- 20. StandX 2,026 posts
Something went wrong.
Something went wrong.