Articles dans des revues avec comité de lecture (10)
  1. 1. Ganty, P., Maquet, N., & Raskin, J.-F. (2010). Fixed point guided abstraction refinement for alternating automata. Theoretical computer science, 411(38-39), 3444-3459. doi:10.1016/j.tcs.2010.05.037
  2. 2. Ganty, P., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2010). Le problème de couverture pour les réseaux de Petri: résultats classiques et développements récents. TSI. Technique et science informatiques, 28(9), 1107-1142.
  3. 3. Ganty, P., Maquet, N., & Raskin, J.-F. (2010). Fixpoint Guided Abstraction for Alternating Automata. Theoretical computer science, 38-39, 3444-3459.
  4. 4. Ganty, P., Maquet, N., & Raskin, J.-F. (2009). Fixpoint guided abstraction refinement for alternating automata. Lecture notes in computer science, 5642 LNCS, 155-164. doi:10.1007/978-3-642-02979-0_19
  5. 5. Ganty, P., Raskin, J.-F., & Van Begin, L. (2008). From many places to few: Automatic abstraction refinement for petri nets. Fundamenta informaticae, 88(3), 275-305.
  6. 6. Cousot, P. P., Ganty, P., & Raskin, J.-F. (2007). Fixpoint-guided abstraction refinements. Lecture notes in computer science, 4634 LNCS, 333-348.
  7. 7. Ganty, P., Raskin, J.-F., & Van Begin, L. (2007). From many places to few: Automatic abstraction refinement for Petri nets. Lecture notes in computer science, 4546 LNCS, 124-143.
  8. 8. Ganty, P., Raskin, J.-F., & Van Begin, L. (2006). A complete abstract interpretation framework for coverability properties of WSTS. Lecture notes in computer science, 3855 LNCS, 49-64.
  9. 9. Esparza, J., Ganty, P., & Schwoon, S. (2005). Locality-based abstractions. Lecture notes in computer science, 3672 LNCS, 118-134. doi:10.1007/11547662_10
  10. 10. Delzanno, G., & Ganty, P. (2004). Automatic Verification of Time Sensitive Cryptographic Protocols. Lecture notes in computer science, 2988, 342-356.
    11.   Communications publiées lors de congrès ou colloques nationaux et internationaux (1)
  11. 1. Ammirati, P., Delzanno, G., Ganty, P., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2002). Babylon: An integrated Toolkit for the Specification and Verification of Parameterized Systems. Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02 (p. 6p.).
    12.   Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (1)
  12. 1. Ganty, P., Meuter, C., Van Begin, L., Kalyon, G., Raskin, J.-F., & Delzanno, G. (2007). Symbolic Data Structure for Sets of k-uples of Integers.
    13. << Précédent 1 2 Suivant >>