Fernando Asteasuain

According to our database, Fernando Asteasuain authored at least 9 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

New Horizons for Metamorphic Relationships in Formal Verification.

Fernando Asteasuain

Proceedings of the Computer Science - CACIC 2022 - 28th Argentine Congress, 2022

2021

Open and Branching Behavioral Synthesis with Scenario Clauses.

Fernando Asteasuain, Federico Calonge, Manuel Dubinsky, Pablo Gamboa

CLEI Electron. J., 2021

A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems.

Fernando Asteasuain, Luciana Rodriguez Caldeira

Proceedings of the Computer Science - CACIC 2021 - 27th Argentine Congress, 2021

2019

Exploiting Anti-scenarios for the Non Realizability Problem.

Fernando Asteasuain, Federico Calonge, Pablo Gamboa

Proceedings of the Computer Science - CACIC 2019, 2019

2017

Declaratively building behavior by means of scenario clauses.

Fernando Asteasuain, Víctor A. Braberman

Requir. Eng., 2017

2015

Specification Patterns: Formal and Easy.

Fernando Asteasuain, Víctor A. Braberman

Int. J. Softw. Eng. Knowl. Eng., 2015

2010

Specification patterns can be formal and still easy.

Fernando Asteasuain, Víctor A. Braberman

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2006

Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem.

Fernando Asteasuain, Jessica Andrea Carballido, Gustavo E. Vazquez, Ignacio Ponzoni

Proceedings of the Advances in Artificial Intelligence, 2006

Improving AOP Systems' Evolvability by Decoupling Advices from Base Code.

Alan Cyment, Nicolas Kicillof, Rubén Altman, Fernando Asteasuain

Proceedings of the RAM-SE'06-ECOOP'06 Workshop on Reflection, 2006