| |
| 2008 | ||
|---|---|---|
| 2 | EE | Ariel Gonzalez, Carlos Luna: Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. SCCC 2008: 32-41 |
| 2006 | ||
| 1 | EE | Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna: A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234 |
| 1 | Santiago Zanella Béguelin | [1] |
| 2 | Gustavo Betarte | [1] |
| 3 | Ariel Gonzalez | [2] |