Frdric Herbreteau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Revisiting Stateful Partial-Order Reduction. | Frdric Herbreteau, Grald Point, Gautham Viswanathan, Igor Walukiewicz |
| 2025 | CONCUR | Partial-Order Reduction Is Hard. | Frdric Herbreteau, Sarah Larroze-Jardin, Igor Walukiewicz |
| 2022 | CONCUR | Checking Timed Bchi Automata Emptiness Using the Local-Time Semantics. | Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2022 | LICS | Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. | R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2019 | CONCUR | Revisiting Local Time Semantics for Networks of Timed Automata. | R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2017 | CCS | Detecting Inter-App Information Leakage Paths. | Shweta Bhandari, Frdric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur |
| 2017 | TrustCom | SneakLeak: Detecting Multipartite Leakage Paths in Android Apps. | Shweta Bhandari, Frdric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur |
| 2014 | ATVA | Acceleration of Affine Hybrid Transformations. | Bernard Boigelot, Frdric Herbreteau, Isabelle Mainz |
| 2014 | CONCUR | Decidable Topologies for Communicating Automata with FIFO and Bag Channels. | Lorenzo Clemente, Frdric Herbreteau, Grgoire Sutre |
| 2013 | CAV | Lazy Abstractions for Timed Automata. | Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2013 | FOSSACS | Reachability of Communicating Timed Processes. | Lorenzo Clemente, Frdric Herbreteau, Amlie Stainer, Grgoire Sutre |
| 2012 | LICS | Better Abstractions for Timed Automata. | Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2011 | CONCUR | Coarse Abstractions Make Zeno Behaviours Difficult to Detect. | Frdric Herbreteau, B. Srivathsan |
| 2010 | ATVA | Efficient On-the-Fly Emptiness Check for Timed Bchi Automata. | Frdric Herbreteau, B. Srivathsan |
| 2010 | CAV | Efficient Emptiness Check for Timed Bchi Automata. | Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2007 | TACAS | Unfolding Concurrent Well-Structured Transition Systems. | Frdric Herbreteau, Grgoire Sutre, The Quang Tran |
| 2006 | CAV | The Power of Hybrid Acceleration. | Bernard Boigelot, Frdric Herbreteau |
| 2003 | CAV | Hybrid Acceleration Using Real Vector Automata (Extended Abstract). | Bernard Boigelot, Frdric Herbreteau, Sbastien Jodogne |
| 2002 | LATIN | Verification of Embedded Reactive Fiffo Systems. | Frdric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grgoire Sutre |