Alexandre Moine

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 1

Top Topics

Provably Correct

Formal Verification

Reactive Systems

Top Venues

Publications

Alexandre Moine, Arthur Charguéraud, François Pottier
Specification and verification of a transient stack. CPP (2022)
Marie-Hélène de Sède, Alexandre Moine
Systémique et bases de données territoriales - Des concepts et des outils pour une gestion raisonnée des territoires. Rev. Int. Géomatique 11 (3-4) (2001)
Marie-Hélène de Sède, Alexandre Moine, Patrick Marceau
Systemic Approach for Spatio-Temporal Database Structuration. DEXA Workshop (1999)