Zobrazeno 1 - 10 of 61 pro vyhledávání: '"Loïc Hélouët"'
1
Akademický článek
Reachability Games with Relaxed Energy Constraints
Autor: Loïc Hélouët, Nicolas Markey, Ritam Raha
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 17-33 (2019)
We study games with reachability objectives under energy constraints. We first prove that under strict energy constraints (either only lower-bound constraint or interval constraint), those games are LOGSPACE-equivalent to energy games with the same e
Externí odkaz: https://doaj.org/article/e041172c5e754f96b6529c733c014c58
Zobrazit plný text záznamu
2
Akademický článek
Covert channel detection using Information Theory
Autor: Loïc Hélouët, Aline Roumy
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 51, Iss Proc. SecCo 2010, Pp 34-51 (2011)
This paper presents an information theory based detection framework for covert channels. We first show that the usual notion of interference does not characterize the notion of deliberate information flow of covert channels. We then show that even an
Externí odkaz: https://doaj.org/article/f36d83df9bc845b6b662f4ecb976bec9
Zobrazit plný text záznamu
4
Waiting Nets
Autor: Loïc Hélouët, Pranay Agrawal
Publikováno v: PETRI NETS 2022-43rd International Conference on Application and Theory of Petri Nets and Concurrency
PETRI NETS 2022-43rd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2022, Bergen, Norway. pp.67-89, ⟨10.1007/978-3-031-06653-5_4⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783031066528
International audience; In Time Petri nets (TPNs), time and control are tightly connected: time measurement for a transition starts only when all resources needed to fire it are available. For many systems, one wants to start measuring time as soon a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9797fe16e26f36d62d7e6828fad2a9be
https://hal.inria.fr/hal-03777443
Zobrazit plný text záznamu
5
Reachability games with relaxed energy constraints
Autor: Nicolas Markey, Loïc Hélouët, Ritam Raha
Publikováno v: Information and Computation
Information and Computation, 2022, 285B, ⟨10.1016/j.ic.2021.104806⟩
Electronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 17-33 (2019)
Information and Computation, Elsevier, 2021, pp.1-20. ⟨10.1016/j.ic.2021.104806⟩
GandALF 2019-Tenth International Symposium on Games, Automata, Logics, and Formal Verification
GandALF 2019-Tenth International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2019, Bordeaux, France. pp.17-33, ⟨10.4204/EPTCS.305.2⟩
Information and computation
GandALF
We study games with reachability objectives under energy constraints. We first prove that under strict energy constraints (either only lower-bound constraint or interval constraint), those games are LOGSPACE-equivalent to energy games with the same e
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c441a8bf41ca53548c2f370d0d363635
https://inria.hal.science/hal-03482420/document
Zobrazit plný text záznamu
6
Reducing the Cost of Aggregation in Crowdsourcing
Autor: Rituraj Singh, Loïc Hélouët, Zoltán Miklós
Publikováno v: Transactions on Large-Scale Data-and Knowledge-Centered Systems
Transactions on Large-Scale Data-and Knowledge-Centered Systems, In press, pp.1-38
Transactions on Large-Scale Data-and Knowledge-Centered Systems, Springer Berlin / Heidelberg, In press, pp.1-38
HAL
International Conference on Web Services
Web Services-ICWS 2020-27th International Conference, Held as Part of the Services Conference Federation, SCF 2020
Web Services-ICWS 2020-27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Sep 2020, Honolulu, United States. pp.77-95, ⟨10.1007/978-3-030-59618-7⟩
Web Services – ICWS 2020 ISBN: 9783030596170
ICWS
Transactions on Large-Scale Data-and Knowledge-Centered Systems XLIX ISBN: 9783662641477
International audience; Crowdsourcing is a way to solve problems that need human contribution. Crowdsourcing platforms distribute replicated tasks to workers, pay them for their contribution, and aggregate answers to produce a reliable conclusion. A
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3173040c7e546c7070f4d29fb6075d25
https://hal.science/hal-03482460/file/HelouetTLDKS21.pdf
Zobrazit plný text záznamu
7
Cost and Quality in Crowdsourcing Workflows
Autor: Loïc Hélouët, Zoltán Miklós, Rituraj Singh
Publikováno v: Application and Theory of Petri Nets and Concurrency ISBN: 9783030769826
Petri Nets
PETRI NETS 2021-42nd International Conference on Applications and Theory of Petri Nets and Concurrency
PETRI NETS 2021-42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.33-54, ⟨10.1007/978-3-030-76983-3_3⟩
International audience; Crowdsourcing platforms provide tools to replicate and distribute micro tasks (simple, independent work units) to crowds and assemble results. However, real-life problems are often complex: they require to collect, organize or
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2b7b7e307c4719ce9301d35e75d88c7
https://doi.org/10.1007/978-3-030-76983-3_3
Zobrazit plný text záznamu
8
Enforcing Opacity in Modular Systems
Autor: Loïc Hélouët, Graeme Zinck, Laurie Ricker, Hervé Marchand
Publikováno v: IFAC 2020-Ifac world Congress
IFAC 2020-Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8
International audience; In discrete-event systems, the opacity of a secret ensures that some behaviors or states cannot be inferred with certainty from partial observation of the system. Enforcing opacity in a discrete-event system, encoded by a fini
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3357609969eec54ed6e61d559c04bfdc
https://hal.inria.fr/hal-02917644/file/IFAC20_3494_FI.pdf
Zobrazit plný text záznamu
9
Data Centric Workflows for Crowdsourcing
Autor: Pierre Bourhis, Loïc Hélouët, Rituraj Singh, Zoltán Miklós
Publikováno v: Petri Nets 2020-41st International Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2020-41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France. pp.1-39
HAL
Petri Nets 2020
Petri Nets 2020, Jun 2020, Paris, France
Application and Theory of Petri Nets and Concurrency ISBN: 9783030518301
Petri Nets
Application and Theory of Petri Nets and Concurrency
Crowdsourcing is a major paradigm to accomplish works that require human skills, by paying a small sum of money and drawing workers all across the globe. However, crowdsourcing platforms are mainly ways to solve large amounts of relatively simple and
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba2f300a272e4afc01d37b6f90dcf178
https://inria.hal.science/hal-02508838/document
Zobrazit plný text záznamu
10
Performance Evaluation of Metro Regulations Using Probabilistic Model-checking
Autor: Thomas Mari, Ocan Sankur, Nathalie Bertrand, Julie Parreaux, Benjamin Bordais, Loïc Hélouët
Publikováno v: RSSRail 2019-International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification
RSSRail 2019-International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, Jun 2019, Lille, France. pp.59-76, ⟨10.1007/978-3-030-18744-6_4⟩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783030187439
RSSRail
International audience; Metros are subject to unexpected delays due to weather conditions , incidents, passenger misconduct, etc. To recover from delays and avoid their propagation to the whole network, metro operators use regulation algorithms that
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e540cc07dcf9e91ed1b3a364381be217
https://inria.hal.science/hal-02065365/document
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje