Articles dans des revues avec comité de lecture (167)
  1. 65. Geeraerts, G., Heussner, A. E., Praveen, M., & Raskin, J.-F. (2013). omega-Petri nets. Lecture Notes in Computer Science, 7927 LNCS, 49-69.
  2. 66. Filiot, E., Jin, N., & Raskin, J.-F. (2013). Exploiting structure in LTL synthesis. International Journal on Software Tools for Technology Transfer, 15(5-6), 541-561.
  3. 67. Geeraerts, G., Heussner, A. E., & Raskin, J.-F. (2013). Queue-dispatch asynchronous systems. Proceedings (International Conference on Application of Concurrency to System Design),, 10.1109/ACSD.2013.18 150-159.
  4. 68. Brihaye, T., Doyen, L., Geeraerts, G., Ouaknine, J., Raskin, J.-F., & Worrell, J. (2013). Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints. Lecture Notes in Computer Science, 8172, 55-70.
  5. 69. Bulychev, P. E., Cassez, F. F., David, A., Larsen, K. G., Raskin, J.-F., & Reynier, P.-A. (2012). Controllers with minimal observation power (application to timed systems). Lecture notes in computer science, 7561 LNCS, 223-237. doi:10.1007/978-3-642-33386-6_19
  6. 70. Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (2012). ACACIA+ a Tool for LTL Synthesis. Lecture notes in computer science, 7358, 652-657.
  7. 71. Bulychev, P. E., Cassez, F. F., David, A., Larsen, K. G., Raskin, J.-F., & Reynier, P.-A. (2012). Controllers with Minimal Observation Power: Application to Timed Systems. Lecture notes in computer science, 7561, 223-237.
  8. 72. Chatterjee, K., Randour, M., & Raskin, J.-F. (2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. Lecture notes in computer science, 7454 LNCS, 115-131. doi:10.1007/978-3-642-32940-1_10
  9. 73. Brim, L., Chaloupka, J., Doyen, L., Gentilini, R., & Raskin, J.-F. (2012). Faster Algorithms for Mean-payoff Games. Formal methods in system design, 38(2), 97-118. doi:10.1007/s10703-010-0105-x
  10. 74. Filiot, E., Gentilini, R., & Raskin, J.-F. (2012). Quantitative languages defined by functional automata. Lecture notes in computer science, 7454 LNCS, 132-146. doi:10.1007/978-3-642-32940-1_11
  11. 75. Filiot, E., Jin, N., & Raskin, J.-F. (2011). Antichains and compositional algorithms for LTL synthesis. Formal methods in system design, 39(3), 261-296. doi:10.1007/s10703-011-0115-3
  12. 76. Hermanns, H., Larsen, K. G., Raskin, J.-F., & Tretyakov, J. (2011). Quantitative System Validation in Model Driven Design. ACM Annual Computer Science Conference, 301-302.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Suivant >>