Frédéric Herbreteau - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2025

A Zone-Based Algorithm for Timed Parity GamesGilles Geeraerts, Frédéric Herbreteau, Jean-François Raskin, Alexis Reynouard. fsttcs 2025: [doi]

Partial-Order Reduction Is HardFrédéric Herbreteau, Sarah Larroze-Jardiné, Igor Walukiewicz. concur 2025: [doi]

2022

2020

2019

Revisiting Local Time Semantics for Networks of Timed AutomataR. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. concur 2019: [doi]

2017

POSTER: Detecting Inter-App Information Leakage PathsShweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur. ccs 2017: 908-910 [doi]

SneakLeak: Detecting Multipartite Leakage Paths in Android AppsShweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur. trustcom 2017: 285-292 [doi]

2016

Better abstractions for timed automataFrédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. iandc, 251:67-90, 2016. [doi]

Why Liveness for Timed Automata Is Hard, and What We Can Do About ItFrédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz. fsttcs 2016: [doi]

2015

Improving Search Order for Reachability Testing in Timed AutomataFrédéric Herbreteau, Thanh-Tung Tran. formats 2015: 124-139 [doi]

2014

Acceleration of Affine Hybrid TransformationsBernard Boigelot, Frédéric Herbreteau, Isabelle Mainz. ATVA 2014: 31-46 [doi]

Decidable Topologies for Communicating Automata with FIFO and Bag ChannelsLorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre. concur 2014: 281-296 [doi]

2013

Reachability of Communicating Timed ProcessesLorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre. fossacs 2013: 81-96 [doi]

Lazy Abstractions for Timed AutomataFrédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. cav 2013: 990-1005 [doi]

2012

Efficient emptiness check for timed Büchi automataFrédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. fmsd, 40(2):122-146, 2012. [doi]

Better Abstractions for Timed AutomataFrédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. lics 2012: 375-384 [doi]

2011

Using non-convex approximations for efficient analysis of timed automataFrédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz. fsttcs 2011: 78-89 [doi]

2010

Efficient Emptiness Check for Timed Büchi AutomataFrédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. cav 2010: 148-161 [doi]

Efficient On-the-Fly Emptiness Check for Timed Büchi AutomataFrédéric Herbreteau, B. Srivathsan. ATVA 2010: 218-232 [doi]

2007

Unfolding Concurrent Well-Structured Transition SystemsFrédéric Herbreteau, Grégoire Sutre, The Quang Tran. TACAS 2007: 706-720 [doi]

2006

The Power of Hybrid AccelerationBernard Boigelot, Frédéric Herbreteau. cav 2006: 438-451 [doi]

2003

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne. cav 2003: 193-205 [doi]

2002

Verification of Embedded Reactive Fiffo SystemsFrédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre. latin 2002: 400-414 [doi]

2001

Application of Partial-Order Methods to Reactive Programs with Event MemorizationFrédéric Herbreteau, Franck Cassez, Olivier Roux. rts, 20(3):287-316, 2001.

Sign in or sign up to see more results.

runs on WebDSL