Yann Hourdel


I'm a PhD candidate studying complex systems design under the direction of Daniel Krob in SysMO team at LIX, the theoretical computer science laboratory of the Ecole Polytechnique.


Topic

My PhD is an attempt to create better formal complex systems models, based on real-life complex systems.


Papers & so
Sorted most recent first


  1. 2013-12-04   Towards a formal language for systemic requirements
    Presented as a poster during CSD&M 2013.

  2. 2013-04-05   A minimalist formal framework for systems design
    Written in April 2013 with Boris Golden and submitted for a MBSA13 special issue of Reliability Engineering and System Safety.

  3. 2013-03-25   International Workshop on Model Based Safety and Assessment 2013
    Slides of my talk.