Accéder directement au contenu

Frédéric Herbreteau

23
Documents

Publications

Image document

Why Liveness for Timed Automata Is Hard, and What We Can Do About It

Frédéric Herbreteau , B. Srivathsan , Tran Thanh Tung , Igor Walukiewicz
ACM Transactions on Computational Logic, 2020, ⟨10.1145/3372310⟩
Article dans une revue hal-03023737v1

Coarse abstractions make Zeno behaviours difficult to detect (Extended abstract)

Frédéric Herbreteau , B. Srivathsan
Logical Methods in Computer Science, 2013, Selected Papers of the "22nd International Conference on Concurrency Theory" CONCUR 2011, 9 (1)
Article dans une revue hal-00829829v1

Efficient Emptiness Check for Timed Büchi Automata (Extended version)

Frédéric Herbreteau , B. Srivathsan , Igor Walukiewicz
Formal Methods in System Design, 2012, Special issue on Computer Aided Verification (CAV'10), 40 (2), pp.122-146. ⟨10.1007/s10703-011-0133-1⟩
Article dans une revue inria-00584849v1
Image document

Application of Partial-Order Methods to Reactive Systems with Event Memorization

Frédéric Herbreteau , Franck Cassez , Olivier Roux
Journal of Real-Time Systems, 2001, 20 (3), pp.287-316
Article dans une revue inria-00363027v1
Image document

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
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Aug 2022, Haifa, Israel
Communication dans un congrès hal-03644039v2

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 - 20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.1-27
Communication dans un congrès hal-03654350v1
Image document

Revisiting local time semantics for networks of timed automata

R Govind , Frédéric Herbreteau , B. Srivathsan , Igor Walukiewicz
The 30th International Conference on Concurrency Theory (CONCUR) 2019, Aug 2019, Amsterdam, Netherlands
Communication dans un congrès hal-02173142v1

Detecting Inter-App Information Leakage Paths

Shweta Bhandari , Frédéric Herbreteau , Vijay Laxmi , Akka Zemmari , Partha Roop
the 2017 ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2017, Apr 2017, Abu Dhabi, United Arab Emirates. pp.908-910, ⟨10.1145/3052973.3055163⟩
Communication dans un congrès hal-02500699v1

SneakLeak: Detecting Multipartite Leakage Paths in Android Apps

Shweta Bhandari , Frédéric Herbreteau , Vijay Laxmi , Akka Zemmari , Partha Roop
2017 IEEE Trustcom/BigDataSE/ICESS, Aug 2017, Sydney, Australia. pp.285-292, ⟨10.1109/Trustcom/BigDataSE/ICESS.2017.249⟩
Communication dans un congrès hal-02500705v1
Image document

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
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, Dec 2016, Chennai, India. pp.48:1-48:14, ⟨10.4230/LIPIcs.FSTTCS.2016.48⟩
Communication dans un congrès hal-01423714v1
Image document

Improving search order for reachability testing in timed automata

Frédéric Herbreteau , Thanh-Tung Tran
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Sep 2015, Madrid, Spain
Communication dans un congrès hal-01166741v1
Image document

Decidable Topologies for Communicating Automata with FIFO and Bag Channels

Lorenzo Clemente , Frédéric Herbreteau , Grégoire Sutre
CONCUR 2014 - 25th International Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.281-296, ⟨10.1007/978-3-662-44584-6_20⟩
Communication dans un congrès hal-01023456v1

Reachability of Communicating Timed Processes

Lorenzo Clemente , Frédéric Herbreteau , Amélie Stainer , Grégoire Sutre
FoSSaCS - 16th International Conference on Foundations of Software Science and Computation Structures, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - 2013, Mar 2013, Rome, Italy. pp.81-96, ⟨10.1007/978-3-642-37075-5_6⟩
Communication dans un congrès hal-00744085v1
Image document

Lazy abstractions for timed automata

Frédéric Herbreteau , B. Srivathsan , Igor Walukiewicz
CAV - 24th International Conference on Computer Aided Verification - 2013, Jul 2013, Saint Petersburg, Russia
Communication dans un congrès hal-00775924v2

Better abstractions for timed automata

Frédéric Herbreteau , B. Srivathsan , Igor Walukiewicz
LICS - 27th Annual ACM/IEEE Symposium on Logic in Computer Science - 2012, Jun 2012, Dubrovnick, Croatia. pp.375-384
Communication dans un congrès hal-00708714v1

Coarse abstractions make Zeno behaviours difficult to detect

Frédéric Herbreteau , B. Srivathsan
CONCUR - 22nd International Conference on Concurrency Theory - 2011, Sep 2011, Aachen, Germany. pp.92-107, ⟨10.1007/978-3-642-23217-6_7⟩
Communication dans un congrès inria-00599553v1
Image document

Using non-convex approximations for efficient analysis of timed automata: Extended version

Frédéric Herbreteau , D. Kini , B. Srivathsan , Igor Walukiewicz
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India, IIT Bombay, Dec 2011, Mumbai, India. pp.78-89, ⟨10.4230/LIPIcs.FSTTCS.2011.78⟩
Communication dans un congrès inria-00559902v3
Image document

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

Frédéric Herbreteau , B. Srivathsan
ATVA - 8th International Symposium on Automated Technology for Verification and Analysis - 2010, Sep 2010, Singapore, Singapore. pp.218-232, ⟨10.1007/978-3-642-15643-4_17⟩
Communication dans un congrès inria-00496366v1
Image document

Efficient Emptiness Check for Timed Büchi Automata

Frédéric Herbreteau , B. Srivathsan , Igor Walukiewicz
CAV - 22nd International Conference on Computer Aided Verification - 2010, Jul 2010, Edinburgh, United Kingdom. pp.148-161, ⟨10.1007/978-3-642-14295-6_15⟩
Communication dans un congrès hal-00477149v1
Image document

Unfolding Concurrent Well-Structured Transition Systems

Frédéric Herbreteau , Grégoire Sutre , The Quang Tran
Proc. of the 13th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS07), Mar 2007, Portugal. pp.706--720
Communication dans un congrès hal-00306299v1
Image document

The Power of Hybrid Acceleration

Bernard Boigelot , Frédéric Herbreteau
Computer Aided Verification, 18th International Conference, Aug 2006, Seattle, WA, United States. pp.438-451
Communication dans un congrès inria-00335905v1
Image document

Hybrid Acceleration using Real Vector Automata

Bernard Boigelot , Frédéric Herbreteau , Sébastien Jodogne
Computer Aided Verification, 15th International Conference, Jul 2003, Boulder, CO, United States. pp.193-205
Communication dans un congrès inria-00335915v1
Image document

Verification of Embedded Reactive Fiffo Systems

Frédéric Herbreteau , Franck Cassez , Alain Finkel , Roux Olivier , Grégoire Sutre
LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Apr 2002, Cancun, Mexico. pp.400-414
Communication dans un congrès hal-00477233v1