EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1S. Akshay, B. Genest, L. Hélouët, S. Yang.

    Regular Set of Representatives for Time-Constrained MSC Graphs, in: Information Processing Letters, 2012, vol. 112, no 14-15, pp. 592-598.

    http://hal.inria.fr/hal-00879825
  • 2E. Badouel, M. A. Bednarczyk, A. M. Borzyszkowski, B. Caillaud, P. Darondeau.

    Concurrent Secrets, in: Discrete Event Dynamic Systems, 2007, vol. 17, no 4, pp. 425-446.
  • 3E. Badouel, L. Bernardinello, P. Darondeau.

    Petri Net Synthesis, Springer, 2015.

    http://dx.doi.org/10.1007/978-3-662-47967-4
  • 4A. Benveniste, E. Fabre, S. Haar, C. Jard.

    Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach, in: IEEE Transactions on Automatic Control, November 2003, vol. 48, no 5, pp. 714-727, RNRT project MAGDA. [ DOI : 10.1109/TAC.2003.811249 ]

    http://hal.inria.fr/inria-00638224
  • 5N. Bertrand, B. Genest, H. Gimbert.

    Qualitative Determinacy and Decidability of Stochastic Games with Signals, in: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09), Los Angeles, USA, August 2009.

    http://hal.archives-ouvertes.fr/hal-00356566
  • 6N. Bertrand, T. Jéron, A. Stainer, M. Krichen.

    Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata, in: Logical Methods in Computer Science, October 2012, vol. 8, no 4:8, pp. 1-33.

    http://hal.inria.fr/hal-00744074
  • 7J. Dubreil, P. Darondeau, H. Marchand.

    Supervisory Control for Opacity, in: IEEE Transactions on Automatic Control, May 2010, vol. 55, no 5, pp. 1089-1100. [ DOI : 10.1109/TAC.2010.2042008 ]
  • 8E. Fabre, A. Benveniste.

    Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them, in: Journal of Discrete Events Dynamical Systems, 2007, vol. 17, no 3, pp. 357-403.
  • 9E. Fabre.

    Trellis Processes: A Compact Representation for Runs of Concurrent Systems, in: Journal of Discrete Event Dynamical Systems, 2007, vol. 17, no 3, pp. 267-306.
  • 10E. Fabre, L. Jezequel.

    Distributed optimal planning: an approach by weighted automata calculus, in: Proceedings of the 48th IEEE Conference on Decision and Control (CDC'09), 2009, pp. 211-216.
  • 11B. Gaudin, H. Marchand.

    An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach, in: Discrete Event Dynamic System, 2007, vol. 17, no 2, pp. 179-209.
  • 12T. Gazagnaire, B. Genest, L. Hélouët, P. Thiagarajan, S. Yang.

    Causal Message Sequence Charts, in: Theoretical Computer Science, 2009, 38 p, EA DST.

    http://hal.inria.fr/inria-00429538
  • 13C. Jard, T. Jéron.

    TGV: theory, principles and algorithms, in: International Journal on Software Tools for Technology Transfer, 2005, vol. 7, no 4, pp. 297-315.
  • 14B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva.

    Symbolic Test Selection Based on Approximate Analysis, in: Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Edinburgh, UK, 2005.

    http://hal.inria.fr/inria-00564617
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 15H. Marchand.

    Contribution to the Analysis of Discrete Event Systems, Université de Rennes 1, June 2017, Habilitation à diriger des recherches.

    https://hal.inria.fr/tel-01589972

Articles in International Peer-Reviewed Journals

  • 16E. Badouel, U. Schlachter.

    Incremental Process Discovery using Petri Net Synthesis, in: Fundamenta Informaticae, June 2017, vol. 154, no 1-4, pp. 1-13. [ DOI : 10.3233/FI-2017-1548 ]

    https://hal.inria.fr/hal-01599760
  • 17N. Bertrand, B. Genest, H. Gimbert.

    Qualitative Determinacy and Decidability of Stochastic Games with Signals, in: Journal of the ACM (JACM), October 2017, vol. 64, no 5, pp. 1 - 48. [ DOI : 10.1145/3107926 ]

    https://hal.inria.fr/hal-01635127
  • 18A. Bohy, V. Bruyère, J.-F. Raskin, N. Bertrand.

    Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes, in: Acta Informatica, September 2017, vol. 54, no 6, pp. 545 - 587. [ DOI : 10.1007/s00236-016-0255-4 ]

    https://hal.inria.fr/hal-01635132
  • 19B. Bérard, L. Hélouët, J. Mullins.

    Non-interference in partial order models, in: ACM Transactions on Embedded Computing Systems (TECS), 2017, vol. 16, no 2, 34 p. [ DOI : 10.1145/2984639 ]

    https://hal.inria.fr/hal-01379451
  • 20E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand.

    Diagnosability of Repairable Faults, in: Discrete Event Dynamic Systems, June 2017.

    https://hal.inria.fr/hal-01646911
  • 21S. K. Palaniappan, F. Bertaux, M. Pichené, E. Fabre, G. Batt, B. Genest.

    Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway, in: Bioinformatics, February 2017, vol. 33, no 13, pp. 1980 - 1986, free access to online article: https://academic.oup.com/bioinformatics/article/33/13/1980/2996220/Abstracting-the-dynamics-of-biological-pathways?guestAccessKey=7083a393-ea30-4113-b5f9-816fb9b56287. [ DOI : 10.1093/bioinformatics/btx095 ]

    https://hal.inria.fr/hal-01547618
  • 22S. Pinisetty, T. Jéron, S. Tripakis, Y. Falcone, H. Marchand, V. Preoteasa.

    Predictive Runtime Verification of Timed Properties, in: Journal of Systems and Software, October 2017, vol. 132, pp. 353 - 365. [ DOI : 10.1016/j.jss.2017.06.060 ]

    https://hal.inria.fr/hal-01666995
  • 23S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand.

    Predictive runtime enforcement, in: Formal Methods in System Design, August 2017, vol. 51, no 1, pp. 154 - 199. [ DOI : 10.1007/s10703-017-0271-1 ]

    https://hal.inria.fr/hal-01647787
  • 24M. Renard, Y. Falcone, A. Rollet, T. Jéron, H. Marchand.

    Optimal Enforcement of (Timed) Properties with Uncontrollable Events, in: Mathematical Structures in Computer Science, May 2017. [ DOI : 10.1017/S0960129517000123 ]

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

Invited Conferences

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

    Combining Free choice and Time in Petri Nets, in: 6th IFIP Working group on trends in Concurrency, Berlin, Germany, September 2017, Présentation dans un working group sans actes.

    https://hal.inria.fr/hal-01650751
  • 26R. Brenguier, A. Pauly, J.-F. Raskin, O. Sankur.

    Admissibility in Games with Imperfect Information, in: CONCUR 2017 - 28th International Conference on Concurrency Theory, Berlin, Germany, LIPICs, September 2017, vol. 85. [ DOI : 10.4230/LIPIcs ]

    https://hal.archives-ouvertes.fr/hal-01598152
  • 27N. Markey.

    Temporal Logics for Multi-Agent Systems, in: MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017. [ DOI : 10.4230/LIPIcs.MFCS.2017.84 ]

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

International Conferences with Proceedings

  • 28B. Adeline, P. Dersin, E. Fabre, L. Hélouët, K. Kecir.

    An efficient evaluation scheme for KPIs in regulated urban train systems, in: RSSRail 2017 - International Conference on reliability, safety, and security of railway systems, Pistoia, Italy, A. Fantechi, T. Lecomte, A. Romanovsky (editors), Lecture Notes in Computer Science, Springer, November 2017, no 10598.

    https://hal.inria.fr/hal-01646919
  • 29N. Basset, G. Geeraerts, J.-F. Raskin, O. Sankur.

    Admissiblity in Concurrent Games, in: ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, LIPICs, July 2017, vol. 80. [ DOI : 10.4230/LIPIcs.ICALP.2017.123 ]

    https://hal.archives-ouvertes.fr/hal-01598148
  • 30N. Basset, J.-F. Raskin, O. Sankur.

    Admissible Strategies in Timed Games, in: Models, Algorithms, Logics and Tools, aalborg, Denmark, Lecture Notes in Computer Science, July 2017, vol. 10460.

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

    Diagnosability Degree of Stochastic Discrete Event Systems, in: CDC 2017 - 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 2017, pp. 1-6.

    https://hal.inria.fr/hal-01651232
  • 32N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten.

    Logico-numerical Control for Software Components Reconfiguration, in: CCTA 2017 - IEEE Conference on Control Technology and Applications, Mauna Lani, HI, United States, IEEE, August 2017, pp. 1599 - 1606. [ DOI : 10.1109/CCTA.2017.8062685 ]

    https://hal.inria.fr/hal-01644754
  • 33N. Bertrand, M. Dewaskar, B. Genest, H. Gimbert.

    Controlling a Population, in: CONCUR 2017 - 28th International Conference on Concurrency Theory, Berlin, Germany, September 2017, pp. 1-23.

    https://hal.archives-ouvertes.fr/hal-01625661
  • 34P. Bouyer, P. Hofman, N. Markey, M. Randour, M. Zimmermann.

    Bounding Average-Energy Games, in: FoSSaCS'17, Uppsala, Sweden, Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'17), Springer, April 2017, vol. 10203, pp. 179-195. [ DOI : 10.1007/978-3-662-54458-7_11 ]

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

    On the determinization of timed systems, in: FORMATS'17, Berlin, Germany, Proceedings of the 15th International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'17), September 2017, vol. 10419, pp. 25-41. [ DOI : 10.1007/978-3-319-65765-3 2 ]

    https://hal.archives-ouvertes.fr/hal-01566436
  • 36B. Bérard, S. Haddad, E. Lefaucheux.

    Probabilistic Disclosure: Maximisation vs. Minimisation , in: FSTTCS 2017, Kanpur, India, December 2017. [ DOI : 10.4230/LIPIcs.FSTTXS.2017 ]

    https://hal.inria.fr/hal-01618955
  • 37L. Hélouët, H. Marchand.

    On the cost of diagnosis with disambiguation, in: QEST 2017, Berlin, France, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), September 2017.

    https://hal.inria.fr/hal-01537796
  • 38T. A. Pham, T. Jéron, M. Quinson.

    Verifying MPI Applications with SimGridMC, in: Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Denver, United States, November 2017. [ DOI : 10.1145/3145344.3145345 ]

    https://hal.inria.fr/hal-01632421
  • 39M. Pichené, S. K. Palaniappan, E. Fabre, B. Genest.

    Non-Disjoint Clustered Representation for Distributions over a Population of Cells (poster), in: CMSB 2017, Darmstadt, Germany, CMSB 2017 - 15th International Conference on Computational Methods in Systems Biology, Springer, 2017, vol. LNCS/LNBI, no 10545, pp. 324-326.

    https://hal.archives-ouvertes.fr/hal-01625665
  • 40L. Ricker, T. F. Lidbetter, H. Marchand.

    Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems, in: 20th World Congress The International Federation of Automatic Control, Toulouse, France, July 2017, 6 p.

    https://hal.inria.fr/hal-01590438
  • 41O. Sankur, J.-P. Talpin.

    An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP, in: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, Sweden, Lecture Notes in Computer Science, April 2017, vol. 10206.

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

National Conferences with Proceedings

    Conferences without Proceedings

    • 43K. Kecir, L. Helouet, P. Dersin, B. Adeline, A. D'Ariano.

      From Reactive to Predictive Regulation in Metros, in: ECSO 2017 : 2nd European Conference on Stochastic Optimization, Rome, Italy, September 2017.

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

    Scientific Books (or Scientific Book chapters)

    • 44P. Bouyer, F. Laroussinie, N. Markey, J. Ouaknine, J. Worrell.

      Timed temporal logics, in: Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, Springer, August 2017, vol. 10460, pp. 211-230. [ DOI : 10.1007/978-3-319-65764-6_11 ]

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

    Books or Proceedings Editing

    • 45N. Bertrand, L. Bortolussi (editors)

      Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017), Berlin, Germany, September 5-7, 2017, 2017.

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

    Internal Reports

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

      Combining Free choice and Time in Petri Nets, Inria Rennes - Bretagne Atlantique, July 2017.

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

      Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics: (Extended Version), Inria Rennes - Bretagne Atlantique, October 2017.

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

    Other Publications

    References in notes
    • 51E. Fabre, L. Hélouët, E. Lefaucheux, H. Marchand.

      Diagnosability of Repairable Faults, in: 13th International Workshop on Discrete Event Systems (WODES'16), Xi'an, China, 2016, pp. 256–262.
    • 52F. Mogavero, A. Murano, G. Perelli, M. Y. Vardi.

      Reasoning About Strategies: On the Model-Checking Problem, in: ACM Transactions on Computational Logic, August 2014, vol. 15, no 4, pp. 34:1-34:47.

      http://dx.doi.org/10.1145/2631917


    previous Previous | up Home