Articles dans des revues avec comité de lecture (101)
  1. 39. Devillers, R., & Best, E. (2015). State space axioms for T-systems. Acta informatica, 52(2-3), 133--152. doi:10.1007/s00236-015-0219-0
  2. 40. Best, E., & Devillers, R. (2015). Synthesis and reengineering of persistent systems. Acta informatica, 52(1), 35--60. doi:10.1007/s00236-014-0209-7
  3. 41. Best, E., & Devillers, R. (2015). Synthesis of Bounded Choice-Free Petri Nets. In Proc. 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz international proceedings in informatics, 42, 128-141. doi:10.4230/LIPIcs.CONCUR.2015.128
  4. 42. Devillers, R., & Valmari, A. (2015). Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings. Lecture notes in computer science, 9115. doi:10.1007/978-3-319-19488-2
  5. 43. Devillers, R., Didier, J.-Y., Klaudel, H., & Arcile, J. (2014). Deadlock and temporal properties analysis in mixed reality applications. Proceedings - International Symposium on Software Reliability Engineering,, 6982614 55-65. doi:10.1109/ISSRE.2014.33
  6. 44. Arcile, J., Devillers, R., Didier, J.-Y., & Klaudel, H. (2014). Deadlock and Temporal Properties Analysis in Mixed Reality Applications. Proceedings - International Symposium on Software Reliability Engineering, 55-65. doi:10.1109/ISSRE.2014.33
  7. 45. Best, E., & Devillers, R. (2014). Characterisation of the state spaces of live and bounded marked graph Petri nets. Lecture notes in computer science, 8370 LNCS, 161-172. doi:10.1007/978-3-319-04921-2_13
  8. 46. Best, E., & Devillers, R. (2014). Synthesis of persistent systems. In Proc. 35rd International Conference on Application and Theory of Petri Nets and Concurrency (Tunis, August 2014), G. Ciardo, E. Kindler (eds.). Lecture notes in computer science, 8489, 111-129. doi:10.1007/978-3-319-07734-5_7
  9. 47. Peschanski, F., Klaudel, H., & Devillers, R. (2013). A petri net interpretation of open reconfigurable systems. Fundamenta informaticae, 122(1-2), 85-117. doi:10.3233/FI-2013-784
  10. 48. Devillers, R., Didier, J.-Y., & Klaudel, H. (2013). Implementing timed automata specifications: The 'sandwich' approach. Proceedings (International Conference on Application of Concurrency to System Design),, 6598358 226-235. doi:10.1109/ACSD.2013.26
  11. 49. Peschanski, F., Klaudel, H., & Devillers, R. (2011). A Petri net interpretation of open reconfigurable systems. Lecture notes in computer science, 6709 LNCS, 208-227. doi:10.1007/978-3-642-21834-7_12
  12. 50. Devillers, R. (2010). Deadlock Avoidance, Non-Linearity and Games: Invited paper, Verification and Evaluation of Computer and Communication Systems (VECoS '2010). Electronic workshops in computing, 8.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>