E-LIB Suche - Ergebnisse für: Herbreteau, Frédéric

1

Abstractions for the local-time semantics of timed automata..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Govind, R. ; Herbreteau, Frédéric ; Srivathsan. - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

2

Zone-Based Verification of Timed Automata: Extrapolations, ..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Bouyer, Patricia ; Gastin, Paul ; Herbreteau, Frédéric.. - p. 16-42 , 2022

Link: https://doi.org/10.1007/..

3

Why Liveness for Timed Automata Is Hard, and What We Can Do..:

Herbreteau, Frédéric ; Srivathsan, B. ; Tran, Thanh-Tung.
ACM Transactions on Computational Logic. 21 (2020) 3 - p. 1-28 , 2020

Link: https://doi.org/10.1145/..

4

Certifying Emptiness of Timed Büchi Automata:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Wimmer, Simon ; Herbreteau, Frédéric ; van de Pol, Jaco - p. 58-75 , 2020

Link: https://doi.org/10.1007/..

5

SneakLeak+: Large-scale klepto apps analysis:

Bhandari, Shweta ; Herbreteau, Frederic ; Laxmi, Vijay...
Future Generation Computer Systems. 109 (2020) - p. 593-603 , 2020

Link: https://doi.org/10.1016/..

6

Why Liveness for Timed Automata Is Hard, and What We Can Do..:

Herbreteau, Frédéric ; Srivathsan, B. ; Tran, Thanh-Tung.
ACM Transactions on Computational Logic (TOCL). 21 (2020) 3 - p. 1-28 , 2020

Link: https://dl.acm.org/doi/1..

7

Detecting Inter-App Information Leakage Paths:

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

Bhandari, Shweta ; Herbreteau, Frederic ; Laxmi, Vijay... - p. 908-910 , 2017

Link: https://dl.acm.org/doi/1..

8

Better abstractions for timed automata:

Herbreteau, Frédéric ; Srivathsan, B. ; Walukiewicz, Igor
Information and Computation. 251 (2016) - p. 67-90 , 2016

Link: https://doi.org/10.1016/..

9

Better Abstractions for Timed Automata:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,

Herbreteau, Frederic ; Srivathsan, B. ; Walukiewicz, Igor - p. 375-384 , 2012

Link: https://dl.acm.org/doi/1..

10

Efficient emptiness check for timed Büchi automata:

Herbreteau, Frédéric ; Srivathsan, B. ; Walukiewicz, Igor
Formal Methods in System Design. 40 (2011) 2 - p. 122-146 , 2011

Link: https://doi.org/10.1007/..

11

Checking Timed Büchi Automata Emptiness Using the Local-Tim..:

Herbreteau, Frédéric ; Srivathsan, B ; Walukiewicz, Igor
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.CONCUR.2022.12. , 2022

Link: https://hal.science/hal-..

12

Zone-based verification of timed automata: extrapolations, ..:

Bouyer, Patricia ; Gastin, Paul ; Herbreteau, Frédéric..
http://arxiv.org/abs/2207.07479. , 2022

Link: http://arxiv.org/abs/220..

13

Abstractions for the local-time semantics of timed automata..:

Govind, R ; Herbreteau, Frédéric ; Srivathsan, B.
hal-03644039. , 2022

Link: https://hal.science/hal-..

14

Abstractions for the local-time semantics of timed automata..:

Govind, R ; Herbreteau, Frédéric ; Srivathsan, B.
hal-03644039. , 2022

Link: https://hal.archives-ouv..

15

Why Liveness for Timed Automata Is Hard, and What We Can Do..:

Herbreteau, Frédéric ; Srivathsan, B ; Thanh Tung, Tran.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3372310. , 2020

Link: https://hal.science/hal-..