Arpit Sharma
Orcid: 0009-0006-3923-2492Affiliations:
- Indian Institute of Science Education and Research Bhopal (IISER Bhopal), India
- RWTH Aachen Technical University, Germany (PhD)
According to our database1,
Arpit Sharma
authored at least 29 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Proceedings of the Quality of Information and Communications Technology, 2024
2023
Sci. Comput. Program., August, 2023
CoRR, 2023
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
2022
Proceedings of the 2022 IEEE/ACM 1st International Workshop on Natural Language-Based Software Engineering (NLBSE 2022), 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
Linguistically Motivated Features for Classifying Shorter Text into Fiction and Non-Fiction Genre.
Proceedings of the 29th International Conference on Computational Linguistics, 2022
2021
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism.
Theor. Comput. Sci., 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Crawling Wikipedia Pages to Train Word Embeddings Model for Software Engineering Domain.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021
A Generalized Semantic Filter for Glossary Term Extraction from Large-Sized Software Requirements.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021
Proceedings of the Performance Engineering and Stochastic Modeling, 2021
2020
Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020
Clustering Glossary Terms Extracted from Large-Sized Software Requirements using FastText.
Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020
2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
On the Use of Word Embeddings for Identifying Domain Specific Ambiguities in Requirements.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019
2018
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
2017
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
2015
PhD thesis, 2015
2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
2012
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012
2011
Proceedings of the Perspectives of Systems Informatics, 2011