Improving AOP Systems' Evolvability by Decoupling Advices from Base Code. - Alan Cyment; Nicolas Kicillof; Rubén Altman; Fernando Asteasuain (RAM-SE, 2006)

Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem. - Fernando Asteasuain; Jessica Andrea Carballido; Gustavo E. Vazquez; Ignacio Ponzoni (IBERAMIA-SBIA, 2006)

Specification patterns can be formal and still easy. - Fernando Asteasuain; Víctor A. Braberman (SEKE, 2010)

Specification Patterns: Formal and Easy. - Fernando Asteasuain; Víctor A. Braberman (Int. J. Softw. Eng. Knowl. Eng., 2015)

Declaratively building behavior by means of scenario clauses. - Fernando Asteasuain; Víctor A. Braberman (Requir. Eng., 2017)

Exploiting Anti-scenarios for the Non Realizability Problem. - Fernando Asteasuain; Federico Calonge; Pablo Gamboa (CACIC, 2019)

A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems. - Fernando Asteasuain; Luciana Rodriguez Caldeira (CACIC, 2021)

Open and Branching Behavioral Synthesis with Scenario Clauses. - Fernando Asteasuain; Federico Calonge; Manuel Dubinsky; Pablo Gamboa (CLEI Electron. J., 2021)

New Horizons for Metamorphic Relationships in Formal Verification. - Fernando Asteasuain (CACIC, 2022)