Articles dans des revues avec comité de lecture (101)
  1. 3. Devillers, R., & Tredup, R. (2022). Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues. Lecture notes in computer science, 13288 LNCS, 213-235. doi:10.1007/978-3-031-06653-5_12
  2. 4. Devillers, R., & Tredup, R. (2022). Complexity of Distributed Petri Net Synthesis. Lecture notes in computer science, 13299 LNCS, 15-28. doi:10.1007/978-3-031-10363-6_2
  3. 5. Devillers, R., & Tredup, R. (2022). Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues. Fundamenta informaticae, 187(2-4), 139-165. doi:10.3233/FI-222135
  4. 6. Devillers, R., & Tredup, R. (2022). Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues. Fundamenta informaticae, 187(2-4), 167-196. doi:10.3233/FI-222136
  5. 7. Devillers, R., Erofeev, E., & Hujsa, T. (2021). Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. Lecture notes in computer science, 12530 LNCS, 75-100. doi:10.1007/978-3-662-63079-2_4
  6. 8. Devillers, R. (2021). Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis. Fundamenta informaticae, 183(1-2), 1-31.
  7. 9. Devillers, R. (2021). Synthesis of (Choice-Free) Reset Nets. Lecture notes in computer science, 12734 LNCS, 274-291. doi:10.1007/978-3-030-76983-3_14
  8. 10. Arcile, J., Devillers, R., & Klaudel, H. (2020). Models for the dynamic exploration of the state spaces of autonomous vehicles. CEUR Workshop Proceedings, 2651, 29-48.
  9. 11. Best, E., Devillers, R., Erofeev, E., & Wimmel, H. (2020). Target-oriented Petri Net Synthesis. Fundamenta informaticae, 175(1-4), 97-122. doi:10.3233/FI-2020-1949
  10. 12. Arcile, J., Devillers, R., & Klaudel, H. (2020). Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundamenta informaticae, 175(1-4), 59-95. doi:10.3233/FI-2020-1948
  11. 13. Arcile, J., Devillers, R., & Klaudel, H. (2020). VerifCar: A framework for modeling and model checking communicating autonomous vehicles. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2020-May, 2126-2127.
  12. 14. Best, E., Devillers, R., & Erofeev, E. (2020). A New Property of Choice-Free Petri Net Systems. Lecture notes in computer science, 12152 LNCS, 89-108. doi:10.1007/978-3-030-51831-8_5
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>