Application of Partial-Order Methods to Reactive Programs with Event Memorization. - Frédéric Herbreteau; Franck Cassez; Olivier F. Roux (Real Time Syst., 2001)

Verification of Embedded Reactive Fiffo Systems. - Frédéric Herbreteau; Franck Cassez; Alain Finkel; Olivier F. Roux; Grégoire Sutre (LATIN, 2002)

Hybrid Acceleration Using Real Vector Automata (Extended Abstract). - Bernard Boigelot; Frédéric Herbreteau; Sébastien Jodogne (CAV, 2003)

The Power of Hybrid Acceleration. - Bernard Boigelot; Frédéric Herbreteau (CAV, 2006)

Unfolding Concurrent Well-Structured Transition Systems. - Frédéric Herbreteau; Grégoire Sutre; The Quang Tran (TACAS, 2007)

Efficient On-the-Fly Emptiness Check for Timed Büchi Automata. - Frédéric Herbreteau; B. Srivathsan (ATVA, 2010)

Using non-convex approximations for efficient analysis of timed automata. - Frédéric Herbreteau; Dileep Kini; B. Srivathsan; Igor Walukiewicz (FSTTCS, 2011)

Efficient Emptiness Check for Timed Büchi Automata (Extended version) - Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (CoRR, 2011)

Coarse abstractions make Zeno behaviours difficult to detect - Frédéric Herbreteau; B. Srivathsan (Log. Methods Comput. Sci., 2011)

Efficient emptiness check for timed Büchi automata. - Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (Formal Methods Syst. Des., 2012)

Lazy Abstractions for Timed Automata. - Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (CAV, 2013)

Reachability of Communicating Timed Processes. - Lorenzo Clemente; Frédéric Herbreteau; Amélie Stainer; Grégoire Sutre (FoSSaCS, 2013)

Acceleration of Affine Hybrid Transformations. - Bernard Boigelot; Frédéric Herbreteau; Isabelle Mainz (ATVA, 2014)

Decidable Topologies for Communicating Automata with FIFO and Bag Channels. - Lorenzo Clemente; Frédéric Herbreteau; Grégoire Sutre (CONCUR, 2014)

Fast detection of cycles in timed automata. - Aakash Deshpande; Frédéric Herbreteau; B. Srivathsan; Thanh-Tung Tran; Igor Walukiewicz (CoRR, 2014)

Improving Search Order for Reachability Testing in Timed Automata. - Frédéric Herbreteau; Thanh-Tung Tran (FORMATS, 2015)

Better abstractions for timed automata. - Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (Inf. Comput., 2016)

Detecting Inter-App Information Leakage Paths. - Shweta Bhandari; Frédéric Herbreteau; Vijay Laxmi; Akka Zemmari; Partha S. Roop; Manoj Singh Gaur (AsiaCCS, 2017)

SneakLeak: Detecting Multipartite Leakage Paths in Android Apps. - Shweta Bhandari; Frédéric Herbreteau; Vijay Laxmi; Akka Zemmari; Partha S. Roop; Manoj Singh Gaur (TrustCom/BigDataSE/ICESS, 2017)

Revisiting Local Time Semantics for Networks of Timed Automata. - R. Govind 001; Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (CONCUR, 2019)

Certifying Emptiness of Timed Büchi Automata. - Simon Wimmer 001; Frédéric Herbreteau; Jaco van de Pol (FORMATS, 2020)

SneakLeak+: Large-scale klepto apps analysis. - Shweta Bhandari; Frédéric Herbreteau; Vijay Laxmi; Akka Zemmari; Manoj Singh Gaur; Partha S. Roop (Future Gener. Comput. Syst., 2020)

Why Liveness for Timed Automata Is Hard, and What We Can Do About It. - Frédéric Herbreteau; B. Srivathsan; Thanh-Tung Tran; Igor Walukiewicz (ACM Trans. Comput. Log., 2020)

Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics. - Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (CONCUR, 2022)

Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next? - Patricia Bouyer; Paul Gastin; Frédéric Herbreteau; Ocan Sankur; B. Srivathsan (FORMATS, 2022)

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. - R. Govind 001; Frédéric Herbreteau; B. Srivathsan; Igor Walukiewicz (LICS, 2022)

Cross-layer Formal Verification of Robotic Systems. - Sylvain Raïs; Julien Brunel; David Doose; Frédéric Herbreteau (FMAS@iFM, 2024)

Revisiting Stateful Partial-Order Reduction. - Frédéric Herbreteau; Sarah Larroze-Jardiné; Gérald Point; Igor Walukiewicz (CoRR, 2024)

Partial-Order Reduction Is Hard. - Frédéric Herbreteau; Sarah Larroze-Jardiné; Igor Walukiewicz (CONCUR, 2025)