| Better abstractions for timed automata F Herbreteau, B Srivathsan, I Walukiewicz Information and Computation 251, 67-90, 2016 | 71 | 2016 |
| Lazy abstractions for timed automata F Herbreteau, B Srivathsan, I Walukiewicz Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 51 | 2013 |
| Using non-convex approximations for efficient analysis of timed automata F Herbreteau, D Kini, B Srivathsan, I Walukiewicz arXiv preprint arXiv:1110.3704, 2011 | 32 | 2011 |
| Decidable topologies for communicating automata with FIFO and bag channels L Clemente, F Herbreteau, G Sutre International Conference on Concurrency Theory, 281-296, 2014 | 31 | 2014 |
| Hybrid acceleration using real vector automata B Boigelot, F Herbreteau, S Jodogne International Conference on Computer Aided Verification, 193-205, 2003 | 28 | 2003 |
| Why liveness for timed automata is hard, and what we can do about it F Herbreteau, B Srivathsan, TT Tran, I Walukiewicz ACM Transactions on Computational Logic (TOCL) 21 (3), 1-28, 2020 | 25 | 2020 |
| Efficient emptiness check for timed büchi automata F Herbreteau, B Srivathsan, I Walukiewicz Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 25 | 2010 |
| The power of hybrid acceleration B Boigelot, F Herbreteau Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 25 | 2006 |
| Efficient emptiness check for timed Büchi automata F Herbreteau, B Srivathsan, I Walukiewicz Formal Methods in System Design 40, 122-146, 2012 | 22 | 2012 |
| Reachability of communicating timed processes L Clemente, F Herbreteau, A Stainer, G Sutre International Conference on Foundations of Software Science and …, 2013 | 21 | 2013 |
| Efficient on-the-fly emptiness check for timed Büchi automata F Herbreteau, B Srivathsan International Symposium on Automated Technology for Verification and …, 2010 | 19 | 2010 |
| Revisiting local time semantics for networks of timed automata R Govind, F Herbreteau, B Srivathsan, I Walukiewicz arXiv preprint arXiv:1907.02296, 2019 | 18 | 2019 |
| TChecker F Herbreteau, G Point, TT Tran URL: https://github. com/ticktac-project/tchecker, 2019 | 14 | 2019 |
| Zone-based verification of timed automata: extrapolations, simulations and what next? P Bouyer, P Gastin, F Herbreteau, O Sankur, B Srivathsan International Conference on Formal Modeling and Analysis of Timed Systems, 16-42, 2022 | 13 | 2022 |
| Improving search order for reachability testing in timed automata F Herbreteau, TT Tran International Conference on Formal Modeling and Analysis of Timed Systems …, 2015 | 13 | 2015 |
| Sneakleak: Detecting multipartite leakage paths in android apps S Bhandari, F Herbreteau, V Laxmi, A Zemmari, PS Roop, MS Gaur 2017 IEEE Trustcom/BigDataSE/ICESS, 285-292, 2017 | 11 | 2017 |
| Detecting inter-app information leakage paths S Bhandari, F Herbreteau, V Laxmi, A Zemmari, PS Roop, MS Gaur Proceedings of the 2017 ACM on Asia Conference on Computer and …, 2017 | 10 | 2017 |
| Coarse abstractions make Zeno behaviours difficult to detect F Herbreteau, B Srivathsan Logical Methods in Computer Science 9, 2013 | 10 | 2013 |
| Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods R Govind, F Herbreteau, Srivathsan, I Walukiewicz Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 9 | 2022 |
| The TChecker tool and librairies F Herbreteau, G Point | 8 | 2019 |
B SrivathsanChennai Mathematical Institute, Associate Professor of Computer ScienceVerified email at cmi.ac.in
