Travelled to:1 × Belgium
1 × Hungary
1 × Switzerland
Collaborated with:Y.Yu M.Wermelinger Y.Lin Z.Hu S.Hidaka H.Kato J.Jürjens C.B.Haley P.Schobbens H.Toussaint
Talks about:properti (2) support (2) tool (2) base (2) transform (1) traceabl (1) maintain (1) bidirect (1) generat (1) control (1)
Person: Lionel Montrieux
DBLP: Montrieux:Lionel
Contributed to:
2012
2011
2010Wrote 3 papers:
- ICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability
- Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
- ESEC-FSE-2011-MontrieuxWY #data access #specification #tool support #uml #verification
- Tool support for UML-based specification and verification of role-based access control properties (LM, MW, YY), pp. 456–459.
- ASE-2010-MontrieuxJHYST #code generation #tool support
- Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.