Loïc Marchal

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt
Incremental Security Verification for Evolving UMLsec models. ECMFA (2011)
Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. SFM (2011)