Maria-Virginia Aponte

Maître de conférences
Équipe : Systèmes sûrs
Bureau : 33.1.17A

Domaines : Langages de Programmation, Sémantique, Spécification et Preuves de programmes

2020

Articles de conférence

  1. Lepers, B.; Gouicem, R.; Carver, D.; Lozi, J-P.; Palix, N.; Aponte, M-V.; Zwaenepoel, W.; Sopena, J.; Lawall, J. and Muller, G. Provable Multicore Schedulers with Ipanema: Application to Work Conservation. In Eurosys 2020 - European Conference on Computer Systems, Heraklion / Virtual, Greece, 2020. doi  www 

2016

Articles de conférence

  1. Bosser, A-G.; Aponte, M-V.; Courtieu, P. and Forest, J. Une preuve est une histoire. In Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint-Malo, France, 2016. www 

2013

Articles de conférence

  1. Courtieu, P.; Aponte, M-V.; Crolard, T.; Zhang, Z.; Belt, J.; Hatcliff, J.; Guitton, J. and Jennings, T. Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq. In High Integrity Language Technology - ACM SIGAda?s Annual International Conference, pages 2, X, Australia, ACM Digital Library , 2013. www 

2012

Articles de conférence

  1. Courtieu, P.; Aponte, M-V.; Moy, Y. and Sango, M. Maximal and Compositional Pattern-Based Loop Invariants. In Formal method 2012 (FME), pages 37-51, Paris, France, LNCS 7436, 2012. www 

Rapports

  1. Courtieu, P.; Aponte, M-V.; Sango, M. and Moy, Y. Maximal and Compositional Pattern-BasedLoop Invariants - Definitions and Proofs. Technical Report CEDRIC-12-2555, CEDRIC Lab/CNAM, 2012.

2011

Articles de revue

  1. Aponte, M-V.; Levieux, G. and Natkin, S. Measuring the level of difficulty in single player video games. In Lecture Notes in Computer Science: 205-213, 2011. www 

Articles de conférence

  1. Aponte, M-V.; Levieux, G. and Natkin, S. Difficulty in Video Games : An Experimental Validation of a Formal Definition. In Advances in Computer Enterntainment, X, France, 2011. www 

2010

Articles de conférence

  1. Aponte, M-V.; Levieux, G. and Natkin, S. La définition et la mesure du niveau de difficulté dans un jeu solo: une approche quantitative. In Futur Game On 2010, Paris, France, 2010. www 

2009

Articles de conférence

  1. Aponte, M-V.; Benayoun, V. and Simonot, M. Modélisations de la reconfiguration dynamique en Focal. In AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, pages 105-119, X, France, 2009. www 
  1. Simonot, M. and Aponte, M-V. A declarative formal approach to dynamic reconfiguration. In IWOCE '09, Amsterdam, The Netherlands, pages 1-10, X, France, 2009. www 
  1. Aponte, M-V.; Levieux, G. and Natkin, S. Scaling the Level of Difficulty in Single Player Video Games. In Proceedings of the 8th International Conference on Entertainment Computing, pages 24-35, Paris, France, 2009. www 

2008

Articles de revue

  1. Simonot, M. and Aponte, M-V. Une approche formelle de la reconfiguration dynamique. In L'objet, 14: 73-102, 2008. www 

Rapports

  1. Aponte, M-V.; Benayoun, V. and Simonot, M. Modélisation de la reconfiguraton dynamique avec Focal. Technical Report CEDRIC-08-1618, CEDRIC Lab/CNAM, 2008.
  1. Aponte, M-V. and Simonot, M. Une approche formelle de la reconfiguration dynamique. Technical Report CEDRIC-08-1590, CEDRIC Lab/CNAM, 2008.

2007

Rapports

  1. Simonot, M. and Aponte, M-V. Modélisation formelle du contr^ole en Fractal. Technical Report CEDRIC-07-1563, CEDRIC Lab/CNAM, 2007.

2006

Rapports

  1. Aponte, M-V. and Simonot, M. Spécification et vérification de composants : état de l'art. Technical Report CEDRIC-06-1180, CEDRIC Lab/CNAM, 2006.
  1. Simonot, M.; Aponte, M-V. and Dubois, C. 'Etat de l'art du typage pour l'intéropérabilité entre composants. Technical Report CEDRIC-06-1182, CEDRIC Lab/CNAM, 2006.

2005

Articles de conférence

  1. Aponte, M-V.; Lyhyaoui, Y. and Natkin, S. Game Analysis of attacks on Online Games. In CGAIMS'05, Louisville, Kentucky, USA, X, France, 2005. www 

2004

Articles de conférence

  1. Bigot, C.; Faivre, A.; Gallois, J.P.; Aponte, M-V. and Viguie Donzeau-Gouge, V. Semantics for UML specifications to be validated by Agatha. In Second Europeen Congress on Embedded Realtime Software (ERTS 04)., X, France, 2004. www 

2002

Articles de conférence

  1. Aponte, M-V.; Chailloux, E.; Cousineau, G. and Manoury, P. Advanced programming features in objective caml. In 6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, X, France, 2002. www 

1996

Articles de conférence

  1. Aponte, M-V. and Dicosmo, R. Type isomorphisms for module signatures. In Symposium on Programming Language Implementation and Logic Programming (PLILP), pages 334-346, X, France, LNCS , 1996. www 
  1. Aponte, M-V. and Castagna, G. Programmation modulaire avec surcharge et liaison tardive. In Journées Francophones des Langages Applicatifs., X, France, 1996. www 

1994

Articles de conférence

  1. Aponte, M-V. and Leroy, X. Llamado de procedimientos a distancia y abstracci'on de tipos. In 20th CLEI PANEL latino-american computer science conference, pages 1281-1292, Mexico, Mexico, 1994. www 

1993

Articles de conférence

  1. Aponte, M. V. Extending record typing to type parametric modules with sharing. In the 20th ACM SIGPLAN-SIGACT symposium, pages 465-478, ACM Press, Charleston, United States, 1993. doi  www 
  1. Aponte, M-V. Typage des modules parametriques avec partage. In Actes des Journees Francophones des Langages Applicatifs, Annecy, X, France, 1993. www 

Rapports

  1. Aponte, M. V. Extending record typing to type parametric modules with sharing. Technical Report RR-1905, INRIA, 1993.

1990

Rapports

  1. Weis, P.; Aponte, M. V.; Laville, A.; Mauny, M. and Suarez, A. The CAML reference manual. Technical Report RT-0121, INRIA, 1990.

1984

Articles de conférence

  1. Aponte, M-V.; Fernandez, J. A. and Roussel, P. Editing First-Order Proofs: Programmed Rules vs Derived Rules. In International Symposium on Logic Programming, Atlantic City, United States, 1984. www 
Haut