Selected publications by S. Akshay
Conferences
-
S. Akshay, P. Gastin, M. Mukund and K. Narayan Kumar. Model checking time-constrained scenario-based specifications. In FSTTCS'10, Leibniz International Proceedings in Informatics 8, pages 204-215. Leibniz-Zentrum für Informatik, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
-
S. Akshay, B. Bollig, P. Gastin, M. Mukund and K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks. In CONCUR'08, LNCS 5201, pages 82-97. Springer, 2008. ( PDF | BibTeX + Abstract )
-
S. Akshay, B. Bollig and P. Gastin. Automata and Logics for Timed Message Sequence Charts. In FSTTCS'07, LNCS 4855, pages 290-302. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
S. Akshay, M. Mukund and K. Narayan Kumar. Checking Coverage for Infinite Collections of Timed Scenarios. In CONCUR'07, LNCS 4703, pages 181-196. Springer, 2007. ( PDF | BibTeX + Abstract )
Theses
-
S. Akshay. Spécification et vérification pour des systèmes
distribués et temporisés. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan,
France, July 2010. ( BibTeX )
Other Publications