Suresh, Varsha P.; Pai, Rekha; D’Souza, Deepak; D’Souza, Meenakshi; Chakrabarti, Sujit Kumar Static race detection for periodic programs. (English) Zbl 1528.68086 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 290-316 (2022). MSC: 68N30 PDFBibTeX XMLCite \textit{V. P. Suresh} et al., Lect. Notes Comput. Sci. 13240, 290--316 (2022; Zbl 1528.68086) Full Text: DOI
Holla, Raveendra; Deka, Nabarun; D’souza, Deepak On the expressive equivalence of TPTL in the pointwise and continuous semantics. (English) Zbl 07799623 Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 45, 21 p. (2021). MSC: 68N30 68Qxx PDFBibTeX XMLCite \textit{R. Holla} et al., LIPIcs -- Leibniz Int. Proc. Inform. 213, Article 45, 21 p. (2021; Zbl 07799623) Full Text: DOI
Pai, Rekha; Singh, Abhishek; D’Souza, Deepak; D’Souza, Meenakshi; Prakash, Prathibha Static analysis for detecting high-level races in RTOS kernels. (English) Zbl 1505.68006 Form. Methods Syst. Des. 58, No. 1-2, 294-321 (2021). MSC: 68N30 PDFBibTeX XMLCite \textit{R. Pai} et al., Form. Methods Syst. Des. 58, No. 1--2, 294--321 (2021; Zbl 1505.68006) Full Text: DOI
Chopra, Nikita; Pai, Rekha; D’Souza, Deepak Data races and static analysis for interrupt-driven kernels. (English) Zbl 1524.68063 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 697-723 (2019). MSC: 68N19 PDFBibTeX XMLCite \textit{N. Chopra} et al., Lect. Notes Comput. Sci. 11423, 697--723 (2019; Zbl 1524.68063) Full Text: DOI
Mukherjee, Suvam; Padon, Oded; Shoham, Sharon; D’Souza, Deepak; Rinetzky, Noam Thread-local semantics and its efficient sequential abstractions for race-free programs. (English) Zbl 1420.68114 Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 253-276 (2017). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{S. Mukherjee} et al., Lect. Notes Comput. Sci. 10422, 253--276 (2017; Zbl 1420.68114) Full Text: DOI arXiv
DSouza, Deepak (ed.); Lal, Akash (ed.) Special issue on the 16th international conference on verification, model checking, and abstract interpretation. (English) Zbl 1379.68006 Comput. Lang. Syst. Struct. 47, Part 1, 1 (2017). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{D. DSouza} (ed.) and \textit{A. Lal} (ed.), Comput. Lang. Syst. Struct. 47, Part 1, 1 (2017; Zbl 1379.68006) Full Text: DOI
D’Souza, Deepak (ed.); Narayan Kumar, K. (ed.) Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. (English) Zbl 1372.68007 Lecture Notes in Computer Science 10482. Cham: Springer (ISBN 978-3-319-68166-5/pbk; 978-3-319-68167-2/ebook). xix, 482 p. (2017). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{D. D'Souza} (ed.) and \textit{K. Narayan Kumar} (ed.), Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3--6, 2017. Proceedings. Cham: Springer (2017; Zbl 1372.68007) Full Text: DOI
Cheng, Shu; Woodcock, Jim; D’Souza, Deepak Using formal reasoning on a model of tasks for FreeRTOS. (English) Zbl 1328.68044 Formal Asp. Comput. 27, No. 1, 167-192 (2015). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{S. Cheng} et al., Formal Asp. Comput. 27, No. 1, 167--192 (2015; Zbl 1328.68044) Full Text: DOI
D’Souza, Deepak (ed.); Lal, Akash (ed.); Larsen, Kim Guldstrand (ed.) Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. (English) Zbl 1303.68013 Lecture Notes in Computer Science 8931. Berlin: Springer (ISBN 978-3-662-46080-1/pbk). xviii, 467 p. (2015). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{D. D'Souza} (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12--14, 2015. Proceedings. Berlin: Springer (2015; Zbl 1303.68013) Full Text: DOI
Chevalier, Fabrice; D’Souza, Deepak; Mohan M., Raj; Prabhakar, Pavithra Automata and logics over signals. (English) Zbl 1256.68099 D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 555-582 (2012). MSC: 68Q45 03D05 03B44 PDFBibTeX XMLCite \textit{F. Chevalier} et al., IISc Res. Monogr. Ser. 2, 555--582 (2012; Zbl 1256.68099) Full Text: DOI Link
D’Souza, Deepak (ed.); Kavitha, Telikepalli (ed.); Radhakrishnan, Jaikumar (ed.) IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. (English) Zbl 1256.68007 LIPIcs – Leibniz International Proceedings in Informatics 18. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). xiv, 560 p., electronic. (2012). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{D. D'Souza} (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15--17, 2012. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2012; Zbl 1256.68007) Full Text: Link Link
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis Temporal logics of repeating values. (English) Zbl 1279.68203 J. Log. Comput. 22, No. 5, 1059-1096 (2012). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{S. Demri} et al., J. Log. Comput. 22, No. 5, 1059--1096 (2012; Zbl 1279.68203) Full Text: DOI Link
D’Souza, Deepak (ed.); Shankar, Priti (ed.) Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. (English) Zbl 1252.68031 IISc Research Monographs Series 2. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). xvi, 656 p. (2012). MSC: 68-06 00B15 68Q45 68Q60 03D05 68P30 PDFBibTeX XMLCite \textit{D. D'Souza} (ed.) and \textit{P. Shankar} (ed.), Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (2012; Zbl 1252.68031) Full Text: DOI
De, Arnab; D’Souza, Deepak; Nasre, Rupesh Dataflow analysis for datarace-free programs. (English) Zbl 1326.68074 Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 196-215 (2011). MSC: 68N19 68N15 PDFBibTeX XMLCite \textit{A. De} et al., Lect. Notes Comput. Sci. 6602, 196--215 (2011; Zbl 1326.68074) Full Text: DOI
D’Souza, Deepak; Mohan M., Raj; Prabhakar, Pavithra Eliminating past operators in metric temporal logic. (English) Zbl 1177.03028 Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 86-106 (2009). MSC: 03B44 03B25 68Q60 PDFBibTeX XMLCite \textit{D. D'Souza} et al., in: Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press. 86--106 (2009; Zbl 1177.03028)
D’Souza, Deepak; Gopinathan, Madhu Conflict-tolerant features. (English) Zbl 1155.68432 Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 227-239 (2008). MSC: 68Q60 68Q85 93C65 93C95 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{M. Gopinathan}, Lect. Notes Comput. Sci. 5123, 227--239 (2008; Zbl 1155.68432) Full Text: DOI
Chevalier, Fabrice; D’Souza, Deepak; Prabhakar, Pavithra Counter-free input-determined timed automata. (English) Zbl 1142.68039 Raskin, Jean-François (ed.) et al., Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75453-4/pbk). Lecture Notes in Computer Science 4763, 82-97 (2007). MSC: 68Q45 03B44 PDFBibTeX XMLCite \textit{F. Chevalier} et al., Lect. Notes Comput. Sci. 4763, 82--97 (2007; Zbl 1142.68039) Full Text: DOI
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis A decidable temporal logic of repeating values. (English) Zbl 1132.03337 Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 180-194 (2007). MSC: 03B70 03B44 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Demri} et al., Lect. Notes Comput. Sci. 4514, 180--194 (2007; Zbl 1132.03337) Full Text: DOI Link
Demri, Stéphane; D’Souza, Deepak An automata-theoretic approach to constraint LTL. (English) Zbl 1113.03015 Inf. Comput. 205, No. 3, 380-415 (2007). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B44 03B70 68Q60 03D05 03B25 PDFBibTeX XMLCite \textit{S. Demri} and \textit{D. D'Souza}, Inf. Comput. 205, No. 3, 380--415 (2007; Zbl 1113.03015) Full Text: DOI
Chevalier, Fabrice; D’Souza, Deepak; Prabhakar, Pavithra On continuous timed automata with input-determined guards. (English) Zbl 1177.68136 Arun-Kumar, S. (ed.) et al., FSTTCS 2006: Foundations of software technology and theoretical computer science. 26th international conference, Kolkata, India, December 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-49994-7/pbk). Lecture Notes in Computer Science 4337, 369-380 (2006). MSC: 68Q45 03B44 03D05 68Q60 PDFBibTeX XMLCite \textit{F. Chevalier} et al., Lect. Notes Comput. Sci. 4337, 369--380 (2006; Zbl 1177.68136) Full Text: DOI
D’Souza, Deepak; Raghavendra, K. R.; Sprick, Barbara An automata based approach for verifying information flow properties. (English) Zbl 1272.68237 Degano, Pierpaolo (ed.) et al., Proceedings of the 2nd workshop on automated reasoning for security protocol analysis (ARSPA 2005), Lisbon, Portugal, July 16, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 135, No. 1, 39-58 (2005). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{D. D'Souza} et al., Electron. Notes Theor. Comput. Sci. 135, No. 1, 39--58 (2005; Zbl 1272.68237) Full Text: Link
D’Souza, Deepak; Mohan, M. Raj Eventual timed automata. (English) Zbl 1172.68499 Ramanujam, R. (ed.) et al., FSTTCS 2005: Foundations of software technology and theoretical computer science. 25th international conference, Hyderabad, India, December 15–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30495-9/pbk). Lecture Notes in Computer Science 3821, 322-334 (2005). MSC: 68Q45 03B25 68Q60 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{M. R. Mohan}, Lect. Notes Comput. Sci. 3821, 322--334 (2005; Zbl 1172.68499) Full Text: DOI
Bouyer, Patricia; Chevalier, Fabrice; D’Souza, Deepak Fault diagnosis using timed automata. (English) Zbl 1118.68374 Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 219-233 (2005). MSC: 68M15 68Q17 68Q25 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 3441, 219--233 (2005; Zbl 1118.68374) Full Text: DOI
D’Souza, Deepak; Tabareau, Nicolas On timed automata with input-determined guards. (English) Zbl 1109.68503 Lakhnech, Yassine (ed.) et al., Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23167-6/pbk). Lecture Notes in Computer Science 3253, 68-83 (2004). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{N. Tabareau}, Lect. Notes Comput. Sci. 3253, 68--83 (2004; Zbl 1109.68503) Full Text: DOI
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine Timed control with partial observability. (English) Zbl 1278.68160 Hunt, Warren A.jun. (ed.) et al., Computer aided verification. 15th international conference, CAV 2003, Boulder, CO, USA, July 8–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40524-0/pbk). Lect. Notes Comput. Sci. 2725, 180-192 (2003). MSC: 68Q60 93B50 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 2725, 180--192 (2003; Zbl 1278.68160) Full Text: DOI
D’Souza, Deepak A logical characterisation of event clock automata. (English) Zbl 1101.68647 Int. J. Found. Comput. Sci. 14, No. 4, 625-639 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. D'Souza}, Int. J. Found. Comput. Sci. 14, No. 4, 625--639 (2003; Zbl 1101.68647) Full Text: DOI
D’Souza, Deepak; Mukund, Madhavan Checking consistency of SDL+MSC specifications. (English) Zbl 1023.68526 Ball, Thomas (ed.) et al., Model checking software. 10th international SPIN workshop, Portland, OR, USA, May 9-10, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2648, 151-165 (2003). MSC: 68N30 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{M. Mukund}, Lect. Notes Comput. Sci. 2648, 151--165 (2003; Zbl 1023.68526) Full Text: Link
D’Souza, Deepak; Madhusudan, P. Timed control synthesis for external specifications. (English) Zbl 1054.93502 Alt, Helmut (ed.) et al., STACS 2002. 19th annual symposium on theoretical aspects of computer science. Antibes - Juan les Pins, France, March 14–16, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43283-3). Lect. Notes Comput. Sci. 2285, 571-582 (2002). MSC: 93B50 68Q45 68Q60 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{P. Madhusudan}, Lect. Notes Comput. Sci. 2285, 571--582 (2002; Zbl 1054.93502) Full Text: Link
Demri, Stéphane; D’Souza, Deepak An automata-theoretic approach to constraint LTL. (English) Zbl 1027.03027 Agrawal, Manindra (ed.) et al., FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2556, 121-132 (2002). MSC: 03B70 03B44 68Q60 68Q45 03B25 PDFBibTeX XMLCite \textit{S. Demri} and \textit{D. D'Souza}, Lect. Notes Comput. Sci. 2556, 121--132 (2002; Zbl 1027.03027) Full Text: Link
D’Souza, Deepak; Thiagarajan, P. S. Product interval automata. (English) Zbl 1019.68055 Sādhanā 27, No. 2, 181-208 (2002). MSC: 68Q45 68M14 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{P. S. Thiagarajan}, Sādhanā 27, No. 2, 181--208 (2002; Zbl 1019.68055) Full Text: DOI
D’Souza, Deepak A logical characterisation of event recording automata. (English) Zbl 0986.68046 Joseph, Mathai (ed.), Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1926, 240-251 (2000). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{D. D'Souza}, Lect. Notes Comput. Sci. 1926, 240--251 (2000; Zbl 0986.68046)
D’Souza, Deepak; Thiagarajan, P. S. Product interval automata: A subclass of timed automata. (English) Zbl 0958.68087 Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 60-71 (1999). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{P. S. Thiagarajan}, Lect. Notes Comput. Sci. 1738, 60--71 (1999; Zbl 0958.68087)