Maria-Virginia Aponte

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 1

Top Topics

Logical Language

Formal Semantics

Quasi Invariant

Top Venues

Publications

Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller
Provable multicore schedulers with Ipanema: application to work conservation. EuroSys (2020)
Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT (2013)
Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango
Maximal and Compositional Pattern-Based Loop Invariants. FM (2012)
Maria-Virginia Aponte, Guillaume Levieux, Stéphane Natkin
Difficulty in videogames: an experimental validation of a formal definition. Advances in Computer Entertainment Technology (2011)
Maria-Virginia Aponte, Guillaume Levieux, Stéphane Natkin
Measuring the level of difficulty in single player video games. Entertain. Comput. 2 (4) (2011)
Maria-Virginia Aponte, Guillaume Levieux, Stéphane Natkin
Scaling the Level of Difficulty in Single Player Video Games. ICEC (2009)
Maria-Virginia Aponte, Roberto Di Cosmo
Type Isomorphisms for Module Signatures. PLILP (1996)
Maria-Virginia Aponte
Extending Record Typing to Type Parametric Modules with Sharing. POPL (1993)
Maria-Virginia Aponte, José Alberto Fernández, Philippe Roussel
Editing First-Order Proofs: Programmed Rules vs Derived Rules. SLP (1984)