Travelled to:1 × France
1 × Sweden
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:C.Comar ∅ J.F.Ruiz C.Dross J.Filliâtre Maroua Maalej S.T.Taft M.Aponte P.Courtieu M.Sango J.Kanig R.Chapman J.Guitton E.Rees
Talks about:contain (2) dynam (2) code (2) base (2) ada (2) precondit (1) explicit (1) composit (1) artifact (1) suffici (1)
Person: Yannick Moy
DBLP: Moy:Yannick
Contributed to:
2014
2012
20122011
20082018Wrote 6 papers:
- TAP-2014-KanigCCGMR #verification
- Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
- AdaEurope-2012-RuizCM #ada #development #source code
- Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.
- FM-2012-AponteCMS #composition #invariant
- Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.
- TAP-2011-DrossFM
- Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.
- VMCAI-2008-Moy #composition
- Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.
- AdaEurope-2018-MaalejTM #ada #memory management
- Safe Dynamic Memory Management in Ada and SPARK (MM, STT, YM), pp. 37–52.