selected publications

• academic article

  • Model-Based Verification of Security and Non-Functional Behavior using AADL.  IEEE Security & Privacy.  1-1. 2009

• conference paper

  • A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.  . 67-74. 2011
  • From AADL Architectural Models to Petri Nets: Checking Model Viability.  . 313-320. 2009