Fernando Asteasuain

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 6

Top Topics

Formal Languages

Program Slicing

Top Venues

CLEI Electron. J.

Int. J. Softw. Eng. Knowl. Eng.

Publications

Fernando Asteasuain
New Horizons for Metamorphic Relationships in Formal Verification. CACIC (2022)
Fernando Asteasuain, Luciana Rodriguez Caldeira
A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems. CACIC (2021)
Fernando Asteasuain, Federico Calonge, Manuel Dubinsky, Pablo Gamboa
Open and Branching Behavioral Synthesis with Scenario Clauses. CLEI Electron. J. 24 (3) (2021)
Fernando Asteasuain, Federico Calonge, Pablo Gamboa
Exploiting Anti-scenarios for the Non Realizability Problem. CACIC (2019)
Fernando Asteasuain, Víctor A. Braberman
Declaratively building behavior by means of scenario clauses. Requir. Eng. 22 (2) (2017)
Fernando Asteasuain, Víctor A. Braberman
Specification Patterns: Formal and Easy. Int. J. Softw. Eng. Knowl. Eng. 25 (4) (2015)
Fernando Asteasuain, Víctor A. Braberman
Specification patterns can be formal and still easy. SEKE (2010)
Alan Cyment, Nicolas Kicillof, Rubén Altman, Fernando Asteasuain
Improving AOP Systems' Evolvability by Decoupling Advices from Base Code. RAM-SE (2006)
Fernando Asteasuain, Jessica Andrea Carballido, Gustavo E. Vazquez, Ignacio Ponzoni
Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem. IBERAMIA-SBIA (2006)