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
Chevalier, Fabrice; D’Souza, Deepak; Mohan, M. Raj; Prabhakar, Pavithra Automata and logics over finitely varying functions. (English) Zbl 1221.03031 Ann. Pure Appl. Logic 161, No. 3, 324-336 (2009). MSC: 03D05 03B44 PDFBibTeX XMLCite \textit{F. Chevalier} et al., Ann. Pure Appl. Logic 161, No. 3, 324--336 (2009; Zbl 1221.03031) 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
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
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