Aponte

Maria-Virginia Aponte

Associate Lecturer
Team: Systèmes sûrs
Personal website: http://cedric.cnam.fr/~aponte
Office: 33.1.17A

Research areas: Programming Languages, Semantics, Specification and Proof of program/languages properties.

2025

Conference Articles

  1. Aponte, M-V.; Bouverot-Dupuis, M.; Bramas, Q.; Courtieu, P.; Rieg, L. and Urbain, X. Rendez-vous au Point-Dont-On-Ne-Doit-Pas-Calculer-Les-Coordonnées. In ALGOTEL 2025 -- 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Valery-sur-Somme, France, 2025. www 

2020

Conference Articles

  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

Conference Articles

  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

Conference Articles

  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 ACM Digital Library, pages 2, X, Australia, ACM Digital Library , 2013. www 

2012

Conference Articles

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

Reports

  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

Journal Articles

  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, 2 (4): 205-213, 2011. doi  www 

Conference Articles

  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

Conference Articles

  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

Conference Articles

  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. 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 
  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 

2008

Journal Articles

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

Reports

  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

Reports

  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

Reports

  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

Conference Articles

  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

Conference Articles

  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

Conference Articles

  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

Conference Articles

  1. Aponte, M-V. and Dicosmo, R. Type isomorphisms for module signatures. In LNCS, 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

Conference Articles

  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

Conference Articles

  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 

Reports

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

1990

Reports

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

1984

Conference Articles

  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 
Top