Frédéric Herbreteau

According to our database, Frédéric Herbreteau authored at least 28 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Revisiting Stateful Partial-Order Reduction.

Frédéric Herbreteau, Sarah Larroze-Jardiné, Gérald Point, Igor Walukiewicz

CoRR, 2024

Cross-layer Formal Verification of Robotic Systems.

Sylvain Raïs, Julien Brunel, David Doose, Frédéric Herbreteau

CoRR, 2024

2022

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.

R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?

Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics.

Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

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

<i>SneakLeak+</i>: 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

Certifying Emptiness of Timed Büchi Automata.

Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Revisiting Local Time Semantics for Networks of Timed Automata.

R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the 30th International Conference on Concurrency Theory, 2019

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

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Detecting Inter-App Information Leakage Paths.

Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016

Better abstractions for timed automata.

Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Inf. Comput., 2016

2015

Improving Search Order for Reachability Testing in Timed Automata.

Frédéric Herbreteau, Thanh-Tung Tran

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Fast detection of cycles in timed automata.

Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz

CoRR, 2014

Decidable Topologies for Communicating Automata with FIFO and Bag Channels.

Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Acceleration of Affine Hybrid Transformations.

Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Reachability of Communicating Timed Processes.

Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Lazy Abstractions for Timed Automata.

Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Efficient emptiness check for timed Büchi automata.

Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Formal Methods Syst. Des., 2012

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 (Extended version)

Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

CoRR, 2011

Using non-convex approximations for efficient analysis of timed automata.

Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010

Efficient On-the-Fly Emptiness Check for Timed Büchi Automata.

Frédéric Herbreteau, B. Srivathsan

Proceedings of the Automated Technology for Verification and Analysis, 2010

2007

Unfolding Concurrent Well-Structured Transition Systems.

Frédéric Herbreteau, Grégoire Sutre, The Quang Tran

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

The Power of Hybrid Acceleration.

Bernard Boigelot, Frédéric Herbreteau

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2003

Hybrid Acceleration Using Real Vector Automata (Extended Abstract).

Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Verification of Embedded Reactive Fiffo Systems.

Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001

Application of Partial-Order Methods to Reactive Programs with Event Memorization.

Frédéric Herbreteau, Franck Cassez, Olivier F. Roux

Real Time Syst., 2001