Using UML to Develop Verifiable Reactive Systems. - Fatemeh Alavizadeh; Marjan Sirjani (Software Engineering Research and Practice, 2006)

ReUML: a UML Profile for Modeling and Verification of Reactive Systems. - Fatemeh Alavizadeh; Alireza Hashemi Nekoo; Marjan Sirjani (ICSEA, 2007)

Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations. - Fatemeh Alavizadeh; Caro Lucas; Behzad Moshiri (AIMSA, 2008)

Application of Naturalistic Decision Making to Emergency Evacuation Simulations. - Fatemeh Alavizadeh; Behzad Moshiri; Caro Lucas (SETN, 2008)