Loïc Marchal

According to our database, Loïc Marchal authored at least 2 papers in 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications.

Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Incremental Security Verification for Evolving UMLsec models.

Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011