Publications
 Book chapters
 Edited volumes
 Journal articles
 Conference papers
 Others
Book Chapters
Synthesizing Skolem functions: A view from theory and practice
In Handbook of Logical Thought in India, eds. Sundar Sarukkai and Mihir K. Chakraborty, Springer, July 2022. Preprint  Springer link
Edited Volumes

Akash Lal,
S. Akshay,
Saket Saurabh,
Sandeep Sen,
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 1315, 2016, Chennai, India.
LIPIcs Vol. 65, Schloss Dagstuhl  LeibnizZentrum für Informatik 2016, ISBN 9783959770279. Open Access Online
Journal Articles

S. Akshay,
S. Chakraborty,
S. Goel ,
S. Kulal,
S. Shah.
Boolean Functional Synthesis: Hardness and Practical Algorithms,
In Formal Methods in System Design, Vol 57(1), pages 5386, 2021. (Published online in Oct 2020 at Springer online) 
S. Akshay,
L. Helouet,
R. Phawade.
Combining Free Choice and Time in Petri Nets
In Journal of Logical and Algebraic Methods in Programming, Volume 110, 100426, January 2020. (A preliminary version appeared at TIME'16.) 
S. Akshay,
P. Gastin,
S. Krishna.
Analyzing Timed Systems Using Tree Automata.
In Logical Methods in Computer Science, Volume 14 (2:8), pages 135, 2018. pdf (A preliminary version appeared at CONCUR'16.)  S. Akshay,
L. Helouet,
C. Jard,
P.A. Reynier.
Robustness of time Petri nets under guard enlargement.
In Fundamenta Informaticae, volume 143, number 34, pages 207234, 2016. (A preliminary version appeared at RP'12.) 
S. Akshay,
T. Antonopoulos,
J. Ouaknine,
J. Worrell.
Reachability problems for Markov chains.
In Information Processing Letters, Elsevier, Volume 115, Number 2, Pages 155158, 2015. pdf 
S. Akshay,
P. Gastin,
M. Mukund,
K. Narayan Kumar.
Checking conformance for timeconstrained scenariobased specifications.
In Theoretical Computer Science, Elsevier, 2015. online version (Preliminary versions of some results appeared in CONCUR'07 and FSTTCS'10.) 
M. Agrawal,
S. Akshay,
B. Genest,
P. S. Thiagarajan.
Approximate verification of the symbolic dynamics of Markov chains.
In Journal of the ACM, Volume 62, Number 1, Article 2, 2015. pdf (A preliminary version appeared at LICS'12.) 
S. Akshay,
B. Bollig,
P. Gastin,
M. Mukund,
K. Narayan Kumar.
Distributed timed automata with independently evolving clocks.
In Fundamenta Informaticae, IOS Press, Volume 130, Number 4, Pages 377407, 2014. pdf (A preliminary version appeared at CONCUR'08.) 
S. Akshay,
B. Bollig,
P. Gastin.
Eventclock Message Passing Automata: A logical characterization and an emptiness checking algorithm.
In Formal Methods in Systems Design, Springer, Volume 42, Number 3, Pages 262300, 2013. (A preliminary version appeared at FSTTCS'07.)

S. K. Palaniappan,
S. Akshay,
B. Liu,
B. Genest,
P. S. Thiagarajan.
A hybrid factored frontier algorithm for dynamic Bayesian networks with a biopathway application.
In IEEE/ACM Transactions on Computational Biology and Bioinformatics, IEEE Computer Society Press, Volume 9, Number 5, Pages 13521365, 2012. pdf (A preliminary version appeared at CMSB'11.) 
S. Akshay,
B. Genest,
L. Helouet.
S. Yang.
Regular sets of representatives for TimeConstrained MSC Graphs.
In Information Processing Letters, Elsevier, Volume 112, Issues 1415, 15 August Pages 592598, 2012. pdf
Conference Papers
 S. Chakraborty and S. Akshay
On synthesizing Skolem functions for First Order Logic
In proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2226 2022, Vienna, Austria, LIPIcs Vol. 241, pp 30:130:15. Open access online
On robustness for the Skolem and positivity problems
In proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), March 1518, 2022, Marseille, France, pp 5:15:20. Open Access Online
Fast zonebased algorithms for reachability in pushdown timed automata.
In proceedings, Part 1, of the 33rd International Conference on Computer Aided Verification (CAV 2021), Virtual Event, July 2023, 2021. LNCS Springer Volume 12759, pp 619642. Online  pdf (arXiv version)
Synthesizing ParetoOptimal Interpretations for BlackBox Models.
In proceedings of the 21st International Conference on Formal Methods in ComputerAided Design (FMCAD 2021), pages 152162, Oct 2021. pdf (arXiv version)
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
In proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), July 2021, pp. 113. pdf (arXiv version)
Resilience in Timed Systems
In Proceedings of the 41st International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), December, 2021, Online. Leibniz International Proceedings in Informatics, LiPIcs, Dagstuhl, 33:133:22, 2021. Open Access online
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.
In proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Saarbrucken, Germany, 2020, pp. 728741. pdf
Revisiting Underapproximate Reachability for Multipushdown Systems.
In proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2530, 2020, pp. 387404. pdf (arXiv version)
Timed Negotiations.
In proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020), held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2530, 2020, pp. 3756. pdf
Nearoptimal complexity bounds for fragments of the Skolem Problem.
In proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), Montpellier, March 10  13, 2020, 37:137:18. Open Access Online
Classification Among Hidden Markov Models.
In Proceedings of the 39th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), December, 2019, Mumbai, India. Leibniz International Proceedings in Informatics, LiPIcs, Dagstuhl, 29:129:14, 2019. Open Access online
Knowledge Compilation for Boolean Functional Synthesis.
In the proceedings of the 19th conference on Formal Methods in ComputerAided Design (FMCAD 2019), Oct 2225 2019, California, USA. pdf (arXiv version)
Functional significance checking in noisy gene regulatory networks
In the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming (CP 2019), Sept 30  Oct 4 2019, Stamford, CT, U.S. pdf
Timed Systems through the Lens of Logic.
In the proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), June 2427 2019, Vancouver, Canada. pdf (arXiv version)
Continuous Reachability for Unordered Data Petri Nets is in PTime
In the proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 611, 2019, LNCS Springer Volume 11425, pp.260276. pdf (arXiv version)
Distributionbased objectives for Markov Decision Processes
In the proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Held as Part of Federated Logic Conference, Floc 2018, July 912 2018, Oxford, UK. ACM pp. 3645. pdf (arXiv version)
What's hard about boolean functional synthesis
In the proceedings, Part 1, of the 30th International Conference on Computer Aided Verification (CAV 2018), Held as Part of Federated Logic Conference, FloC 2018, July 1417 2018, Oxford, UK. LNCS Springer Volume 10981, pp 251269. pdf (arXiv version)
Complexity of restricted variants of Skolem and related problems.
In the proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) August 2125, 2017, Aalborg, Denmark. LIPIcs Vol. 83, pp. 78:178:14.
On Petri Nets with Hierarchical Special Arcs.
In the proceedings of the International Conference on Concurrency Theory (CONCUR 2017), September 2017, Berlin, Germany. LIPIcs Vol. 85, pp. 40:140:17. pdf (arXiv version)
Towards an Efficient Tree Automata based technique for Timed Systems.
In the proceedings of the International Conference on Concurrency Theory (CONCUR 2017), September 2017, Berlin, Germany. LIPIcs 85, pp. 39:139:15 pdf (arXiv version)
Towards Parallel Boolean Functional Synthesis
In the proceedings of Tools and Algorithms for the Construction and Analysis of Systems  23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 2229, 2017, LNCS vol 10205, pp.337353. pdf (arXiv version)
Combining Free Choice and Time in Petri Nets
In the proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, {TIME} 2016, Denmark, October 1719, 2016, {IEEE} Computer Society, pp. 120129.
Analyzing Timed Systems Using Tree Automata.
In the proceedings of the 27th International Conference on Concurrency Theory, CONCUR 2016, August 2326, 2016, Quebec City, Canada. LIPIcs Vol. 59. pp. 27:1  27:14 pdf (arxiv version)
Stochastic Timed Games Revisited.
In the proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 2226, 2016  Krakow, Poland. LIPIcs Vol. 58. pp. 8:18:14.
Decidable Classes of Unbounded Petri Nets with Time and Urgency.
In proceedings of the 37th International Conference on Application and Theory of Petri Nets (PETRI NETS), June 2016, Torun, Poland. Springer LNCS 9698, pp. 301  322. pdf (report)
On Regularity of unary Probabilistic Automata
In proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science (STACS), Feb 2016, Orleans, France. LIPIcs Vol. 47, pp. 8:1  8:14. pdf (report)
Skolem Functions for Factored Formulas
In proceedings of the 15th Conference on Formal Methods in ComputerAided Design (FMCAD), Sep 2015, Austin, Texas, USA. pp. 7380. pdf (full version)
Sessions with an unbounded number of agents.
In proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD), 2014, Tunis La Marsa, Tunisia. IEEE Computer Society, pp. 166174.
Implementing realistic asynchronous automata.
In proceedings of the 33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2013, Guwahati, India. Leibniz International Proceedings in Informatics, LiPIcs, Dagstuhl, vol. 24, pp. 213224. pdf  report
The steadystate control problem for Markov decision processes.
In proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST), 2013, Buenos Aires, Argentina. Springer LNCS, pp. 290304.
Approximate verification of the symbolic dynamics of Markov chains.
In proceedings of the 27th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS), 2012, Dubrovnik, Croatia. IEEE Computer Society Press, pp. 5564. pdf
Robustness of time Petri nets under architectural constraints.
In proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2012, London, UK. Springer LNCS 7595, pp. 1126.
Robustness of time Petri nets under guard enlargement.
In proceedings of the 6th International Workshop on Reachability Problems (RP), 2012, Bordeaux, France. Springer LNCS 7550, pp. 92106.
Symbolically bounding the drift in timeconstrained MSC graphs.
In proceedings of the 9th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2012, Bangalore, India. Springer LNCS 7521, pp. 115. pdf (Technical report)
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.
In proceedings of the 9th International Conference on Computational Methods in Systems Biology (CMSB), 2011, Paris, France. ACM 2011, pp.3544. pdf
Model checking timeconstrained scenariobased specifications.
In proceedings of the 30th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2010, Chennai, India. Leibniz International Proceedings in Informatics, LiPIcs, Dagstuhl, vol. 8, pp. 204215. pdf  Report
Distributed timed automata with independently evolving clocks.
In proceedings of the 19th International Conference on Concurrency Theory (CONCUR), 2008, Toronto, Canada. Springer LNCS 5201, pp. 8297. pdf
Checking coverage for infinite collections of timed scenarios.
In proceedings of the 18th International Conference on Concurrency Theory (CONCUR), 2007, Lisbon, Portugal. Springer LNCS 4703, pp. 181196. pdf
Automata and logics for timed message sequence charts.
In proceedings of the 27th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2007, New Delhi, India. Springer LNCS 4855, pp. 290302. pdf
Thesis
 S. Akshay
Specification and verification of timed and communicating systems
Doctoral Thesis, Laboratoire Spécification et Vérification, ENS Cachan, France, July 2010.