Maria-Virginia Aponte

According to our database, Maria-Virginia Aponte authored at least 10 papers between 1984 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Provable multicore schedulers with Ipanema: application to work conservation.

Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2013

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.

Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012

Maximal and Compositional Pattern-Based Loop Invariants.

Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango

Proceedings of the FM 2012: Formal Methods, 2012

2011

Measuring the level of difficulty in single player video games.

Maria-Virginia Aponte, Guillaume Levieux, Stéphane Natkin

Entertain. Comput., 2011

Difficulty in videogames: an experimental validation of a formal definition.

Maria-Virginia Aponte, Guillaume Levieux, Stéphane Natkin

Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology, 2011

2009

Scaling the Level of Difficulty in Single Player Video Games.

Maria-Virginia Aponte, Guillaume Levieux, Stéphane Natkin

Proceedings of the Entertainment Computing, 2009

2008

Une approche formelle de la reconfiguration dynamique.

Marianne Simonot, Maria-Virginia Aponte

Obj. Logiciel Base données Réseaux, 2008

1996

Type Isomorphisms for Module Signatures.

Maria-Virginia Aponte, Roberto Di Cosmo

Proceedings of the Programming Languages: Implementations, 1996

1993

Extending Record Typing to Type Parametric Modules with Sharing.

Maria-Virginia Aponte

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1984

Editing First-Order Proofs: Programmed Rules vs Derived Rules.

Maria-Virginia Aponte, José Alberto Fernández, Philippe Roussel

Proceedings of the 1984 International Symposium on Logic Programming, 1984