Project-Team Sumo
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

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