Frédéric Herbreteau

43 papers A* 6A 2B 9Journal 17Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Revisiting Stateful Partial-Order Reduction.
TACAS (2)
Frédéric Herbreteau, Gérald Point, Gautham Viswanathan, Igor Walukiewicz
2025 — conf
A Zone-Based Algorithm for Timed Parity Games.
FSTTCS
Gilles Geeraerts, Frédéric Herbreteau, Jean-François Raskin, Alexis Reynouard
2025 J jnl
A Zone-Based Algorithm for Timed Parity Games.
CoRR
Gilles Geeraerts, Frédéric Herbreteau, Jean-François Raskin, Alexis Reynouard
2025 B conf
Partial-Order Reduction Is Hard.
CONCUR
Frédéric Herbreteau, Sarah Larroze-Jardiné, Igor Walukiewicz
2024 — conf
Cross-layer Formal Verification of Robotic Systems.
FMAS@iFM
Sylvain Raïs, Julien Brunel, David Doose, Frédéric Herbreteau
2024 J jnl
Revisiting Stateful Partial-Order Reduction.
CoRR
Frédéric Herbreteau, Sarah Larroze-Jardiné, Gérald Point, Igor Walukiewicz
2022 A* conf
Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.
LICS
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2022 B conf
Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics.
CONCUR
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2022 — conf
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?
FORMATS
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
2022 J jnl
Zone-based verification of timed automata: extrapolations, simulations and what next?
CoRR
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
2020 — conf
Certifying Emptiness of Timed Büchi Automata.
FORMATS
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
2020 J jnl
Certifying Emptiness of Timed Büchi Automata.
CoRR
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
2020 J jnl
Why Liveness for Timed Automata Is Hard, and What We Can Do About It.
ACM Trans. Comput. Log.
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
2019 B conf
Revisiting Local Time Semantics for Networks of Timed Automata.
CONCUR
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2019 J jnl
Revisiting local time semantics for networks of timed automata.
CoRR
R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2017 A conf
Detecting Inter-App Information Leakage Paths.
AsiaCCS
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur
2017 — conf
SneakLeak: Detecting Multipartite Leakage Paths in Android Apps.
TrustCom/BigDataSE/ICESS
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur
2016 J jnl
Better abstractions for timed automata.
Inf. Comput.
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2016 — conf
Why Liveness for Timed Automata Is Hard, and What We Can Do About It.
FSTTCS
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
2015 — conf
Improving Search Order for Reachability Testing in Timed Automata.
FORMATS
Frédéric Herbreteau, Thanh-Tung Tran
2015 J jnl
Improving search order for reachability testing in timed automata.
CoRR
Frédéric Herbreteau, Thanh-Tung Tran
2014 B conf
Acceleration of Affine Hybrid Transformations.
ATVA
Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz
2014 B conf
Decidable Topologies for Communicating Automata with FIFO and Bag Channels.
CONCUR
Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre
2014 J jnl
Fast detection of cycles in timed automata.
CoRR
Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
2013 A* conf
Lazy Abstractions for Timed Automata.
CAV
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2013 J jnl
Lazy abstractions for timed automata
CoRR
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2013 B conf
Reachability of Communicating Timed Processes.
FoSSaCS
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
2012 A* conf
Better Abstractions for Timed Automata.
LICS
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2012 J jnl
Efficient emptiness check for timed Büchi automata.
Formal Methods Syst. Des.
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2012 J jnl
Reachability of Communicating Timed Processes
CoRR
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
2011 J jnl
Better abstractions for timed automata
CoRR
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2011 B conf
Coarse Abstractions Make Zeno Behaviours Difficult to Detect.
CONCUR
Frédéric Herbreteau, B. Srivathsan
2011 J jnl
Coarse abstractions make Zeno behaviours difficult to detect
Log. Methods Comput. Sci.
Frédéric Herbreteau, B. Srivathsan
2011 J jnl
Efficient Emptiness Check for Timed Büchi Automata (Extended version)
CoRR
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2011 J jnl
Using non-convex approximations for efficient analysis of timed automata
CoRR
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz
2011 — conf
Using non-convex approximations for efficient analysis of timed automata.
FSTTCS
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz
2010 A* conf
Efficient Emptiness Check for Timed Büchi Automata.
CAV
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
2010 B conf
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata.
ATVA
Frédéric Herbreteau, B. Srivathsan
2007 A conf
Unfolding Concurrent Well-Structured Transition Systems.
TACAS
Frédéric Herbreteau, Grégoire Sutre, The Quang Tran
2006 A* conf
The Power of Hybrid Acceleration.
CAV
Bernard Boigelot, Frédéric Herbreteau
2003 A* conf
Hybrid Acceleration Using Real Vector Automata (Extended Abstract).
CAV
Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne
2002 B conf
Verification of Embedded Reactive Fiffo Systems.
LATIN
Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre
2001 J jnl
Application of Partial-Order Methods to Reactive Programs with Event Memorization.
Real Time Syst.
Frédéric Herbreteau, Franck Cassez, Olivier F. Roux