|
 
|
Maria-Virginia Aponte
|
Equipe SYS Mail : maria-virginia.aponte_garcia  cnam.fr
Tel : 0140272815 Fax : (33)15880 http://cedric.cnam.fr/~aponte |
Maria-Virginia's Tag-Cloud : |
Publications
2016
- [BCF16] A. Bosser, P. Courtieu, J. Forest, M. Aponte. "Une preuve est (un programme) une histoire", Actes des Vingt-septièmes Journées Francophones des Langages Applicatifs JFLA 2016, January 2016, pp.171-172, Saint Malo, France,
Conférence Nationale avec comité de lecture
2015
- [CAC15] T. Crolard, M. Aponte, P. Courtieu, J. Lawall. "Formal Methods for Critical Systems: A verified implementation of nested procedures", International Conference on Applied Research in Computer Science and Engineering (ICAR'15), October 2015, pp.1, Lebanon, (DOI: 10.1109/ARCSE.2015.7338125)
Conférences invitées
2013
- [CAC13] P. Courtieu, M. Aponte, T. Crolard, Z. Zhang, Robby, J. Belt, J. Hatcliff, J. Guitton, T. Jennings. "Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq", High Integrity Language Technology - ACM SIGAda’s Annual International Conference, November 2013, pp.2, Series ACM Digital Library, US,
Conférence Internationale avec comité de lecture
2012
- [CAM12] P. Courtieu, M. Aponte, Y. Moy, M. Sango. "Maximal and Compositional Pattern-Based Loop Invariants", Formal method 2012 (FME), August 2012, Vol. 7436, pp.37-51, Series LNCS, Paris, France,
-
[CAS12]
P. Courtieu, M. Aponte, M. Sango, Y. Moy.
"Maximal and Compositional Pattern-Based
Loop Invariants - Definitions and Proofs",
Date de dépot: 2012/05/24,
Nb pages 14,
(Tech. Rep.: CEDRIC-12-2555)
Conférence Internationale avec comité de lecture
Rapport Scientifique
2011
- [ALN11a] M. Aponte, G. Levieux, S. Natkin. "Measuring the level of difficulty in single player video games", Entertainment Computing, pp. 205-213, 2011, (doi:10.1016/j.entcom.2011.04.001)
- [ALN11] M. Aponte, G. Levieux, S. Natkin. "Difficulty in Video Games : An Experimental Validation of a Formal Definition", Advances in Computer Enterntainment, November 2011,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2010
- [ALN10] M. Aponte, G. Levieux, S. Natkin. "La définition et la mesure du niveau de difficulté dans un jeu solo: une approche quantitative", Futur Game On 2010, Paris, France,
Conférences Internationales sans actes
2009
-
[SA09]
M. Simonot, M. Aponte.
"A declarative formal approach to dynamic reconfiguration",
IWOCE '09, Amsterdam, The Netherlands,
January 2009,
pp.1--10,
- [ALN09] M. Aponte, G. Levieux, S. Natkin. "Scaling the Level of Difficulty in Single Player Video Games", Proceedings of the 8th International Conference on Entertainment Computing, January 2009, pp.24--35, Paris, France, (DOI: http://dx.doi.org/10.1007/978-3-642-04052-8_3)
-
[ABS09b]
M. Aponte, V. Benayoun, M. Simonot.
"Modélisations de la reconfiguration dynamique en Focal",
AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse,
January 2009,
pp.105-119,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
2008
-
[SA08]
M. Simonot, M. Aponte.
"Une approche formelle de la reconfiguration dynamique",
L'Objet,
vol. 14(4), pp. 73-102,
2008
-
[AS08]
M. Aponte, M. Simonot.
"Une approche formelle de la reconfiguration dynamique",
Date de dépot: 2008/01/01,
Nb pages 27,
(Tech. Rep.: CEDRIC-08-1590)
-
[ABS08a]
M. Aponte, V. Benayoun, M. Simonot.
"Modélisation de la reconfiguraton dynamique avec Focal",
Date de dépot: 2008/01/01,
(Tech. Rep.: CEDRIC-08-1618)
Revue Nationale avec comité de lecture
Rapport Scientifique
2007
-
[SA07]
M. Simonot, M. Aponte.
"Modélisation formelle du contrôle en Fractal",
Date de dépot: 2007/01/01,
(Tech. Rep.: CEDRIC-07-1563)
Rapport Scientifique
2006
- [AS06] M. Aponte, M. Simonot. "Spécification et vérification de composants : état de l'art", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1180)
- [SAD06] M. Simonot, M. Aponte, C. Dubois. "État de l'art du typage pour l'intéropérabilité entre composants", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1182)
Rapport Scientifique
2005
- [ALN05] M. Aponte, Y. Lyhyaoui, S. Natkin. "Game Analysis of attacks on Online Games", CGAIMS'05, Louisville, Kentucky, USA, January 2005,
Conférence Internationale avec comité de lecture
2004
-
[BFG04]
C. Bigot, A. Faivre, J. Gallois, M. Aponte, V. Viguie Donzeau-Gouge.
" Semantics for UML specifications to be validated by Agatha",
Second Europeen Congress on Embedded Realtime Software (ERTS 04).,
January 2004,
Conférence Internationale avec comité de lecture
2002
- [ACC02] M. Aponte, E. Chailloux, G. Cousineau, P. Manoury. "Advanced programming features in objective caml.", 6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, January 2002,
Conférence Internationale avec comité de lecture
1996
- [AD96] M. Aponte, R. Dicosmo. "Type isomorphisms for module signatures", Symposium on Programming Language Implementation and Logic Programming (PLILP), January 1996, pp.334-346, Series LNCS,
- [AC96] M. Aponte, G. Castagna. "Programmation modulaire avec surcharge et liaison tardive", Journées Francophones des Langages Applicatifs., January 1996,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
1994
- [AL94] M. Aponte, X. Leroy. "Llamado de procedimientos a distancia y abstraccion de tipos", Actes du 20e congres latino-americain d'informatique CLEI-PANEL, January 1994,
Conférence Internationale avec comité de lecture
1993
- [APO93] M. Aponte. "Extending Record typing to type parametric modules with sharing", Tweentieth Annual Symposium on Principles of Programming Languages, January 1993,
- [APO93a] M. Aponte. "Typage des modules parametriques avec partage", Actes des Journees Francophones des Langages Applicatifs, Annecy, January 1993,
