Arpit Sharma

Sci. Comput. Program., August, 2023

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.

[BibT_eX]

[DOI]

CoRR, 2023

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022

Identification of Intra-Domain Ambiguity using Transformer-based Machine Learning.

[BibT_eX]

[DOI]

Ambarish Moharil

Proceedings of the 2022 IEEE/ACM 1st International Workshop on Natural Language-Based Software Engineering (NLBSE 2022), 2022

Embeddings Between State and Action Based Probabilistic Logics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Arman Kazmi

Sidharth Ranjan

Rajakrishnan Rajkumar

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Embeddings between state and action labeled probabilistic systems.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Sector classification for crowd-based software requirements.

[BibT_eX]

[DOI]

Kushagra Bhatia

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Performance Engineering and Stochastic Modeling, 2021

2020

Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

Clustering Glossary Terms Extracted from Large-Sized Software Requirements using FastText.

[BibT_eX]

[DOI]

Kushagra Bhatia

Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

2019

Stuttering for Markov Automata.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Revisiting Trace Equivalences for Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Non-bisimulation Based Behavioral Relations for Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Trace Relations and Logical Preservation for Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017

Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Interactive Markovian Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2015

Reduction Techniques for Nondeterministic and Probabilistic Systems.

[BibT_eX]

[DOI]

PhD thesis, 2015

2014

Layered Reduction for Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Layered Reduction for Modal Specification Theories.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

A Two Step Perspective for Kripke Structure Reduction

[BibT_eX]

[DOI]

CoRR, 2012

Weighted Probabilistic Equivalence Preserves ω-Regular Properties.

[BibT_eX]

[DOI]

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

2011

Weighted Lumpability on Markov Chains.

[BibT_eX]

[DOI]