Suivre
Frédéric Herbreteau
Frédéric Herbreteau
Univ. Bordeaux, CNRS, LaBRI, UMR 5800
Adresse e-mail validée de labri.fr
Titre
Citée par
Citée par
Année
Better abstractions for timed automata
F Herbreteau, B Srivathsan, I Walukiewicz
Information and Computation 251, 67-90, 2016
682016
Lazy abstractions for timed automata
F Herbreteau, B Srivathsan, I Walukiewicz
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
502013
Decidable topologies for communicating automata with FIFO and bag channels
L Clemente, F Herbreteau, G Sutre
International Conference on Concurrency Theory, 281-296, 2014
322014
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
302011
Hybrid acceleration using real vector automata
B Boigelot, F Herbreteau, S Jodogne
International Conference on Computer Aided Verification, 193-205, 2003
272003
The power of hybrid acceleration
B Boigelot, F Herbreteau
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
262006
Efficient emptiness check for timed büchi automata
F Herbreteau, B Srivathsan, I Walukiewicz
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
252010
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
222020
Efficient emptiness check for timed Büchi automata
F Herbreteau, B Srivathsan, I Walukiewicz
Formal Methods in System Design 40, 122-146, 2012
222012
Reachability of communicating timed processes
L Clemente, F Herbreteau, A Stainer, G Sutre
International Conference on Foundations of Software Science and …, 2013
212013
Efficient on-the-fly emptiness check for timed Büchi automata
F Herbreteau, B Srivathsan
International Symposium on Automated Technology for Verification and …, 2010
212010
Revisiting local time semantics for networks of timed automata
R Govind, F Herbreteau, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1907.02296, 2019
172019
Improving search order for reachability testing in timed automata
F Herbreteau, TT Tran
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
122015
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
112017
TChecker
F Herbreteau, G Point, TT Tran
URL: https://github. com/ticktac-project/tchecker, 2019
102019
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
Logical Methods in Computer Science 9, 2013
102013
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
82022
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
82022
The TChecker tool and librairies
F Herbreteau, G Point
82019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20