Travelled to:
1 × Italy
1 × United Kingdom
Collaborated with:
J.Jürjens M.Ochoa H.Schmidt S.H.Houmb S.Islam
Talks about:
secur (2) model (2) increment (1) abstract (1) concret (1) system (1) specif (1) evolut (1) verif (1) evolv (1)
Person: Loïc Marchal
DBLP: Marchal:Lo=iuml=c
Contributed to:
Wrote 2 papers:
- ECMFA-2011-JurjensMOS #evolution #incremental #modelling #security #verification
- Incremental Security Verification for Evolving UMLsec models (JJ, LM, MO, HS), pp. 52–68.
- SFM-2011-JurjensOSMHI #evolution #modelling #specification
- Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (JJ, MO, HS, LM, SHH, SI), pp. 504–526.