EN FR
EN FR


previous Previous | up Home


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 3S. Akshay, L. Hélouët, R. Phawade.

    Combining Free choice and Time in Petri Nets, in: Journal of Logical and Algebraic Methods in Programming, November 2018, pp. 1-36. [ DOI : 10.1016/j.jlamp.2018.11.006 ]

    https://hal.inria.fr/hal-01931728
  • 4N. Bertrand, P. Bouyer, T. Brihaye, P. P. Carlier.

    When are stochastic transition systems tameable?, in: Journal of Logical and Algebraic Methods in Programming, 2018, vol. 99, pp. 41-96. [ DOI : 10.1016/j.jlamp.2018.03.004 ]

    https://hal.inria.fr/hal-01938135
  • 5P. Bouyer, N. Markey, M. Randour, K. G. Larsen, S. Laursen.

    Average-energy games, in: Acta Informatica, March 2018, vol. 55, no 2, pp. 91 - 127. [ DOI : 10.1007/s00236-016-0274-1 ]

    https://hal.archives-ouvertes.fr/hal-01889005
  • 6E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand.

    Diagnosability of Repairable Faults, in: Discrete Event Dynamic Systems, 2018, vol. 28, no 2, pp. 183-213. [ DOI : 10.1007/s10626-017-0255-8 ]

    https://hal.inria.fr/hal-01646911
  • 7L. Hélouët, K. Kecir.

    Realizability of schedules by stochastic time Petri nets with blocking semantics, in: Science of Computer Programming, June 2018, vol. 157, pp. 71-102. [ DOI : 10.1016/j.scico.2017.12.004 ]

    https://hal.inria.fr/hal-01942241
  • 8A. Le Coënt, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin.

    Compositional synthesis of state-dependent switching control, in: Theoretical Computer Science, November 2018, vol. 750, pp. 53-68. [ DOI : 10.1016/j.tcs.2018.01.021 ]

    https://hal.archives-ouvertes.fr/hal-01860379
  • 9M. Renard, Y. Falcone, A. Rollet, T. Jéron, H. Marchand.

    Optimal Enforcement of (Timed) Properties with Uncontrollable Events, in: Mathematical Structures in Computer Science, 2019, vol. 29, no 1, pp. 169-214. [ DOI : 10.1017/S0960129517000123 ]

    https://hal.archives-ouvertes.fr/hal-01262444

International Conferences with Proceedings

  • 10S. Akshay, B. Genest, N. Vyas.

    Distribution-based objectives for Markov Decision Processes, in: LICS 2018, the 33rd Annual ACM/IEEE Symposium, Oxford, United Kingdom, Proceedings of LICS 2018, ACM Press, July 2018, pp. 36-45. [ DOI : 10.1145/3209108.3209185 ]

    https://hal.archives-ouvertes.fr/hal-01933978
  • 12E. Badouel, R. Djeumen Djatcha.

    Interfaces of Roles in Distributed Collaborative Systems, in: CARI 2018 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées, Stellenbosch, South Africa, October 2018, pp. 182-193.

    https://hal.inria.fr/hal-01919465
  • 13E. Badouel, R. Djeumen Djatcha.

    Modular Design of Domain-Specific Languages using Splittings of Catamorphisms, in: ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Stellenbosch, South Africa, B. Fischer, T. Uustalu (editors), LNCS, Springer, October 2018, vol. 11187, pp. 62-79. [ DOI : 10.1007/978-3-030-02508-3_4 ]

    https://hal.inria.fr/hal-01919423
  • 14C. Baier, N. Bertrand, C. Dubslaff, D. Gburek, O. Sankur.

    Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes, in: LICS '18 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, ACM Press, July 2018, pp. 86-94. [ DOI : 10.1145/3209108.3209184 ]

    https://hal.archives-ouvertes.fr/hal-01883409
  • 15A. Balasubramanian, N. Bertrand, N. Markey.

    Parameterized verification of synchronization in constrained reconfigurable broadcast networks, in: TACAS 2018 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, Lecture Notes in Computer Science, Springer, April 2018, vol. 10806, pp. 38-54. [ DOI : 10.1007/978-3-319-89963-3_3 ]

    https://hal.archives-ouvertes.fr/hal-01889046
  • 16H. Bazille, E. Fabre, B. Genest.

    Complexity reduction techniques for quantified diagnosability of stochastic systems, in: WODES'18 - 14th IFAC Workshop on Discrete Event Systems, Castellamare di Stabi, Italy, Proceedings of WODES 2018, IFAC, May 2018, pp. 82-87. [ DOI : 10.1016/j.ifacol.2018.06.283 ]

    https://hal.archives-ouvertes.fr/hal-01943401
  • 17H. Bazille, E. Fabre, B. Genest.

    Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings, in: FOSSACS 2018 - 21st International Conference on Foundations of Software Science and Computation Structures, Thessaloniki, Greece, LNCS, Springer, April 2018, vol. 10803, pp. 403-419. [ DOI : 10.1007/978-3-319-89366-2_22 ]

    https://hal.archives-ouvertes.fr/hal-01943440
  • 18N. Berthier, H. Marchand, É. Rutten.

    Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management, in: WODES 2018 - 14th Workshop on Discrete Event Systems, Sorrento Coast, Italy, Elsevier, May 2018, pp. 1-8. [ DOI : 10.1016/j.ifacol.2018.06.288 ]

    https://hal.inria.fr/hal-01807284
  • 19P. Bouyer, M. Gonzalez, N. Markey, M. Randour.

    Multi-weighted Markov Decision Processes with Reachability Objectives, in: Gandalf 2018 - Ninth International Symposium on Games, Automata, Logics, and Formal Verification, Sarrebruck, Germany, EPTCS, September 2018, vol. 277, pp. 250 - 264. [ DOI : 10.4204/EPTCS.277.18 ]

    https://hal.archives-ouvertes.fr/hal-01889020
  • 20P. Bouyer, S. Jaziri, N. Markey.

    Efficient timed diagnosis using automata with timed domains, in: RV 2018 - 18th International Conference on Runtime Verification, Limassol, Cyprus, LNCS, November 2018, vol. 11237, pp. 1-26.

    https://hal.archives-ouvertes.fr/hal-01889030
  • 21B. Bérard, S. Haar, L. Hélouët.

    Hyper Partial Order Logic, in: FSTTCS 2018 - Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, December 2018, vol. 122, pp. 1-29. [ DOI : 10.4230/LIPIcs.FSTTCS.2018.20 ]

    https://hal.inria.fr/hal-01884390
  • 22S. Cherrared, S. Imadali, E. Fabre, G. Gössler.

    LUMEN: A Global Fault Management Framework For Network Virtualization Environments, in: ICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Paris, France, IEEE, February 2018, pp. 1-8. [ DOI : 10.1109/ICIN.2018.8401622 ]

    https://hal.inria.fr/hal-01851610
  • 23E. Fabre, G. M. Pinna.

    Toward a Uniform Approach to the Unfolding of Nets, in: DisCoTec 2018 - 13th International Federated Conference on Distributed Computing Techniques, Madrid, Spain, June 2018, vol. 279, pp. 21-36, https://arxiv.org/abs/1810.08038.

    https://hal.inria.fr/hal-01943666
  • 24P. Gardy, P. Bouyer, N. Markey.

    Dependences in Strategy Logic, in: STACS 2018, Caen, France, LIPICS, February 2018, vol. 34, pp. 35 - 36. [ DOI : 10.4230/LIPIcs.STACS.2018.34 ]

    https://hal.archives-ouvertes.fr/hal-01889224
  • 25L. Henry, T. Jéron, N. Markey.

    Control strategies for off-line testing of timed systems, in: SPIN 2018 - International Symposium on Model Checking Software, Malaga, Spain, LNCS, June 2018, vol. 10869, pp. 171-189. [ DOI : 10.1007/978-3-319-94111-0_10 ]

    https://hal.archives-ouvertes.fr/hal-01889225
  • 26L. Hélouët, H. Marchand, J. Mullins.

    Concurrent secrets with quantified suspicion, in: ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Bratislava, Slovakia, June 2018, pp. 1-15.

    https://hal.inria.fr/hal-01757949
  • 27L. Hélouët, H. Marchand, L. S. L. Ricker.

    Opacity with powerful attackers, in: WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, Sorrento, Italy, Elsevier, May 2018, pp. 464 - 471. [ DOI : 10.1016/j.ifacol.2018.06.341 ]

    https://hal.inria.fr/hal-01886156
  • 28E. Lefaucheux, A. Giua, C. Seatzu.

    Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis, in: Petri Nets 2018 - International Conference on Applications and Theory of Petri Nets and Concurrency, Bratislava, Slovakia, Lecture Notes in Computer Science, Springer, June 2018, vol. 10877, pp. 164-183. [ DOI : 10.1007/978-3-319-91268-4_9 ]

    https://hal.inria.fr/hal-01882129

Scientific Books (or Scientific Book chapters)

  • 29P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey, J. Ouaknine, J. Worrell.

    Model Checking Real-Time Systems, in: Handbook of model checking, Springer-Verlag, April 2018, pp. 1001-1046. [ DOI : 10.1007/978-3-319-10575-8_29 ]

    https://hal.archives-ouvertes.fr/hal-01889280

Books or Proceedings Editing

  • 30N. Gmati, E. Badouel, B. Watson (editors)

    Proceedings of CARI 2018 (African Conference on Research in Computer Science and Applied Mathematics), September 2018.

    https://hal.inria.fr/hal-01881376

Other Publications

  • 31N. Bertrand, I. Konnov, M. Lazic, J. Widder.

    Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries, November 2018, Experiments presented in this paper were carried out using the Grid5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several Universities as well as other organizations, see grid5000.fr.

    https://hal.inria.fr/hal-01925533
  • 32L. Hélouët, H. Marchand, L. Ricker.

    Opacity with powerful attackers, March 2018, working paper or preprint.

    https://hal.inria.fr/hal-01738169
  • 33L. Hélouët, R. Singh, Z. Miklós.

    Data Centric Workflows for Complex Crowdsourcing Applications, January 2019, working paper or preprint.

    https://hal.inria.fr/hal-01976280


previous Previous | up Home