Ministry of Education
Vidvan Image

Dr Arpit Sharma

vidwan id: 554717
Male

Assistant Professor, Department of Electrical Engineering and Computer Science
Indian Institute of Science Education and Research(IISER), Bhopal

Orchid Icon 0009-0006-3923-2492 Google Scholar Icon 59096558700 Google Scholar Icon x-BJJWsAAAAJ

Expertise

  • Electrical and Electronic Engineering

Publications

Total Articles 30
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 141
h-index 7

CrossRef

CrossRef Icon
Citations 0
h-index 0
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Formal Methods, Model Checking, Software Engineering, Machine Learning, Cyber Physical Systems

Personal Details

  • Male
  • Assistant Professor , Indian Institute of Science Education and Research(IISER), Bhopal
  • Department of Electrical Engineering and Computer Science, Indian Institute of Science Education and Research, Bhopal
No Data Found

There is currently nothing to display here.

Assistant Professor Jul 2016 – Present
Indian Institute of Science Education and Research(IISER), Bhopal | Department of Electrical Engineering and Computer Science

Related Profiles

Experts (19623+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (124+)

View All
Arundhuti

Dr Arundhuti Ghatak

Associate Professor

Atul Kumar

Dr Atul Kumar

Assistant Professor

Adarsh Bhaskar

Dr Adarsh Bhaskar Vasista

Assistant Professor

Aasheesh

Dr Aasheesh Srivastava

Professor

Ashis

Dr Ashis Biswas

Associate Professor

Bharathwaj

Dr Bharathwaj Sathyamoorthy

Associate Professor

Bhaskar

Dr Bhaskar Jyoti Neog

Assistant Professor

Biswajit

Dr Biswajit Patra

Assistant Professor

Angana

Dr Angana Chaudhuri

Assistant Professor

Amit

Dr Amit Paul

Assistant Professor

Co-Authors (1)

Siba

Dr Siba Mishra

CV Raman College of Engineering (CVRCE), Bhubaneswar

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Clustering glossary terms extracted from large-sized software requirements using fasttext

Open Access
Conference Paper
Year: 2020.
Authors: Bhatia K.;Mishra S.;Sharma A.
DOI 10.1145/3385032.3385039
10

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

Open Access
Conference Paper
Year: 2020. Volume: 12045 LNCS , Pages: 203-218 .
Authors: Mishra S.;Sharma A.
DOI 10.1007/978-3-030-44429-7_15
13

Revisiting Trace Equivalences for Markov Automata

Open Access
Conference Paper
Year: 2020. Volume: 12018 LNCS , Pages: 252-260 .
Authors: Sharma A.
DOI 10.1007/978-3-030-40914-2_14

On the use of word embeddings for identifying domain specific ambiguities in requirements

Open Access
Conference Paper
Year: 2019. Pages: 234-240 .
Authors: Mishra S.;Sharma A.
DOI 10.1109/REW.2019.00048
30

Stuttering for markov automata

Open Access
Conference Paper
Year: 2019. Pages: 144-151 .
Authors: Sharma A.
DOI 10.1109/TASE.2019.000-7
3

The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism

Open Access
Conference Paper
Year: 2019. Volume: 11884 LNCS , Pages: 41-58 .
Authors: Sharma A.
DOI 10.1007/978-3-030-32505-3_3
1

Non-bisimulation based behavioral relations for markov automata

Open Access
Conference Paper
Year: 2018. Volume: 11022 LNCS , Pages: 179-196 .
Authors: Sharma A.
DOI 10.1007/978-3-030-00151-3_11
1

Trace relations and logical preservation for markov automata

Open Access
Conference Paper
Year: 2018. Volume: 11022 LNCS , Pages: 162-178 .
Authors: Sharma A.
DOI 10.1007/978-3-030-00151-3_10
6