An Execution Semantics for MSC-2000. - Bengt Jonsson 001; Gerardo Padilla (SDL Forum, 2001)

Scenario-Based Software Architecture Modeling Using Message Sequence Charts. - Gerardo Padilla; Cuauhtémoc Lemus Olalde; Miguel A. Serrano (Software Engineering Research and Practice, 2003)

Automatic MetaData-Based Development. - Gerardo Padilla; Yuri Paez (ENC, 2004)

A UML Sequence Diagram Extension to Handle Multiplicities. - Gerardo Padilla; Miguel A. Serrano; Carlos Montes de Oca (ENC, 2004)

Instantiation Semantics for Message Sequence Charts. - Gerardo Padilla; Farokh B. Bastani; Carlos Montes de Oca; Miguel A. Serrano (ENC, 2006)

An Execution-Level Component Composition Model Based on Component Testing Information. - Gerardo Padilla; Carlos Montes de Oca; Cuauhtémoc Lemus Olalde (CBSE, 2007)

An Early Reliability Assessment Model for Data-Flow Software Architectures. - Gerardo Padilla; Tong Gao; I-Ling Yen; Farokh B. Bastani; Carlos Montes de Oca (ENC, 2008)