Balakrishnan, Anand; Deshmukh, Jyotirmoy V. Poster abstract: Structured reward functions using STL. (English) Zbl 07120168 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 270-271 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. Balakrishnan} and \textit{J. V. Deshmukh}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 270--271 (2019; Zbl 07120168) Full Text: DOI
Qin, Xin; Deshmukh, Jyotirmoy V. Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. (English) Zbl 07120166 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 266-267 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{X. Qin} and \textit{J. V. Deshmukh}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 266--267 (2019; Zbl 07120166) Full Text: DOI
Deshmukh, Jyotirmoy V.; Kyriakis, Panagiotis; Bogdan, Paul Stochastic temporal logic abstractions: challenges and opportunities. (English) Zbl 06989596 Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00150-6/pbk; 978-3-030-00151-3/ebook). Lecture Notes in Computer Science 11022, 3-16 (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. V. Deshmukh} et al., Lect. Notes Comput. Sci. 11022, 3--16 (2018; Zbl 06989596) Full Text: DOI
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
Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Butts, Ken; Johnson, Taylor T. Abnormal data classification using time-frequency temporal logic. (English) Zbl 1366.94120 Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 237-242 (2017). MSC: 94A12 68T05 PDF BibTeX XML Cite \textit{L. V. Nguyen} et al., in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 237--242 (2017; Zbl 1366.94120) Full Text: DOI
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. Quantifying conformance using the Skorokhod metric. (English) Zbl 1360.68629 Form. Methods Syst. Des. 50, No. 2-3, 168-206 (2017). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. V. Deshmukh} et al., Form. Methods Syst. Des. 50, No. 2--3, 168--206 (2017; Zbl 1360.68629) Full Text: DOI
Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing Symbolic-numeric reachability analysis of closed-loop control software. (English) Zbl 1364.93058 Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 135-144 (2016). MSC: 93B03 93B40 93C30 93C10 PDF BibTeX XML Cite \textit{A. Zutshi} et al., in: Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12--14, 2016. New York, NY: Association for Computing Machinery (ACM). 135--144 (2016; Zbl 1364.93058) Full Text: DOI
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. Quantifying conformance using the Skorokhod metric. (English) Zbl 1381.68156 Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-21667-6/pbk; 978-3-319-21668-3/ebook). Lecture Notes in Computer Science 9207, 234-250 (2015). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. V. Deshmukh} et al., Lect. Notes Comput. Sci. 9207, 234--250 (2015; Zbl 1381.68156) Full Text: DOI
Aréchiga, Nikos; Kapinski, James; Deshmukh, Jyotirmoy V.; Platzer, André; Krogh, Bruce Numerically-aided deductive safety proof for a powertrain control system. (English) Zbl 1351.68150 Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 19-25 (2015). MSC: 68Q60 68T15 93C30 PDF BibTeX XML Cite \textit{N. Aréchiga} et al., Electron. Notes Theor. Comput. Sci. 317, 19--25 (2015; Zbl 1351.68150) Full Text: DOI
Kapinski, James; Deshmukh, Jyotirmoy Discovering forward invariant sets for nonlinear dynamical systems. (English) Zbl 1327.37027 Cojocaru, Monica G. (ed.) et al., Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26–30, 2013. Cham: Springer (ISBN 978-3-319-12306-6/hbk; 978-3-319-12307-3/ebook). Springer Proceedings in Mathematics & Statistics 117, 259-264 (2015). MSC: 37M25 PDF BibTeX XML Cite \textit{J. Kapinski} and \textit{J. Deshmukh}, in: Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26--30, 2013. Cham: Springer. 259--264 (2015; Zbl 1327.37027) Full Text: DOI
Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded Stochastic local search for falsification of hybrid systems. (English) Zbl 06527571 Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). Lecture Notes in Computer Science 9364, 500-517 (2015). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Deshmukh} et al., Lect. Notes Comput. Sci. 9364, 500--517 (2015; Zbl 06527571) 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
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos Simulation-guided Lyapunov analysis for hybrid dynamical systems. (English) Zbl 1362.93108 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). 133-142 (2014). MSC: 93D05 93D30 93C10 93C30 PDF BibTeX XML Cite \textit{J. Kapinski} 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). 133--142 (2014; Zbl 1362.93108) Full Text: DOI
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei Regular functions and cost register automata (invited paper). (English) Zbl 1366.68046 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 13-22 (2013). MSC: 68Q05 68Q10 68Q45 PDF BibTeX XML Cite \textit{R. Alur} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 13--22 (2013; Zbl 1366.68046) Full Text: DOI
Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A. Mining requirements from closed-loop control models. (English) Zbl 1362.93008 Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 43-52 (2013). MSC: 93A30 93C95 93B40 PDF BibTeX XML Cite \textit{X. Jin} et al., in: Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8--11, 2013. New York, NY: Association for Computing Machinery (ACM). 43--52 (2013; Zbl 1362.93008) Full Text: DOI
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat Robustness analysis of networked systems. (English) Zbl 1426.68186 Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 229-247 (2013). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{R. Samanta} et al., Lect. Notes Comput. Sci. 7737, 229--247 (2013; Zbl 1426.68186) Full Text: DOI
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat Robustness analysis of string transducers. (English) Zbl 1410.68210 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 427-441 (2013). MSC: 68Q45 68Q25 68Q60 PDF BibTeX XML Cite \textit{R. Samanta} et al., Lect. Notes Comput. Sci. 8172, 427--441 (2013; Zbl 1410.68210) Full Text: DOI
Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil Logical concurrency control from sequential proofs. (English) Zbl 1237.68060 Log. Methods Comput. Sci. 7, No. 3, Paper No. 10, 29 p. (2011). MSC: 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Deshmukh} et al., Log. Methods Comput. Sci. 7, No. 3, Paper No. 10, 29 p. (2011; Zbl 1237.68060) 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
Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil Logical concurrency control from sequential proofs. (English) Zbl 1260.68091 Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 226-245 (2010). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{J. Deshmukh} et al., Lect. Notes Comput. Sci. 6012, 226--245 (2010; Zbl 1260.68091) Full Text: DOI
Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek Automatic verification of parameterized data structures. (English) Zbl 1180.68126 Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33056-9/pbk). Lecture Notes in Computer Science 3920, 27-41 (2006). MSC: 68P05 68Q60 PDF BibTeX XML Cite \textit{J. V. Deshmukh} et al., Lect. Notes Comput. Sci. 3920, 27--41 (2006; Zbl 1180.68126) Full Text: DOI