Follow
Frédéric Herbreteau
Frédéric Herbreteau
Univ. Bordeaux, CNRS, LaBRI, UMR 5800
Verified email at labri.fr
Title
Cited by
Cited by
Year
Better abstractions for timed automata
F Herbreteau, B Srivathsan, I Walukiewicz
Information and Computation 251, 67-90, 2016
532016
Lazy abstractions for timed automata
F Herbreteau, B Srivathsan, I Walukiewicz
International Conference on Computer Aided Verification, 990-1005, 2013
362013
Decidable topologies for communicating automata with FIFO and bag channels
L Clemente, F Herbreteau, G Sutre
International Conference on Concurrency Theory, 281-296, 2014
302014
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
282011
Hybrid acceleration using real vector automata
B Boigelot, F Herbreteau, S Jodogne
International Conference on Computer Aided Verification, 193-205, 2003
262003
The power of hybrid acceleration
B Boigelot, F Herbreteau
International Conference on Computer Aided Verification, 438-451, 2006
252006
Reachability of communicating timed processes
L Clemente, F Herbreteau, A Stainer, G Sutre
International Conference on Foundations of Software Science and …, 2013
202013
Efficient on-the-fly emptiness check for timed Büchi automata
F Herbreteau, B Srivathsan
International Symposium on Automated Technology for Verification and …, 2010
202010
Efficient emptiness check for timed büchi automata
F Herbreteau, B Srivathsan, I Walukiewicz
International Conference on Computer Aided Verification, 148-161, 2010
192010
Efficient emptiness check for timed Büchi automata
F Herbreteau, B Srivathsan, I Walukiewicz
Formal Methods in System Design 40 (2), 122-146, 2012
182012
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
122020
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
102017
Coarse abstractions make Zeno behaviours difficult to detect
F Herbreteau, B Srivathsan
International Conference on Concurrency Theory, 92-107, 2011
102011
Revisiting local time semantics for networks of timed automata
R Govind, F Herbreteau, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1907.02296, 2019
92019
Improving search order for reachability testing in timed automata
F Herbreteau, TT Tran
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
92015
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
82017
Sneakleak+: Large-scale klepto apps analysis
S Bhandari, F Herbreteau, V Laxmi, A Zemmari, MS Gaur, PS Roop
Future Generation Computer Systems 109, 593-603, 2020
52020
Certifying emptiness of timed büchi automata
S Wimmer, F Herbreteau, J Pol
International Conference on Formal Modeling and Analysis of Timed Systems, 58-75, 2020
32020
Fast detection of cycles in timed automata
A Deshpande, F Herbreteau, B Srivathsan, TT Tran, I Walukiewicz
arXiv preprint arXiv:1410.4509, 2014
32014
Unfolding concurrent well-structured transition systems
F Herbreteau, G Sutre
International Conference on Tools and Algorithms for the Construction and …, 2007
32007
The system can't perform the operation now. Try again later.
Articles 1–20