APONTE GARCIA Maria Virginia

Associate Professor
Team : Whisper
Departure date : 09/30/2020
https://lip6.fr/Virginia.Aponte

Research activity

Recherche en vérification des systèmes Exploitation

Departure date : 09/30/2020

1984-2020 Publications

All Journal articles Communications Other publications

2020
- B. Lepers, R. Gouicem, D. Carver, J.‑P. Lozi, N. Palix, M.‑V. Aponte, W. Zwaenepoel, J. Sopena, J. Lawall, G. Muller : “Provable Multicore Schedulers with Ipanema: Application to Work Conservation”, Eurosys 2020 - European Conference on Computer Systems, Heraklion / Virtual, Greece (2020)
2016
- A.‑G. Bosser, M.‑V. Aponte, P. Courtieu, J. Forest : “Une preuve est une histoire”, Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint-Malo, France (2016)
2013
- P. Courtieu, M.‑V. Aponte, T. Crolard, Zh. Zhang, 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, ACM Digital Library, X, Australia, pp. 2 (2013)
2012
- P. Courtieu, M.‑V. Aponte, Y. Moy, M. Sango : “Maximal and Compositional Pattern-Based Loop Invariants”, Formal method 2012 (FME), vol. 7436, LNCS, Paris, France, pp. 37-51 (2012)
- P. Courtieu, M.‑V. Aponte, M. Sango, Y. Moy : “Maximal and Compositional Pattern-BasedLoop Invariants - Definitions and Proofs”, (2012)
2011
- M.‑V. Aponte, G. Levieux, S. Natkin : “Difficulty in Video Games : An Experimental Validation of a Formal Definition”, Advances in Computer Enterntainment, X, France (2011)
- M.‑V. Aponte, G. Levieux, S. Natkin : “Measuring the level of difficulty in single player video games”, Lecture Notes in Computer Science, pp. 205-213, (Springer) (2011)
2010
- M.‑V. 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 (2010)
2009
- M. Simonot, M.‑V. Aponte : “A declarative formal approach to dynamic reconfiguration”, IWOCE '09, Amsterdam, The Netherlands, X, France, pp. 1-10 (2009)
- M.‑V. 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, X, France, pp. 105-119 (2009)
- M.‑V. Aponte, G. Levieux, S. Natkin : “Scaling the Level of Difficulty in Single Player Video Games”, Proceedings of the 8^th International Conference on Entertainment Computing, Paris, France, pp. 24-35 (2009)
2008
- M.‑V. Aponte, V. Benayoun, M. Simonot : “Modélisation de la reconfiguraton dynamique avec Focal”, (2008)
- M.‑V. Aponte, M. Simonot : “Une approche formelle de la reconfiguration dynamique”, (2008)
- M. Simonot, M.‑V. Aponte : “Une approche formelle de la reconfiguration dynamique”, {L'objet}, vol. 14, pp. 73-102 (2008)
2007
- M. Simonot, M.‑V. Aponte : “Modélisation formelle du contrôle en Fractal”, (2007)
2006
- M. Simonot, M.‑V. Aponte, C. Dubois : “État de l’art du typage pour l’intéropérabilité entre composants”, (2006)
- M.‑V. Aponte, M. Simonot : “Spécification et vérification de composants : état de l’art”, (2006)
2005
- M.‑V. Aponte, Y. Lyhyaoui, S. Natkin : “Game Analysis of attacks on Online Games”, CGAIMS'05, Louisville, Kentucky, USA, X, France (2005)
2004
- C. Bigot, A. Faivre, J.P. Gallois, M.‑V. Aponte, V. Viguie Donzeau‑Gouge : “Semantics for UML specifications to be validated by Agatha”, Second Europeen Congress on Embedded Realtime Software (ERTS 04)., X, France (2004)
2002
- M.‑V. Aponte, E. Chailloux, G. Cousineau, P. Manoury : “Advanced programming features in objective caml.”, 6^eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, X, France (2002)
1996
- M.‑V. Aponte, G. Castagna : “Programmation modulaire avec surcharge et liaison tardive”, Journées Francophones des Langages Applicatifs., X, France (1996)
- M.‑V. Aponte, R. Dicosmo : “Type isomorphisms for module signatures”, Symposium on Programming Language Implementation and Logic Programming (PLILP), LNCS, X, France, pp. 334-346 (1996)
1994
- M.‑V. Aponte, X. Leroy : “Llamado de procedimientos a distancia y abstracción de tipos”, 20^th CLEI PANEL latino-american computer science conference, Mexico, Mexico, pp. 1281-1292 (1994)
1993
- M.‑V. Aponte : “Typage des modules parametriques avec partage”, Actes des Journees Francophones des Langages Applicatifs, Annecy, X, France (1993)
1984
- M.‑V. Aponte, J. Fernandez, Ph. Roussel : “Editing First-Order Proofs: Programmed Rules vs Derived Rules”, International Symposium on Logic Programming, Atlantic City, United States (1984)