Arpit Sharma
Assistant Professor
Electrical Engineering
Indian Institute of Science Education and Research, Bhopal
India
Biography
Postdoctoral Researcher, University of Florence, Italy. PhD in Computer Science, RWTH Aachen Technical University, Germany. Master of Science in Computer Science and Engineering, Technical University of Eindhoven, The Netherlands. Master of Technology in Software Engineering, Manipal Institute of Technology, India. Bachelor of Engineering in Computer Science, University of Rajasthan, India. Professional Experience Assistant Professor (July 2016 – Present), Department of Electrical Engineering and Computer Science, Indian Institute of Science Education and Research Bhopal, India. M.S. Intern, Laboratory for Quality Software, Eindhoven, The Netherlands. Project Assistant, Department of Computer Science and Information Systems, BITS Pilani, India.
Research Interest
Formal methods and specification languages Stochastic model checking. Abstraction techniques. Model-based requirements and software engineering. Model-based testing Software certification
Publications
-
Arpit Sharma,Joost Pieter Katoen: Layered Reduction for Abstract Probabilistic Automata Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD) Volume:IEEE Computer Society : 21-31 (2014)
-
Arpit Sharma: Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC) Volume:LNCS Springer : 1-17 (2017)
-
Arpit Sharma: Interactive Markovian Equivalence Proceedings of the 14th European Performance Engineering Workshop (EPEW) Volume:10497 LNCS Springer : 1-16 (2017)
