Publications

Publications for Arpit Sharma

2015
DownloadLink
[bibtex]
Arpit Sharma. Reduction Techniques for Nondeterministic and Probabilistic Systems. Phd Thesis at RWTH Aachen University, 2015.
2014
DOIDownloadLink
[bibtex]
Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata . 14th International Conference on Application of Concurrency to System Design (ACSD), ISBN 978-1-4799-4281-7, pages 21–31, IEEE, ISBN 978-1-4799-4281-7, 2014.
DOIDownloadLink
[bibtex]
Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Modal Specification Theories. Formal Aspects of Component Software (FACS 2013), 10th International Symposium (FACS), Revised Selected Papers, Volume 8348 of LNCS, pages 1–19, Springer, 2014.
2013
DownloadLink
[bibtex]
Arpit Sharma. A Two Step Perspective for Kripke Structure Reduction. 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Student Research Forum (ISBN 978-80-87136-15-7), , 2013.
2012
DownloadLink
[bibtex]
Arpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains. 8th Ershov Informatics Conference (PSI) , Volume 7162 of LNCS, pages 322–339, Springer Verlag, 2012.
DownloadLink
[bibtex]
Arpit Sharma. Weighted Probabilistic Equivalence Preserves omega-Regular Properties. 16th Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance Conference (MMB/DFT), Volume 7201 of LNCS, pages 121–135, Springer Verlag, 2012.