Frédéric Herbreteau

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 16

Top Topics

Improving Search

Top Venues

Publications

Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
Zone-based verification of timed automata: extrapolations, simulations and what next? CoRR (2022)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics. CONCUR (2022)
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next? FORMATS (2022)
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. LICS (2022)
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
Certifying Emptiness of Timed Büchi Automata. FORMATS (2020)
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. ACM Trans. Comput. Log. 21 (3) (2020)
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
Certifying Emptiness of Timed Büchi Automata. CoRR (2020)
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Manoj Singh Gaur, Partha S. Roop
: Large-scale klepto apps analysis. Future Gener. Comput. Syst. 109 (2020)
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Revisiting Local Time Semantics for Networks of Timed Automata. CONCUR (2019)
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Revisiting local time semantics for networks of timed automata. CoRR (2019)
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur
Detecting Inter-App Information Leakage Paths. AsiaCCS (2017)
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur
SneakLeak: Detecting Multipartite Leakage Paths in Android Apps. TrustCom/BigDataSE/ICESS (2017)
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. FSTTCS (2016)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Better abstractions for timed automata. Inf. Comput. 251 (2016)
Frédéric Herbreteau, Thanh-Tung Tran
Improving Search Order for Reachability Testing in Timed Automata. FORMATS (2015)
Frédéric Herbreteau, Thanh-Tung Tran
Improving search order for reachability testing in timed automata. CoRR (2015)
Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
Fast detection of cycles in timed automata. CoRR (2014)
Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre
Decidable Topologies for Communicating Automata with FIFO and Bag Channels. CONCUR (2014)
Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz
Acceleration of Affine Hybrid Transformations. ATVA (2014)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Lazy abstractions for timed automata CoRR (2013)
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
Reachability of Communicating Timed Processes. FoSSaCS (2013)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Lazy Abstractions for Timed Automata. CAV (2013)
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
Reachability of Communicating Timed Processes CoRR (2012)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Efficient emptiness check for timed Büchi automata. Formal Methods Syst. Des. 40 (2) (2012)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Better Abstractions for Timed Automata. LICS (2012)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Efficient Emptiness Check for Timed Büchi Automata (Extended version) CoRR (2011)
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz
Using non-convex approximations for efficient analysis of timed automata CoRR (2011)
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz
Using non-convex approximations for efficient analysis of timed automata. FSTTCS (2011)
Frédéric Herbreteau, B. Srivathsan
Coarse abstractions make Zeno behaviours difficult to detect Log. Methods Comput. Sci. 9 (1) (2011)
Frédéric Herbreteau, B. Srivathsan
Coarse Abstractions Make Zeno Behaviours Difficult to Detect. CONCUR (2011)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Better abstractions for timed automata CoRR (2011)
Frédéric Herbreteau, B. Srivathsan
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata. ATVA (2010)
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Efficient Emptiness Check for Timed Büchi Automata. CAV (2010)
Frédéric Herbreteau, Grégoire Sutre, The Quang Tran
Unfolding Concurrent Well-Structured Transition Systems. TACAS (2007)
Bernard Boigelot, Frédéric Herbreteau
The Power of Hybrid Acceleration. CAV (2006)
Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne
Hybrid Acceleration Using Real Vector Automata (Extended Abstract). CAV (2003)
Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre
Verification of Embedded Reactive Fiffo Systems. LATIN (2002)
Frédéric Herbreteau, Franck Cassez, Olivier F. Roux
Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real Time Syst. 20 (3) (2001)