Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. Robust online monitoring of signal temporal logic. (English) Zbl 1370.68199 Form. Methods Syst. Des. 51, No. 1, 5-30 (2017). MSC: 68Q60 03B44 68W27 PDF BibTeX XML Cite \textit{J. V. Deshmukh} et al., Form. Methods Syst. Des. 51, No. 1, 5--30 (2017; Zbl 1370.68199) Full Text: DOI
Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken Powertrain control verification benchmark. (English) Zbl 1362.93070 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 253-262 (2014). MSC: 93C30 93A30 93C95 03B80 PDF BibTeX XML Cite \textit{X. Jin} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 253--262 (2014; Zbl 1362.93070) Full Text: DOI
Alur, Rajeev; Deshmukh, Jyotirmoy V. Nondeterministic streaming string transducers. (English) Zbl 1333.68157 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 1-20 (2011). MSC: 68Q45 03D05 68Q05 68Q25 PDF BibTeX XML Cite \textit{R. Alur} and \textit{J. V. Deshmukh}, Lect. Notes Comput. Sci. 6756, 1--20 (2011; Zbl 1333.68157) Full Text: DOI