María Marta Novaira

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 1

Top Topics

Objective Function

Statistical Model

Top Venues

Publications

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. ABZ (2024)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. LAFM (2013)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre
Analyzing formal requirements specifications using an off-the-shelf model checker. CLEI (2013)
Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo
An introductory course on programming based on formal specification and program calculation. ACM SIGCSE Bull. 41 (2) (2009)